dafny

Class Array3<T>

java.lang.Object

dafny.Array3<T>

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

dim2

public final int dim2

Constructor Detail

Array3

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

Method Detail

get

public T get(int i0,
             int i1,
             int i2)

set

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

fill

public void fill(T z)

fillThenReturn

public Array3 fillThenReturn(T z)

_typeDescriptor

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