AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations_Compile

Class __default

java.lang.Object

AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static Wrappers_Compile.Result<DecryptCanonData,Error>	CanonizeForDecrypt(dafny.DafnySequence<? extends java.lang.Character> tableName, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> authSchema, dafny.DafnySequence<? extends java.lang.Byte> legend)
static Wrappers_Compile.Result<EncryptCanonData,Error>	CanonizeForEncrypt(dafny.DafnySequence<? extends java.lang.Character> tableName, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> schema)
static software.amazon.cryptography.materialproviders.internaldafny.types.CommitmentPolicy	DBE__COMMITMENT__POLICY()
static Wrappers_Compile.Result<DecryptStructureOutput,Error>	DecryptStructure(Config config, DecryptStructureInput input)
static dafny.DafnySequence<? extends java.lang.Character>	DescribeMismatch(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> inputFields, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> inputContext, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> headContext)
static Wrappers_Compile.Outcome<Error>	DetectMismatch(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> inputContext, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> headContext)
static Wrappers_Compile.Result<EncryptStructureOutput,Error>	EncryptStructure(Config config, EncryptStructureInput input)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	FilterEncrypt(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fields, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Character>> fieldMap, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> schema)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	FilterEncrypted(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fields, dafny.DafnySequence<? extends java.lang.Byte> legend)
static software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteId	GetAlgorithmSuiteId(Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> alg)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Character>>	GetFieldMap(dafny.DafnySequence<? extends java.lang.Character> tableName, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> schema)
static Wrappers_Compile.Result<software.amazon.cryptography.materialproviders.internaldafny.types.EncryptionMaterials,Error>	GetStructuredEncryptionMaterials(software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, java.math.BigInteger encryptedTerminalDataNum, java.math.BigInteger totalEncryptedTerminalValuesSize)
static Wrappers_Compile.Outcome<Error>	NeedBinary(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data, dafny.DafnySequence<? extends java.lang.Character> field)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema>	ReservedAuthMap()
static dafny.DafnySequence<? extends java.lang.Character>	SafeDecode(dafny.DafnySequence<? extends java.lang.Byte> data)
static java.math.BigInteger	SumValueSize(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fields, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

FilterEncrypted

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> FilterEncrypted(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fields,
                                                                                                           dafny.DafnySequence<? extends java.lang.Byte> legend)

NeedBinary

public static Wrappers_Compile.Outcome<Error> NeedBinary(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data,
                                                         dafny.DafnySequence<? extends java.lang.Character> field)

SumValueSize

public static java.math.BigInteger SumValueSize(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fields,
                                                dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends StructuredData> data)

GetAlgorithmSuiteId

public static software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteId GetAlgorithmSuiteId(Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> alg)

GetStructuredEncryptionMaterials

public static Wrappers_Compile.Result<software.amazon.cryptography.materialproviders.internaldafny.types.EncryptionMaterials,Error> GetStructuredEncryptionMaterials(software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                                                                                                                                                                     Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext,
                                                                                                                                                                     Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                                                                                                                                                                     java.math.BigInteger encryptedTerminalDataNum,
                                                                                                                                                                     java.math.BigInteger totalEncryptedTerminalValuesSize)

FilterEncrypt

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> FilterEncrypt(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> fields,
                                                                                                         dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Character>> fieldMap,
                                                                                                         dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> schema)

GetFieldMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Character>> GetFieldMap(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                                                               dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data,
                                                                                                                                                               dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> schema)

CanonizeForEncrypt

public static Wrappers_Compile.Result<EncryptCanonData,Error> CanonizeForEncrypt(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data,
                                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoSchema> schema)

CanonizeForDecrypt

public static Wrappers_Compile.Result<DecryptCanonData,Error> CanonizeForDecrypt(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> data,
                                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> authSchema,
                                                                                 dafny.DafnySequence<? extends java.lang.Byte> legend)

EncryptStructure

public static Wrappers_Compile.Result<EncryptStructureOutput,Error> EncryptStructure(Config config,
                                                                                     EncryptStructureInput input)

SafeDecode

public static dafny.DafnySequence<? extends java.lang.Character> SafeDecode(dafny.DafnySequence<? extends java.lang.Byte> data)

DescribeMismatch

public static dafny.DafnySequence<? extends java.lang.Character> DescribeMismatch(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> inputFields,
                                                                                  dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> inputContext,
                                                                                  dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> headContext)

DetectMismatch

public static Wrappers_Compile.Outcome<Error> DetectMismatch(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> inputContext,
                                                             dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> headContext)

DecryptStructure

public static Wrappers_Compile.Result<DecryptStructureOutput,Error> DecryptStructure(Config config,
                                                                                     DecryptStructureInput input)

DBE__COMMITMENT__POLICY

public static software.amazon.cryptography.materialproviders.internaldafny.types.CommitmentPolicy DBE__COMMITMENT__POLICY()

ReservedAuthMap

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> ReservedAuthMap()

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object