dafny

Class Array15<T>

java.lang.Object

dafny.Array15<T>

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

Field Summary

Fields

Modifier and Type	Field and Description
int	dim0
int	dim1
int	dim10
int	dim11
int	dim12
int	dim13
int	dim14
int	dim2
int	dim3
int	dim4
int	dim5
int	dim6
int	dim7
int	dim8
int	dim9
java.lang.Object[][][][][][][][][][][][][][]	elmts

Constructor Summary

Constructors

Constructor and Description
Array15(TypeDescriptor<T> elmtType, int dim0, int dim1, int dim2, int dim3, int dim4, int dim5, int dim6, int dim7, int dim8, int dim9, int dim10, int dim11, int dim12, int dim13, int dim14, java.lang.Object[][][][][][][][][][][][][][] elmts)

Method Summary

Modifier and Type	Method and Description
static <T> TypeDescriptor<Array15<T>>	_typeDescriptor()
void	fill(T z)
Array15	fillThenReturn(T z)
T	get(int i0, int i1, int i2, int i3, int i4, int i5, int i6, int i7, int i8, int i9, int i10, int i11, int i12, int i13, int i14)
void	set(int i0, int i1, int i2, int i3, int i4, int i5, int i6, int i7, int i8, int i9, int i10, int i11, int i12, int i13, int i14, 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

dim5

public final int dim5

dim6

public final int dim6

dim7

public final int dim7

dim8

public final int dim8

dim9

public final int dim9

dim10

public final int dim10

dim11

public final int dim11

dim12

public final int dim12

dim13

public final int dim13

dim14

public final int dim14

Constructor Detail

Array15

public Array15(TypeDescriptor<T> elmtType,
               int dim0,
               int dim1,
               int dim2,
               int dim3,
               int dim4,
               int dim5,
               int dim6,
               int dim7,
               int dim8,
               int dim9,
               int dim10,
               int dim11,
               int dim12,
               int dim13,
               int dim14,
               java.lang.Object[][][][][][][][][][][][][][] elmts)

Method Detail

get

public T get(int i0,
             int i1,
             int i2,
             int i3,
             int i4,
             int i5,
             int i6,
             int i7,
             int i8,
             int i9,
             int i10,
             int i11,
             int i12,
             int i13,
             int i14)

set

public void set(int i0,
                int i1,
                int i2,
                int i3,
                int i4,
                int i5,
                int i6,
                int i7,
                int i8,
                int i9,
                int i10,
                int i11,
                int i12,
                int i13,
                int i14,
                T value)

fill

public void fill(T z)

fillThenReturn

public Array15 fillThenReturn(T z)

_typeDescriptor

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