RawAESKeyring_Compile

Class RawAESKeyring

java.lang.Object

RawAESKeyring_Compile.RawAESKeyring

All Implemented Interfaces:

VerifiableInterface, IKeyring

public class RawAESKeyring
extends java.lang.Object
implements VerifiableInterface, IKeyring

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
dafny.DafnySequence<? extends java.lang.Byte>	_keyName
dafny.DafnySequence<? extends java.lang.Byte>	_keyNamespace
software.amazon.cryptography.primitives.internaldafny.types.AES__GCM	_wrappingAlgorithm
dafny.DafnySequence<? extends java.lang.Byte>	_wrappingKey

Constructor Summary

Constructors

Constructor and Description
RawAESKeyring()

Method Summary

Modifier and Type	Method and Description
void	__ctor(dafny.DafnySequence<? extends java.lang.Byte> namespace, dafny.DafnySequence<? extends java.lang.Byte> name, dafny.DafnySequence<? extends java.lang.Byte> key, software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static dafny.TypeDescriptor<RawAESKeyring>	_typeDescriptor()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
dafny.DafnySequence<? extends java.lang.Byte>	GetIvFromProvInfo(dafny.DafnySequence<? extends java.lang.Byte> info)
dafny.DafnySequence<? extends java.lang.Byte>	keyName()
dafny.DafnySequence<? extends java.lang.Byte>	keyNamespace()
Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt_k(OnDecryptInput input)
Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt(OnDecryptInput input)
Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt_k(OnEncryptInput input)
Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt(OnEncryptInput input)
dafny.DafnySequence<? extends java.lang.Byte>	SerializeProviderInfo(dafny.DafnySequence<? extends java.lang.Byte> iv)
boolean	ShouldDecryptEDK(EncryptedDataKey edk)
java.lang.String	toString()
boolean	ValidProviderInfo(dafny.DafnySequence<? extends java.lang.Byte> info)
software.amazon.cryptography.primitives.internaldafny.types.AES__GCM	wrappingAlgorithm()
dafny.DafnySequence<? extends java.lang.Byte>	wrappingKey()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_cryptoPrimitives

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives

_wrappingKey

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

_wrappingAlgorithm

public software.amazon.cryptography.primitives.internaldafny.types.AES__GCM _wrappingAlgorithm

_keyNamespace

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

_keyName

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

Constructor Detail

RawAESKeyring

public RawAESKeyring()

Method Detail

OnEncrypt

public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput input)

Specified by:

OnEncrypt in interface IKeyring

OnDecrypt

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput input)

Specified by:

OnDecrypt in interface IKeyring

__ctor

public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> namespace,
                   dafny.DafnySequence<? extends java.lang.Byte> name,
                   dafny.DafnySequence<? extends java.lang.Byte> key,
                   software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

OnEncrypt_k

public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput input)

Specified by:

OnEncrypt_k in interface IKeyring

OnDecrypt_k

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)

Specified by:

OnDecrypt_k in interface IKeyring

SerializeProviderInfo

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

ShouldDecryptEDK

public boolean ShouldDecryptEDK(EncryptedDataKey edk)

ValidProviderInfo

public boolean ValidProviderInfo(dafny.DafnySequence<? extends java.lang.Byte> info)

GetIvFromProvInfo

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

cryptoPrimitives

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()

wrappingKey

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

wrappingAlgorithm

public software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm()

keyNamespace

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

keyName

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

_typeDescriptor

public static dafny.TypeDescriptor<RawAESKeyring> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object