StructuredEncryptionUtil_Compile

Class CanonCryptoItem

java.lang.Object

StructuredEncryptionUtil_Compile.CanonCryptoItem

public class CanonCryptoItem
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
CryptoAction	_action
StructuredDataTerminal	_data
dafny.DafnySequence<? extends java.lang.Byte>	_key
dafny.DafnySequence<? extends PathSegment>	_origKey

Constructor Summary

Constructors

Constructor and Description
CanonCryptoItem(dafny.DafnySequence<? extends java.lang.Byte> key, dafny.DafnySequence<? extends PathSegment> origKey, StructuredDataTerminal data, CryptoAction action)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CanonCryptoItem>	_typeDescriptor()
static CanonCryptoItem	create_CanonCryptoItem(dafny.DafnySequence<? extends java.lang.Byte> key, dafny.DafnySequence<? extends PathSegment> origKey, StructuredDataTerminal data, CryptoAction action)
static CanonCryptoItem	create(dafny.DafnySequence<? extends java.lang.Byte> key, dafny.DafnySequence<? extends PathSegment> origKey, StructuredDataTerminal data, CryptoAction action)
static CanonCryptoItem	Default()
CryptoAction	dtor_action()
StructuredDataTerminal	dtor_data()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_key()
dafny.DafnySequence<? extends PathSegment>	dtor_origKey()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_CanonCryptoItem()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_key

public dafny.DafnySequence<? extends java.lang.Byte> _key

_origKey

public dafny.DafnySequence<? extends PathSegment> _origKey

_data

public StructuredDataTerminal _data

_action

public CryptoAction _action

Constructor Detail

CanonCryptoItem

public CanonCryptoItem(dafny.DafnySequence<? extends java.lang.Byte> key,
                       dafny.DafnySequence<? extends PathSegment> origKey,
                       StructuredDataTerminal data,
                       CryptoAction action)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

_typeDescriptor

public static dafny.TypeDescriptor<CanonCryptoItem> _typeDescriptor()

Default

public static CanonCryptoItem Default()

create

public static CanonCryptoItem create(dafny.DafnySequence<? extends java.lang.Byte> key,
                                     dafny.DafnySequence<? extends PathSegment> origKey,
                                     StructuredDataTerminal data,
                                     CryptoAction action)

create_CanonCryptoItem

public static CanonCryptoItem create_CanonCryptoItem(dafny.DafnySequence<? extends java.lang.Byte> key,
                                                     dafny.DafnySequence<? extends PathSegment> origKey,
                                                     StructuredDataTerminal data,
                                                     CryptoAction action)

is_CanonCryptoItem

public boolean is_CanonCryptoItem()

dtor_key

public dafny.DafnySequence<? extends java.lang.Byte> dtor_key()

dtor_origKey

public dafny.DafnySequence<? extends PathSegment> dtor_origKey()

dtor_data

public StructuredDataTerminal dtor_data()

dtor_action

public CryptoAction dtor_action()