software.amazon.cryptography.materialproviders.internaldafny.types

Class CreateRawRsaKeyringInput

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawRsaKeyringInput

public class CreateRawRsaKeyringInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends java.lang.Character>	_keyName
dafny.DafnySequence<? extends java.lang.Character>	_keyNamespace
PaddingScheme	_paddingScheme
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_privateKey
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_publicKey

Constructor Summary

Constructors

Constructor and Description
CreateRawRsaKeyringInput(dafny.DafnySequence<? extends java.lang.Character> keyNamespace, dafny.DafnySequence<? extends java.lang.Character> keyName, PaddingScheme paddingScheme, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<CreateRawRsaKeyringInput>	_typeDescriptor()
static CreateRawRsaKeyringInput	create_CreateRawRsaKeyringInput(dafny.DafnySequence<? extends java.lang.Character> keyNamespace, dafny.DafnySequence<? extends java.lang.Character> keyName, PaddingScheme paddingScheme, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey)
static CreateRawRsaKeyringInput	create(dafny.DafnySequence<? extends java.lang.Character> keyNamespace, dafny.DafnySequence<? extends java.lang.Character> keyName, PaddingScheme paddingScheme, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey)
static CreateRawRsaKeyringInput	Default()
dafny.DafnySequence<? extends java.lang.Character>	dtor_keyName()
dafny.DafnySequence<? extends java.lang.Character>	dtor_keyNamespace()
PaddingScheme	dtor_paddingScheme()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_privateKey()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_publicKey()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_CreateRawRsaKeyringInput()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_keyNamespace

public dafny.DafnySequence<? extends java.lang.Character> _keyNamespace

_keyName

public dafny.DafnySequence<? extends java.lang.Character> _keyName

_paddingScheme

public PaddingScheme _paddingScheme

_publicKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _publicKey

_privateKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _privateKey

Constructor Detail

CreateRawRsaKeyringInput

public CreateRawRsaKeyringInput(dafny.DafnySequence<? extends java.lang.Character> keyNamespace,
                                dafny.DafnySequence<? extends java.lang.Character> keyName,
                                PaddingScheme paddingScheme,
                                Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey,
                                Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey)

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 CreateRawRsaKeyringInput Default()

_typeDescriptor

public static dafny.TypeDescriptor<CreateRawRsaKeyringInput> _typeDescriptor()

create

public static CreateRawRsaKeyringInput create(dafny.DafnySequence<? extends java.lang.Character> keyNamespace,
                                              dafny.DafnySequence<? extends java.lang.Character> keyName,
                                              PaddingScheme paddingScheme,
                                              Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey,
                                              Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey)

create_CreateRawRsaKeyringInput

public static CreateRawRsaKeyringInput create_CreateRawRsaKeyringInput(dafny.DafnySequence<? extends java.lang.Character> keyNamespace,
                                                                       dafny.DafnySequence<? extends java.lang.Character> keyName,
                                                                       PaddingScheme paddingScheme,
                                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey,
                                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey)

is_CreateRawRsaKeyringInput

public boolean is_CreateRawRsaKeyringInput()

dtor_keyNamespace

public dafny.DafnySequence<? extends java.lang.Character> dtor_keyNamespace()

dtor_keyName

public dafny.DafnySequence<? extends java.lang.Character> dtor_keyName()

dtor_paddingScheme

public PaddingScheme dtor_paddingScheme()

dtor_publicKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_publicKey()

dtor_privateKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_privateKey()