Package dafny

Class TypeDescriptor<T>

java.lang.Object

dafny.TypeDescriptor<T>

public abstract class TypeDescriptor<T>
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	TypeDescriptor.Initializer<T>

Field Summary

Fields

Modifier and Type	Field	Description
static final TypeDescriptor<BigInteger>	BIG_INTEGER
static final TypeDescriptor<BigRational>	BIG_RATIONAL
static final TypeDescriptor<Boolean>	BOOLEAN
static final TypeDescriptor<boolean[]>	BOOLEAN_ARRAY
static final TypeDescriptor<Byte>	BYTE
static final TypeDescriptor<byte[]>	BYTE_ARRAY
static final TypeDescriptor<Character>	CHAR
static final TypeDescriptor<char[]>	CHAR_ARRAY
static final TypeDescriptor<Integer>	INT
static final TypeDescriptor<int[]>	INT_ARRAY
static final TypeDescriptor<Long>	LONG
static final TypeDescriptor<long[]>	LONG_ARRAY
static final TypeDescriptor<Object>	OBJECT
static final TypeDescriptor<Short>	SHORT
static final TypeDescriptor<short[]>	SHORT_ARRAY
static final TypeDescriptor<CodePoint>	UNICODE_CHAR
static final TypeDescriptor<int[]>	UNICODE_CHAR_ARRAY

Method Summary

Modifier and Type	Method	Description
abstract boolean	arrayDeepEquals(Object array1, Object array2)
abstract TypeDescriptor<?>	arrayType()
static TypeDescriptor<Boolean>	booleanWithDefault(boolean d)
static TypeDescriptor<Byte>	byteWithDefault(byte d)
static TypeDescriptor<Character>	charWithDefault(char d)
abstract Object	cloneArray(Object array)
final void	copyArrayTo(Object src, int srcPos, Object dest, int destPos, int length)
abstract T	defaultValue()
abstract void	fillArray(Object array, T value)
final Object	fillThenReturnArray(Object array, T value)
static <T> TypeDescriptor<T>	findType(Class<?> cls, TypeDescriptor<?>... args)
static <A, R> TypeDescriptor<Function<A,R>>	function(TypeDescriptor<A> argType, TypeDescriptor<R> returnType)
abstract T	getArrayElement(Object array, int index)
final int	getArrayLength(Object array)
static TypeDescriptor<Integer>	intWithDefault(int d)
abstract boolean	isInstance(Object object)
final boolean	isPrimitive()
static TypeDescriptor<Long>	longWithDefault(long d)
final Object	newArray(int length)
final Object	newArray(int... dims)
static <T> TypeDescriptor<T>	reference(Class<T> javaClass)
static <T> TypeDescriptor<T>	referenceWithDefault(Class<T> javaClass, T defaultValue)
static <T> TypeDescriptor<T>	referenceWithInitializer(Class<?> javaClass, TypeDescriptor.Initializer<T> initializer)
static <T> TypeDescriptor<T>	referenceWithInitializerAndTypeDescriptor(TypeDescriptor<T> typeDescriptor, TypeDescriptor.Initializer<T> initializer)
abstract void	setArrayElement(Object array, int index, T value)
static TypeDescriptor<Short>	shortWithDefault(short d)
Object	toArray(Collection<T> coll)
String	toString()
static TypeDescriptor<CodePoint>	unicodeCharWithDefault(int d)

Methods inherited from class java.lang.Object

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

Field Details

BYTE

public static final TypeDescriptor<Byte> BYTE

SHORT

public static final TypeDescriptor<Short> SHORT

INT

public static final TypeDescriptor<Integer> INT

LONG

public static final TypeDescriptor<Long> LONG

BOOLEAN

public static final TypeDescriptor<Boolean> BOOLEAN

CHAR

public static final TypeDescriptor<Character> CHAR

UNICODE_CHAR

public static final TypeDescriptor<CodePoint> UNICODE_CHAR

BIG_INTEGER

public static final TypeDescriptor<BigInteger> BIG_INTEGER

BIG_RATIONAL

public static final TypeDescriptor<BigRational> BIG_RATIONAL

OBJECT

public static final TypeDescriptor<Object> OBJECT

BYTE_ARRAY

public static final TypeDescriptor<byte[]> BYTE_ARRAY

SHORT_ARRAY

public static final TypeDescriptor<short[]> SHORT_ARRAY

INT_ARRAY

public static final TypeDescriptor<int[]> INT_ARRAY

LONG_ARRAY

public static final TypeDescriptor<long[]> LONG_ARRAY

BOOLEAN_ARRAY

public static final TypeDescriptor<boolean[]> BOOLEAN_ARRAY

CHAR_ARRAY

public static final TypeDescriptor<char[]> CHAR_ARRAY

UNICODE_CHAR_ARRAY

public static final TypeDescriptor<int[]> UNICODE_CHAR_ARRAY

Method Details

isPrimitive

public final boolean isPrimitive()

defaultValue

public abstract T defaultValue()

isInstance

public abstract boolean isInstance(Object object)

arrayType

public abstract TypeDescriptor<?> arrayType()

newArray

public final Object newArray(int length)

newArray

public final Object newArray(int... dims)

getArrayElement

public abstract T getArrayElement(Object array,
 int index)

setArrayElement

public abstract void setArrayElement(Object array,
 int index,
 T value)

getArrayLength

public final int getArrayLength(Object array)

cloneArray

public abstract Object cloneArray(Object array)

fillArray

public abstract void fillArray(Object array,
 T value)

fillThenReturnArray

public final Object fillThenReturnArray(Object array,
 T value)

copyArrayTo

public final void copyArrayTo(Object src,
 int srcPos,
 Object dest,
 int destPos,
 int length)

arrayDeepEquals

public abstract boolean arrayDeepEquals(Object array1,
 Object array2)

toArray

public Object toArray(Collection<T> coll)

toString

public String toString()

Overrides:

toString in class Object

reference

public static <T> TypeDescriptor<T> reference(Class<T> javaClass)

referenceWithDefault

public static <T> TypeDescriptor<T> referenceWithDefault(Class<T> javaClass,
 T defaultValue)

referenceWithInitializer

public static <T> TypeDescriptor<T> referenceWithInitializer(Class<?> javaClass,
 TypeDescriptor.Initializer<T> initializer)

referenceWithInitializerAndTypeDescriptor

public static <T> TypeDescriptor<T> referenceWithInitializerAndTypeDescriptor(TypeDescriptor<T> typeDescriptor,
 TypeDescriptor.Initializer<T> initializer)

byteWithDefault

public static TypeDescriptor<Byte> byteWithDefault(byte d)

shortWithDefault

public static TypeDescriptor<Short> shortWithDefault(short d)

intWithDefault

public static TypeDescriptor<Integer> intWithDefault(int d)

longWithDefault

public static TypeDescriptor<Long> longWithDefault(long d)

booleanWithDefault

public static TypeDescriptor<Boolean> booleanWithDefault(boolean d)

charWithDefault

public static TypeDescriptor<Character> charWithDefault(char d)

unicodeCharWithDefault

public static TypeDescriptor<CodePoint> unicodeCharWithDefault(int d)

function

public static <A,
R> TypeDescriptor<Function<A,R>> function(TypeDescriptor<A> argType,
 TypeDescriptor<R> returnType)

findType

public static <T> TypeDescriptor<T> findType(Class<?> cls,
 TypeDescriptor<?>... args)