StructuredEncryptionUtil_Compile

Class CanonAuthItem

java.lang.Object

StructuredEncryptionUtil_Compile.CanonAuthItem

public class CanonAuthItem
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CanonAuthItem>	_typeDescriptor()
static CanonAuthItem	create_CanonAuthItem(dafny.DafnySequence<? extends java.lang.Byte> key, dafny.DafnySequence<? extends PathSegment> origKey, StructuredDataTerminal data, AuthenticateAction action)
static CanonAuthItem	create(dafny.DafnySequence<? extends java.lang.Byte> key, dafny.DafnySequence<? extends PathSegment> origKey, StructuredDataTerminal data, AuthenticateAction action)
static CanonAuthItem	Default()
AuthenticateAction	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_CanonAuthItem()
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 AuthenticateAction _action

Constructor Detail

CanonAuthItem

public CanonAuthItem(dafny.DafnySequence<? extends java.lang.Byte> key,
                     dafny.DafnySequence<? extends PathSegment> origKey,
                     StructuredDataTerminal data,
                     AuthenticateAction 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<CanonAuthItem> _typeDescriptor()

Default

public static CanonAuthItem Default()

create

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

create_CanonAuthItem

public static CanonAuthItem create_CanonAuthItem(dafny.DafnySequence<? extends java.lang.Byte> key,
                                                 dafny.DafnySequence<? extends PathSegment> origKey,
                                                 StructuredDataTerminal data,
                                                 AuthenticateAction action)

is_CanonAuthItem

public boolean is_CanonAuthItem()

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 AuthenticateAction dtor_action()