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

Class InternalLegacyOverride

java.lang.Object

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

public class InternalLegacyOverride
extends java.lang.Object

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 <T> Wrappers_Compile.Result<T,Error>	createFailure(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)
java.lang.Boolean	IsLegacyInput(DecryptItemInput input)
static Wrappers_Compile.Result<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 Wrappers_Compile.Result<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 java.lang.Object

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

Method Detail

_typeDescriptor

public static dafny.TypeDescriptor<InternalLegacyOverride> _typeDescriptor()

IsLegacyInput

public java.lang.Boolean IsLegacyInput(DecryptItemInput input)

policy

public LegacyPolicy policy()

EncryptItem

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

DecryptItem

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

Build

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

createFailure

public static <T> Wrappers_Compile.Result<T,Error> createFailure(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 Wrappers_Compile.Result<EncryptionContext,Error> legacyEncryptionContext(DynamoDbItemEncryptorConfig config)

legacyActions

public static Wrappers_Compile.Result<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)