All Packages Class Hierarchy This Package Previous Next Index
Class simple.Array
java.lang.Object
|
+----simple.Domain
|
+----simple.Array
- public class Array
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Array.
Domain Array maps positive integers to referenceable-values
limited by upper boundary value.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
map
-
-
upper
-
-
Array(Function, Num)
-
-
Array(ReferenceableValue, Num)
-
-
access(Num)
-
-
augment(Num, ReferenceableValue)
-
-
empty(Num)
-
-
length()
-
map
Function map
upper
Num upper
Array
protected Array(ReferenceableValue defaultValue,
Num upper)
Array
protected Array(Function map,
Num upper)
empty
public static Array empty(Num upper)
augment
public Array augment(Num n,
ReferenceableValue rval)
access
public ReferenceableValue access(Num n)
length
public Num length()
All Packages Class Hierarchy This Package Previous Next Index