dafny

Class Array5<T>

java.lang.Object

dafny.Array5<T>

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

dim3

public final int dim3

dim4

public final int dim4

Constructor Detail

Array5

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

Method Detail

get

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

set

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

fill

public void fill(T z)

fillThenReturn

public Array5 fillThenReturn(T z)

_typeDescriptor

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