DynamoDbEncryptionUtil_Compile

Class OptPartitionCount

java.lang.Object

DynamoDbEncryptionUtil_Compile.OptPartitionCount

public class OptPartitionCount
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
OptPartitionCount()

Method Summary

Modifier and Type	Method and Description
static boolean	_Is(byte __source)
static dafny.TypeDescriptor<java.lang.Byte>	_typeDescriptor()
static java.util.ArrayList<java.lang.Byte>	IntegerRange(java.math.BigInteger lo, java.math.BigInteger hi)

Methods inherited from class java.lang.Object

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

Constructor Detail

OptPartitionCount

public OptPartitionCount()

Method Detail

IntegerRange

public static java.util.ArrayList<java.lang.Byte> IntegerRange(java.math.BigInteger lo,
                                                               java.math.BigInteger hi)

_Is

public static boolean _Is(byte __source)

_typeDescriptor

public static dafny.TypeDescriptor<java.lang.Byte> _typeDescriptor()