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

Variable Index

 o ok
 o store
Holds store

Constructor Index

 o Poststore(boolean, Store)

Method Index

 o contentPrint()
 o inErr(Store)
 o inOk(Store)
 o isErr()
 o isOk()
 o toString()

Variables

 o store
 Store store
Holds store

 o ok
 boolean ok

Constructors

 o Poststore
 protected Poststore(boolean ok,
                     Store store)

Methods

 o inOk
 public static Poststore inOk(Store store)
 o inErr
 public static Poststore inErr(Store store)
 o isOk
 public Store isOk()
 o isErr
 public Store isErr()
 o contentPrint
 public String contentPrint()
 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index