dafny

Class Array2<T>

java.lang.Object

dafny.Array2<T>

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

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Array2(TypeDescriptor<T> elmtType, int dim0, int dim1, java.lang.Object[] elmts)

Method Summary

Modifier and Type	Method and Description
static <T> TypeDescriptor<Array2<T>>	_typeDescriptor()
void	fill(T z)
Array2	fillThenReturn(T z)
T	get(int i0, int i1)
void	set(int i0, int i1, 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

dim1

public final int dim1

Constructor Detail

Array2

public Array2(TypeDescriptor<T> elmtType,
              int dim0,
              int dim1,
              java.lang.Object[] elmts)

Method Detail

get

public T get(int i0,
             int i1)

set

public void set(int i0,
                int i1,
                T value)

fill

public void fill(T z)

fillThenReturn

public Array2 fillThenReturn(T z)

_typeDescriptor

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