dafny

Class Array4<T>

java.lang.Object

dafny.Array4<T>

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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

Constructor Detail

Array4

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

Method Detail

get

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

set

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

fill

public void fill(T z)

fillThenReturn

public Array4 fillThenReturn(T z)

_typeDescriptor

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