public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| 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() |
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)
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)
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)
public static software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteId GetAlgorithmSuiteId(Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> alg)
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)
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)
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)
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)
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)
public static Wrappers_Compile.Result<EncryptStructureOutput,Error> EncryptStructure(Config config, EncryptStructureInput input)
public static dafny.DafnySequence<? extends java.lang.Character> SafeDecode(dafny.DafnySequence<? extends java.lang.Byte> data)
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)
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)
public static Wrappers_Compile.Result<DecryptStructureOutput,Error> DecryptStructure(Config config, DecryptStructureInput input)
public static software.amazon.cryptography.materialproviders.internaldafny.types.CommitmentPolicy DBE__COMMITMENT__POLICY()
public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> ReservedAuthMap()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object