software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types

Class __default

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ExternBase___default

software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.__default

public class __default
extends _ExternBase___default

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Methods inherited from class software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ExternBase___default

_typeDescriptor, IsValid__BeaconBitLength, IsValid__BeaconVersionList, IsValid__Char, IsValid__CompoundBeaconList, IsValid__ConstructorList, IsValid__ConstructorPartList, IsValid__EncryptedPartsList, IsValid__Prefix, IsValid__SignedPartsList, IsValid__StandardBeaconList, IsValid__TerminalLocation, IsValid__VersionNumber, IsValid__VirtualFieldList, IsValid__VirtualPartList, IsValid__VirtualTransformList, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()