software.amazon.cryptography.materialproviders.internaldafny.types

Class UpdateUsageMetadataInput

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.UpdateUsageMetadataInput

public class UpdateUsageMetadataInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	_bytesUsed
dafny.DafnySequence<? extends java.lang.Byte>	_identifier

Constructor Summary

Constructors

Constructor and Description
UpdateUsageMetadataInput(dafny.DafnySequence<? extends java.lang.Byte> identifier, int bytesUsed)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<UpdateUsageMetadataInput>	_typeDescriptor()
static UpdateUsageMetadataInput	create_UpdateUsageMetadataInput(dafny.DafnySequence<? extends java.lang.Byte> identifier, int bytesUsed)
static UpdateUsageMetadataInput	create(dafny.DafnySequence<? extends java.lang.Byte> identifier, int bytesUsed)
static UpdateUsageMetadataInput	Default()
int	dtor_bytesUsed()
dafny.DafnySequence<? extends java.lang.Byte>	dtor_identifier()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_UpdateUsageMetadataInput()
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

_bytesUsed

public int _bytesUsed

Constructor Detail

UpdateUsageMetadataInput

public UpdateUsageMetadataInput(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                int 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 UpdateUsageMetadataInput Default()

_typeDescriptor

public static dafny.TypeDescriptor<UpdateUsageMetadataInput> _typeDescriptor()

create

public static UpdateUsageMetadataInput create(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                              int bytesUsed)

create_UpdateUsageMetadataInput

public static UpdateUsageMetadataInput create_UpdateUsageMetadataInput(dafny.DafnySequence<? extends java.lang.Byte> identifier,
                                                                       int bytesUsed)

is_UpdateUsageMetadataInput

public boolean is_UpdateUsageMetadataInput()

dtor_identifier

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

dtor_bytesUsed

public int dtor_bytesUsed()