All Packages Class Hierarchy This Package Previous Next Index
Class simple.Poststore
java.lang.Object
|
+----simple.Domain
|
+----simple.Poststore
- public class Poststore
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Poststore.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
ok
-
-
store
- Holds store
-
Poststore(boolean, Store)
-
-
contentPrint()
-
-
inErr(Store)
-
-
inOk(Store)
-
-
isErr()
-
-
isOk()
-
-
toString()
-
store
Store store
- Holds store
ok
boolean ok
Poststore
protected Poststore(boolean ok,
Store store)
inOk
public static Poststore inOk(Store store)
inErr
public static Poststore inErr(Store store)
isOk
public Store isOk()
isErr
public Store isErr()
contentPrint
public String contentPrint()
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index