All Packages Class Hierarchy This Package Previous Next Index
Class simple.AllocateLocnResult
java.lang.Object
|
+----simple.Domain
|
+----simple.AllocateLocnResult
- public class AllocateLocnResult
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Allocate-locn-result = Location x Poststore.
Domain Allocate-locn-result is a product domain
representing pairs of (Location, Poststore),
that are results of allocate-locn store operation.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
l
-
-
p
-
-
AllocateLocnResult(Location, Poststore)
-
-
toString()
-
l
Location l
p
Poststore p
AllocateLocnResult
AllocateLocnResult(Location l,
Poststore p)
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index