frege.runtime

Class Array

java.lang.Object

frege.runtime.Array

All Implemented Interfaces:

java.lang.Cloneable

public final class Array
extends java.lang.Object
implements java.lang.Cloneable

Mutable array of frege values.

Used to realize type Prelude.Array elem s.

This is not a pure type.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Array.Int Support for int arrays

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.Object[]	j

Constructor Summary

Constructors

Constructor and Description
Array(int size)
Array(java.lang.Object[] arr)

Method Summary

Methods

Modifier and Type	Method and Description
static <T> T	arrayGet(T[] arr, int i) Get array element.
static <T> int	arrayLen(T[] arr) Get array length.
static <T> void	arraySet(T[] arr, int i, T v) Update array destructively.
Array	clone()
java.lang.Object	getAt(int i)
int	length()
void	setAt(int i, java.lang.Object v)

Methods inherited from class java.lang.Object

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

Field Detail

j

private final java.lang.Object[] j

Constructor Detail

Array

public Array(java.lang.Object[] arr)

Array

public Array(int size)

Method Detail

clone

public final Array clone()

Overrides:

clone in class java.lang.Object

length

public final int length()

setAt

public final void setAt(int i,
         java.lang.Object v)

getAt

public final java.lang.Object getAt(int i)

arraySet

public static final <T> void arraySet(T[] arr,
                int i,
                T 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.

arrayGet

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

Get array element.

Parameters:

arr - the array

i - index into arr

Returns:

the value at index i, which may be null

arrayLen

public static final <T> int arrayLen(T[] arr)

Get array length.

Parameters:

arr - the array

Returns:

arr.length