DynamoDbEncryptionUtil_Compile

Class PartitionBytes

java.lang.Object

DynamoDbEncryptionUtil_Compile.PartitionBytes

public class PartitionBytes
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static dafny.DafnySequence	Witness

Constructor Summary

Constructors

Constructor and Description
PartitionBytes()

Method Summary

Modifier and Type	Method and Description
static boolean	_Is(dafny.DafnySequence<? extends java.lang.Byte> __source)
static dafny.TypeDescriptor<dafny.DafnySequence<? extends java.lang.Byte>>	_typeDescriptor()
static dafny.DafnySequence<? extends java.lang.Byte>	defaultValue()

Methods inherited from class java.lang.Object

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

Field Detail

Witness

public static dafny.DafnySequence Witness

Constructor Detail

PartitionBytes

public PartitionBytes()

Method Detail

defaultValue

public static dafny.DafnySequence<? extends java.lang.Byte> defaultValue()

_Is

public static boolean _Is(dafny.DafnySequence<? extends java.lang.Byte> __source)

_typeDescriptor

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