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<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,software.amazon.cryptography.materialproviders.internaldafny.types.Error> |
AddAttributeToMap(dafny.DafnySequence<? extends java.lang.Byte> ddbAttrKey,
dafny.DafnySequence<? extends java.lang.Byte> encodedAttrValue,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> attrMap) |
static software.amazon.cryptography.materialproviders.internaldafny.types.Error |
ConvertToMplError(Error err) |
static dafny.DafnySequence<? extends java.lang.Byte> |
MPL__EC__PARTITION__NAME() |
static dafny.DafnySequence<? extends java.lang.Byte> |
MPL__EC__SORT__NAME() |
java.lang.String |
toString() |
public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,software.amazon.cryptography.materialproviders.internaldafny.types.Error> AddAttributeToMap(dafny.DafnySequence<? extends java.lang.Byte> ddbAttrKey,
dafny.DafnySequence<? extends java.lang.Byte> encodedAttrValue,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> attrMap)
public static software.amazon.cryptography.materialproviders.internaldafny.types.Error ConvertToMplError(Error err)
public static dafny.DafnySequence<? extends java.lang.Byte> MPL__EC__PARTITION__NAME()
public static dafny.DafnySequence<? extends java.lang.Byte> MPL__EC__SORT__NAME()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object