AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations_Compile

Class __default

java.lang.Object

AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations_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 boolean	AllowedUnsigned(Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> unauthenticatedAttributes, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> unauthenticatedPrefix, dafny.DafnySequence<? extends java.lang.Character> attr)
static AuthenticateSchema	ConfigToAuthenticateSchema(Config config, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static Wrappers_Compile.Result<CryptoSchema,Error>	ConfigToCryptoSchema(Config config, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction>,Error>	ConvertCryptoSchemaToAttributeActions(Config config, CryptoSchema schema)
static dafny.DafnySequence<? extends java.lang.Character>	CryptoActionString(CryptoAction action)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	DDBEncode(dafny.DafnySequence<? extends java.lang.Character> s)
static Error	DDBError(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Result<DecryptItemOutput,Error>	DecryptItem(Config config, DecryptItemInput input)
static AuthenticateSchema	DoNotSign()
static AuthenticateSchema	DoSign()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error>	EncodeName(dafny.DafnySequence<? extends java.lang.Character> k)
static dafny.DafnySequence<? extends java.lang.Byte>	EncodeValue(StructuredDataTerminal t)
static Wrappers_Compile.Result<EncryptItemOutput,Error>	EncryptItem(Config config, EncryptItemInput input)
static dafny.DafnySequence<? extends java.lang.Character>	ExplainNotForwardCompatible(dafny.DafnySequence<? extends java.lang.Character> attr, CryptoAction action, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> unauthenticatedAttributes, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> unauthenticatedPrefix)
static boolean	ForwardCompatibleAttributeAction(dafny.DafnySequence<? extends java.lang.Character> attribute, CryptoAction action, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> unauthenticatedAttributes, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> unauthenticatedPrefix)
static AuthenticateSchema	GetAuthenticateSchemaAction(Config config, dafny.DafnySequence<? extends java.lang.Character> attr)
static Wrappers_Compile.Result<CryptoSchema,dafny.DafnySequence<? extends java.lang.Character>>	GetCryptoSchemaAction(Config config, dafny.DafnySequence<? extends java.lang.Character> attr)
static Wrappers_Compile.Result<CryptoAction,dafny.DafnySequence<? extends java.lang.Character>>	GetCryptoSchemaActionInner(Config config, dafny.DafnySequence<? extends java.lang.Character> attr)
static dafny.DafnySequence<? extends java.lang.Character>	GetItemNames(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static boolean	InSignatureScope(Config config, dafny.DafnySequence<? extends java.lang.Character> attr)
static boolean	IsPlaintextItem(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> ddbItem)
static boolean	IsSignOnly(Config config, dafny.DafnySequence<? extends java.lang.Character> attr)
static dafny.DafnySequence<? extends java.lang.Character>	KeyMissingMsg(Config config, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnySequence<? extends java.lang.Character> tag)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error>	MakeEncryptionContext(Config config, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> item)
static dafny.DafnySequence<? extends java.lang.Byte>	PARTITION__NAME()
static dafny.DafnySequence<? extends java.lang.Byte>	SORT__NAME()
static dafny.DafnySequence<? extends java.lang.Byte>	TABLE__NAME()
java.lang.String	toString()
static boolean	UnknownAttribute(Config config, dafny.DafnySequence<? extends java.lang.Character> attr)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

AllowedUnsigned

public static boolean AllowedUnsigned(Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> unauthenticatedAttributes,
                                      Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> unauthenticatedPrefix,
                                      dafny.DafnySequence<? extends java.lang.Character> attr)

ForwardCompatibleAttributeAction

public static boolean ForwardCompatibleAttributeAction(dafny.DafnySequence<? extends java.lang.Character> attribute,
                                                       CryptoAction action,
                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> unauthenticatedAttributes,
                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> unauthenticatedPrefix)

CryptoActionString

public static dafny.DafnySequence<? extends java.lang.Character> CryptoActionString(CryptoAction action)

ExplainNotForwardCompatible

public static dafny.DafnySequence<? extends java.lang.Character> ExplainNotForwardCompatible(dafny.DafnySequence<? extends java.lang.Character> attr,
                                                                                             CryptoAction action,
                                                                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> unauthenticatedAttributes,
                                                                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> unauthenticatedPrefix)

UnknownAttribute

public static boolean UnknownAttribute(Config config,
                                       dafny.DafnySequence<? extends java.lang.Character> attr)

IsSignOnly

public static boolean IsSignOnly(Config config,
                                 dafny.DafnySequence<? extends java.lang.Character> attr)

InSignatureScope

public static boolean InSignatureScope(Config config,
                                       dafny.DafnySequence<? extends java.lang.Character> attr)

EncodeName

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> EncodeName(dafny.DafnySequence<? extends java.lang.Character> k)

EncodeValue

public static dafny.DafnySequence<? extends java.lang.Byte> EncodeValue(StructuredDataTerminal t)

MakeEncryptionContext

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>,Error> MakeEncryptionContext(Config config,
                                                                                                                                                                                                   dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> item)

DDBError

public static Error DDBError(dafny.DafnySequence<? extends java.lang.Character> s)

DDBEncode

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,Error> DDBEncode(dafny.DafnySequence<? extends java.lang.Character> s)

GetCryptoSchemaActionInner

public static Wrappers_Compile.Result<CryptoAction,dafny.DafnySequence<? extends java.lang.Character>> GetCryptoSchemaActionInner(Config config,
                                                                                                                                  dafny.DafnySequence<? extends java.lang.Character> attr)

GetCryptoSchemaAction

public static Wrappers_Compile.Result<CryptoSchema,dafny.DafnySequence<? extends java.lang.Character>> GetCryptoSchemaAction(Config config,
                                                                                                                             dafny.DafnySequence<? extends java.lang.Character> attr)

GetAuthenticateSchemaAction

public static AuthenticateSchema GetAuthenticateSchemaAction(Config config,
                                                             dafny.DafnySequence<? extends java.lang.Character> attr)

ConfigToCryptoSchema

public static Wrappers_Compile.Result<CryptoSchema,Error> ConfigToCryptoSchema(Config config,
                                                                               dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

ConfigToAuthenticateSchema

public static AuthenticateSchema ConfigToAuthenticateSchema(Config config,
                                                            dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

IsPlaintextItem

public static boolean IsPlaintextItem(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> ddbItem)

ConvertCryptoSchemaToAttributeActions

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction>,Error> ConvertCryptoSchemaToAttributeActions(Config config,
                                                                                                                                                                                       CryptoSchema schema)

GetItemNames

public static dafny.DafnySequence<? extends java.lang.Character> GetItemNames(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

KeyMissingMsg

public static dafny.DafnySequence<? extends java.lang.Character> KeyMissingMsg(Config config,
                                                                               dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                               dafny.DafnySequence<? extends java.lang.Character> tag)

EncryptItem

public static Wrappers_Compile.Result<EncryptItemOutput,Error> EncryptItem(Config config,
                                                                           EncryptItemInput input)

DecryptItem

public static Wrappers_Compile.Result<DecryptItemOutput,Error> DecryptItem(Config config,
                                                                           DecryptItemInput input)

TABLE__NAME

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

PARTITION__NAME

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

SORT__NAME

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

DoNotSign

public static AuthenticateSchema DoNotSign()

DoSign

public static AuthenticateSchema DoSign()

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object