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