All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class simple.Store

java.lang.Object
   |
   +----simple.Domain
           |
           +----simple.Store

public class Store
extends Domain
Formal Semantics of Programming Languages SS 99 1. Exercise Class represents domain Store. Domain Store maps locations to storable-values.

Version:
1.0 (JDK 1.1.7)
Author:
Jürgen Hartl, 9756179 / 881

Variable Index

 o map
 o top

Constructor Index

 o Store(Function, Location)
 o Store(StorableValue, Location)

Method Index

 o access(Location)
 o allocateLocn()
 o contentPrint()
 o deallocateLocn(Location)
 o empty()
 o getStorage(Num, Array)
 o markLocn()
 o toString()
 o update(Location, StorableValue)

Variables

 o map
 Function map
 o top
 Location top

Constructors

 o Store
 protected Store(StorableValue defaultValue,
                 Location top)
 o Store
 protected Store(Function map,
                 Location top)

Methods

 o empty
 public static Store empty()
 o contentPrint
 public String contentPrint()
 o toString
 public String toString()
Overrides:
toString in class Object
 o access
 public StoreaccessValue access(Location l)
 o update
 public Poststore update(Location l,
                         StorableValue sval)
 o markLocn
 public Location markLocn()
 o allocateLocn
 public AllocateLocnResult allocateLocn()
 o deallocateLocn
 public Poststore deallocateLocn(Location l)
 o getStorage
 public GetstorageResult getStorage(Num n,
                                    Array arr)

All Packages  Class Hierarchy  This Package  Previous  Next  Index