frege.runtime

Class Array.Int

java.lang.Object

frege.runtime.Array.Int

Enclosing class:

Array

public static final class Array.Int
extends java.lang.Object

Support for int arrays

Constructor Summary

Constructors

Constructor and Description
Array.Int()

Method Summary

Methods

Modifier and Type	Method and Description
static int	arrayGet(int[] arr, int i) Access array element.
static int	arrayLen(int[] arr) Get array length.
static int[]	arrayNew(int size) Create an array of type int[].
static void	arraySet(int[] arr, int i, int v) Update array destructively.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Array.Int

public Array.Int()

Method Detail

arrayGet

public static final int arrayGet(int[] arr,
           int i)

Access array element.

Parameters:

arr - the int array

i - the index

Returns:

arr[i]

arrayLen

public static final int arrayLen(int[] arr)

Get array length.

Parameters:

arr - the int array

Returns:

arr.length

arrayNew

public static final int[] arrayNew(int size)

Create an array of type int[].

Parameters:

size - the size of the array

arraySet

public static final void arraySet(int[] arr,
            int i,
            int v)

Update array destructively. This method is not pure!

Parameters:

arr - the array

i - index into arr

v - new value to set at index i

Changes the passed array, therefore it is not pure. Because the return type is void there is no way to make the frege compiler believe it is pure.