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

Class _ExternBase___default

java.lang.Object

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

Direct Known Subclasses:

__default

public abstract class _ExternBase___default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
_ExternBase___default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static boolean	IsValid__BeaconBitLength(int x)
static boolean	IsValid__BeaconVersionList(dafny.DafnySequence<? extends BeaconVersion> x)
static boolean	IsValid__Char(dafny.DafnySequence<? extends java.lang.Character> x)
static boolean	IsValid__CompoundBeaconList(dafny.DafnySequence<? extends CompoundBeacon> x)
static boolean	IsValid__ConstructorList(dafny.DafnySequence<? extends Constructor> x)
static boolean	IsValid__ConstructorPartList(dafny.DafnySequence<? extends ConstructorPart> x)
static boolean	IsValid__EncryptedPartsList(dafny.DafnySequence<? extends EncryptedPart> x)
static boolean	IsValid__Prefix(dafny.DafnySequence<? extends java.lang.Character> x)
static boolean	IsValid__SignedPartsList(dafny.DafnySequence<? extends SignedPart> x)
static boolean	IsValid__StandardBeaconList(dafny.DafnySequence<? extends StandardBeacon> x)
static boolean	IsValid__TerminalLocation(dafny.DafnySequence<? extends java.lang.Character> x)
static boolean	IsValid__VersionNumber(int x)
static boolean	IsValid__VirtualFieldList(dafny.DafnySequence<? extends VirtualField> x)
static boolean	IsValid__VirtualPartList(dafny.DafnySequence<? extends VirtualPart> x)
static boolean	IsValid__VirtualTransformList(dafny.DafnySequence<? extends VirtualTransform> x)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

_ExternBase___default

public _ExternBase___default()

Method Detail

IsValid__BeaconBitLength

public static boolean IsValid__BeaconBitLength(int x)

IsValid__BeaconVersionList

public static boolean IsValid__BeaconVersionList(dafny.DafnySequence<? extends BeaconVersion> x)

IsValid__Char

public static boolean IsValid__Char(dafny.DafnySequence<? extends java.lang.Character> x)

IsValid__CompoundBeaconList

public static boolean IsValid__CompoundBeaconList(dafny.DafnySequence<? extends CompoundBeacon> x)

IsValid__ConstructorList

public static boolean IsValid__ConstructorList(dafny.DafnySequence<? extends Constructor> x)

IsValid__ConstructorPartList

public static boolean IsValid__ConstructorPartList(dafny.DafnySequence<? extends ConstructorPart> x)

IsValid__EncryptedPartsList

public static boolean IsValid__EncryptedPartsList(dafny.DafnySequence<? extends EncryptedPart> x)

IsValid__Prefix

public static boolean IsValid__Prefix(dafny.DafnySequence<? extends java.lang.Character> x)

IsValid__SignedPartsList

public static boolean IsValid__SignedPartsList(dafny.DafnySequence<? extends SignedPart> x)

IsValid__StandardBeaconList

public static boolean IsValid__StandardBeaconList(dafny.DafnySequence<? extends StandardBeacon> x)

IsValid__TerminalLocation

public static boolean IsValid__TerminalLocation(dafny.DafnySequence<? extends java.lang.Character> x)

IsValid__VersionNumber

public static boolean IsValid__VersionNumber(int x)

IsValid__VirtualFieldList

public static boolean IsValid__VirtualFieldList(dafny.DafnySequence<? extends VirtualField> x)

IsValid__VirtualPartList

public static boolean IsValid__VirtualPartList(dafny.DafnySequence<? extends VirtualPart> x)

IsValid__VirtualTransformList

public static boolean IsValid__VirtualTransformList(dafny.DafnySequence<? extends VirtualTransform> x)

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object