software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy

Class InternalLegacyOverride

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy._ExternBase_InternalLegacyOverride

software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy.InternalLegacyOverride

public class InternalLegacyOverride
extends _ExternBase_InternalLegacyOverride

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<InternalLegacyOverride>	_typeDescriptor()
static Wrappers_Compile.Result<Wrappers_Compile.Option<InternalLegacyOverride>,Error>	Build(DynamoDbItemEncryptorConfig encryptorConfig)
static Error	createError(java.lang.String message)
Wrappers_Compile.Result<DecryptItemOutput,Error>	DecryptItem(DecryptItemInput input)
Wrappers_Compile.Result<EncryptItemOutput,Error>	EncryptItem(EncryptItemInput input)
static boolean	isDynamoDBEncryptor(ILegacyDynamoDbEncryptor maybe)
boolean	IsLegacyInput(DecryptItemInput input)
static StandardLibraryInternal.InternalResult<java.util.Map<java.lang.String,java.util.Set<EncryptionFlags>>,Error>	legacyActions(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt)
static StandardLibraryInternal.InternalResult<EncryptionContext,Error>	legacyEncryptionContext(DynamoDbItemEncryptorConfig config)
LegacyPolicy	policy()
static dafny.DafnySequence<java.lang.Character>	ToDafnyString(java.lang.String s)
static java.lang.String	ToNativeString(dafny.DafnySequence<? extends java.lang.Character> s)
static software.amazon.awssdk.services.dynamodb.model.AttributeValue	V1AttributeToV2Attribute(com.amazonaws.services.dynamodbv2.model.AttributeValue value)
static java.util.Map<java.lang.String,software.amazon.awssdk.services.dynamodb.model.AttributeValue>	V1MapToV2Map(java.util.Map<java.lang.String,com.amazonaws.services.dynamodbv2.model.AttributeValue> input)
static com.amazonaws.services.dynamodbv2.model.AttributeValue	V2AttributeToV1Attribute(software.amazon.awssdk.services.dynamodb.model.AttributeValue value)
static java.util.Map<java.lang.String,com.amazonaws.services.dynamodbv2.model.AttributeValue>	V2MapToV1Map(java.util.Map<java.lang.String,software.amazon.awssdk.services.dynamodb.model.AttributeValue> input)

Methods inherited from class software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy._ExternBase_InternalLegacyOverride

CreateBuildFailure, CreateBuildSuccess, CreateDecryptItemFailure, CreateDecryptItemSuccess, CreateEncryptItemFailure, CreateEncryptItemSuccess, CreateInternalLegacyOverrideNone, CreateInternalLegacyOverrideSome, toString

Methods inherited from class java.lang.Object

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

Method Detail

_typeDescriptor

public static dafny.TypeDescriptor<InternalLegacyOverride> _typeDescriptor()

IsLegacyInput

public boolean IsLegacyInput(DecryptItemInput input)

Specified by:

IsLegacyInput in class _ExternBase_InternalLegacyOverride

policy

public LegacyPolicy policy()

EncryptItem

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

Specified by:

EncryptItem in class _ExternBase_InternalLegacyOverride

DecryptItem

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

Specified by:

DecryptItem in class _ExternBase_InternalLegacyOverride

Build

public static Wrappers_Compile.Result<Wrappers_Compile.Option<InternalLegacyOverride>,Error> Build(DynamoDbItemEncryptorConfig encryptorConfig)

createError

public static Error createError(java.lang.String message)

isDynamoDBEncryptor

public static boolean isDynamoDBEncryptor(ILegacyDynamoDbEncryptor maybe)

ToNativeString

public static java.lang.String ToNativeString(dafny.DafnySequence<? extends java.lang.Character> s)

ToDafnyString

public static dafny.DafnySequence<java.lang.Character> ToDafnyString(java.lang.String s)

legacyEncryptionContext

public static StandardLibraryInternal.InternalResult<EncryptionContext,Error> legacyEncryptionContext(DynamoDbItemEncryptorConfig config)

legacyActions

public static StandardLibraryInternal.InternalResult<java.util.Map<java.lang.String,java.util.Set<EncryptionFlags>>,Error> legacyActions(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt)

V2AttributeToV1Attribute

public static com.amazonaws.services.dynamodbv2.model.AttributeValue V2AttributeToV1Attribute(software.amazon.awssdk.services.dynamodb.model.AttributeValue value)

V2MapToV1Map

public static java.util.Map<java.lang.String,com.amazonaws.services.dynamodbv2.model.AttributeValue> V2MapToV1Map(java.util.Map<java.lang.String,software.amazon.awssdk.services.dynamodb.model.AttributeValue> input)

V1AttributeToV2Attribute

public static software.amazon.awssdk.services.dynamodb.model.AttributeValue V1AttributeToV2Attribute(com.amazonaws.services.dynamodbv2.model.AttributeValue value)

V1MapToV2Map

public static java.util.Map<java.lang.String,software.amazon.awssdk.services.dynamodb.model.AttributeValue> V1MapToV2Map(java.util.Map<java.lang.String,com.amazonaws.services.dynamodbv2.model.AttributeValue> input)