Compiled: Wed Dec 05 00:00:09 PST 2012 from source file: frege/prelude/Arrays.fr
This package provides basic definitions for the Frege language.
The /Prelude/ packages are imported explicitely or implicetely during compilation of any other package. They define basic data structures, classes and functions.
This package is /implementation specific/ insofar as the compiler may assume that certain items are defined here in a certain way. Changes may thus lead to compiler crashes or java code that will be rejected by the java compiler.
StringSplitter.split a String and return the result in a list
inherited from Cloneable.clone
inherited from Cloneable.freeze
inherited from Cloneable.thaw
inherited from Freezable.withFrozen
inherited from Cloneable.clone
inherited from Cloneable.freeze
inherited from Cloneable.thaw
inherited from Freezable.withFrozen
inherited from Cloneable.clone
inherited from Cloneable.freeze
inherited from Cloneable.thaw
inherited from Freezable.withFrozen
inherited from StringSplitter.splitted
native array of primitive int
get element at index from an immutable array
Create an immutable int array from list of tuples.
The first component of each tuple gives the index, the second one is the value. Array elements not mentioned in the list will be 0.
(IntArr.fromList [(7,42)]).toList == [0,0,0,0,0,0,0,42]
create an immutable int array from a list
create a mutable int array from a list
get element at index from an immutable array
get element at index from a mutable array
get the length of the array
make a new mutable array of given size
set element at index
convert immutable array to list
Fetch array element without checking for null value.
To be used only when it is sure that there are no null values in the array.
create immutable array using frozen result of STArray.fromInxListST
Create a mutable array from a list of tuples (Int, a). The size of the array will be so that it can accomodate the greatest index. Elements whose index does not appear in the list reamin unset, i.e. they are initialised with the null value.
Negative indexes cause java exceptions to be thrown.
create an immutable arra from a list
Create array from (finite) list.
The resulting Array does not contain null values
Fetch array element from a frozen array without checking for null value.
Fetch array element form a frozen array
Fetch array element and return Just v, if it is not a null value, otherwise Nothing
set array element to value v when passed (Just v) or null (Nothing)
Extract all non null elements from an immutable array, togehther with their indexes. For arrays whose last element is not null, the following holds:
fromInxList (toInxList arr) == arr
Collect non-null elements from an immutable array.
native array of native strings
use this only if it is absolutely sure that there are no nulls in the array
the length of the array
make a new mutable string array