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