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

Variable Index

 o map
 o upper

Constructor Index

 o Array(Function, Num)
 o Array(ReferenceableValue, Num)

Method Index

 o access(Num)
 o augment(Num, ReferenceableValue)
 o empty(Num)
 o length()

Variables

 o map
 Function map
 o upper
 Num upper

Constructors

 o Array
 protected Array(ReferenceableValue defaultValue,
                 Num upper)
 o Array
 protected Array(Function map,
                 Num upper)

Methods

 o empty
 public static Array empty(Num upper)
 o augment
 public Array augment(Num n,
                      ReferenceableValue rval)
 o access
 public ReferenceableValue access(Num n)
 o length
 public Num length()

All Packages  Class Hierarchy  This Package  Previous  Next  Index