All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----simple.Domain | +----simple.Store
Function map
Location top
protected Store(StorableValue defaultValue, Location top)
protected Store(Function map, Location top)
public static Store empty()
public String contentPrint()
public String toString()
public StoreaccessValue access(Location l)
public Poststore update(Location l, StorableValue sval)
public Location markLocn()
public AllocateLocnResult allocateLocn()
public Poststore deallocateLocn(Location l)
public GetstorageResult getStorage(Num n, Array arr)
All Packages Class Hierarchy This Package Previous Next Index