public class EncryptStructureOutput
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
StructuredData |
_encryptedStructure |
ParsedHeader |
_parsedHeader |
| Constructor and Description |
|---|
EncryptStructureOutput(StructuredData encryptedStructure,
ParsedHeader parsedHeader) |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<EncryptStructureOutput> |
_typeDescriptor() |
static EncryptStructureOutput |
create_EncryptStructureOutput(StructuredData encryptedStructure,
ParsedHeader parsedHeader) |
static EncryptStructureOutput |
create(StructuredData encryptedStructure,
ParsedHeader parsedHeader) |
static EncryptStructureOutput |
Default() |
StructuredData |
dtor_encryptedStructure() |
ParsedHeader |
dtor_parsedHeader() |
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
boolean |
is_EncryptStructureOutput() |
java.lang.String |
toString() |
public StructuredData _encryptedStructure
public ParsedHeader _parsedHeader
public EncryptStructureOutput(StructuredData encryptedStructure, ParsedHeader parsedHeader)
public boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic static EncryptStructureOutput Default()
public static dafny.TypeDescriptor<EncryptStructureOutput> _typeDescriptor()
public static EncryptStructureOutput create(StructuredData encryptedStructure, ParsedHeader parsedHeader)
public static EncryptStructureOutput create_EncryptStructureOutput(StructuredData encryptedStructure, ParsedHeader parsedHeader)
public boolean is_EncryptStructureOutput()
public StructuredData dtor_encryptedStructure()
public ParsedHeader dtor_parsedHeader()