software.amazon.cryptography.materialproviders.internaldafny.types

Class PutCacheEntryInput

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.PutCacheEntryInput

public class PutCacheEntryInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<java.lang.Integer>	_bytesUsed
long	_creationTime
long	_expiryTime
dafny.DafnySequence<? extends java.lang.Byte>	_identifier
Materials	_materials
Wrappers_Compile.Option<java.lang.Integer>	_messagesUsed

Constructor Summary

Constructors

Constructor and Description
PutCacheEntryInput(dafny.DafnySequence<? extends java.lang.Byte> identifier, Materials materials, long creationTime, long expiryTime, Wrappers_Compile.Option<java.lang.Integer> messagesUsed, Wrappers_Compile.Option<java.lang.Integer> bytesUsed)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<PutCacheEntryInput>	_typeDescriptor()
static PutCacheEntryInput	create_PutCacheEntryInput(dafny.DafnySequence<? extends java.lang.Byte> identifier, Materials materials, long creationTime, long expiryTime, Wrappers_Compile.Option<java.lang.Integer> messagesUsed, Wrappers_Compile.Option<java.lang.Integer> bytesUsed)
static PutCacheEntryInput	create(dafny.DafnySequence<? extends java.lang.Byte> identifier, Materials materials, long creationTime, long expiryTime, Wrappers_Compile.Option<java.lang.Integer> messagesUsed, Wrappers_Compile.Option<java.lang.Integer> bytesUsed)
static PutCacheEntryInput	Default()
Wrappers_Compile.Option<java.lang.Integer>	dtor_bytesUsed()
long	dtor_creationTime()
long	dtor_expiryTime()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_identifier()
Materials	dtor_materials()
Wrappers_Compile.Option<java.lang.Integer>	dtor_messagesUsed()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_PutCacheEntryInput()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_identifier

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

_materials

public Materials _materials

_creationTime

public long _creationTime

_expiryTime

public long _expiryTime

_messagesUsed

public Wrappers_Compile.Option<java.lang.Integer> _messagesUsed

_bytesUsed

public Wrappers_Compile.Option<java.lang.Integer> _bytesUsed

Constructor Detail

PutCacheEntryInput

public PutCacheEntryInput(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                          Materials materials,
                          long creationTime,
                          long expiryTime,
                          Wrappers_Compile.Option<java.lang.Integer> messagesUsed,
                          Wrappers_Compile.Option<java.lang.Integer> bytesUsed)

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

Default

public static PutCacheEntryInput Default()

_typeDescriptor

public static dafny.TypeDescriptor<PutCacheEntryInput> _typeDescriptor()

create

public static PutCacheEntryInput create(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                        Materials materials,
                                        long creationTime,
                                        long expiryTime,
                                        Wrappers_Compile.Option<java.lang.Integer> messagesUsed,
                                        Wrappers_Compile.Option<java.lang.Integer> bytesUsed)

create_PutCacheEntryInput

public static PutCacheEntryInput create_PutCacheEntryInput(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                                           Materials materials,
                                                           long creationTime,
                                                           long expiryTime,
                                                           Wrappers_Compile.Option<java.lang.Integer> messagesUsed,
                                                           Wrappers_Compile.Option<java.lang.Integer> bytesUsed)

is_PutCacheEntryInput

public boolean is_PutCacheEntryInput()

dtor_identifier

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

dtor_materials

public Materials dtor_materials()

dtor_creationTime

public long dtor_creationTime()

dtor_expiryTime

public long dtor_expiryTime()

dtor_messagesUsed

public Wrappers_Compile.Option<java.lang.Integer> dtor_messagesUsed()

dtor_bytesUsed

public Wrappers_Compile.Option<java.lang.Integer> dtor_bytesUsed()