dafny

Class Array1<T>

java.lang.Object

dafny.Array1<T>

public final class Array1<T>
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	dim0
java.lang.Object	elmts

Constructor Summary

Constructors

Constructor and Description
Array1(TypeDescriptor<T> elmtType, int dim0, java.lang.Object elmts)

Method Summary

Modifier and Type	Method and Description
static <T> TypeDescriptor<Array1<T>>	_typeDescriptor()
void	fill(T z)
Array1	fillThenReturn(T z)
T	get(int i0)
void	set(int i0, T value)

Methods inherited from class java.lang.Object

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

Field Detail

elmts

public final java.lang.Object elmts

dim0

public final int dim0

Constructor Detail

Array1

public Array1(TypeDescriptor<T> elmtType,
              int dim0,
              java.lang.Object elmts)

Method Detail

get

public T get(int i0)

set

public void set(int i0,
                T value)

fill

public void fill(T z)

fillThenReturn

public Array1 fillThenReturn(T z)

_typeDescriptor

public static <T> TypeDescriptor<Array1<T>> _typeDescriptor()