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

Class _ExternBase_InternalLegacyOverride

java.lang.Object

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

public abstract class _ExternBase_InternalLegacyOverride
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
LegacyPolicy	_policy

Constructor Summary

Constructors

Constructor and Description
_ExternBase_InternalLegacyOverride()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<InternalLegacyOverride>	_typeDescriptor()
abstract Wrappers_Compile.Result<DecryptItemOutput,Error>	DecryptItem(DecryptItemInput input)
abstract Wrappers_Compile.Result<EncryptItemOutput,Error>	EncryptItem(EncryptItemInput input)
abstract boolean	IsLegacyInput(DecryptItemInput input)
LegacyPolicy	policy()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_policy

public LegacyPolicy _policy

Constructor Detail

_ExternBase_InternalLegacyOverride

public _ExternBase_InternalLegacyOverride()

Method Detail

EncryptItem

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

DecryptItem

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

IsLegacyInput

public abstract boolean IsLegacyInput(DecryptItemInput input)

policy

public LegacyPolicy policy()

_typeDescriptor

public static dafny.TypeDescriptor<InternalLegacyOverride> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object