All Packages Class Hierarchy This Package Previous Next Index
Class simple.StoreaccessValue
java.lang.Object
|
+----simple.Domain
|
+----simple.StoreaccessValue
- public class StoreaccessValue
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Storeaccess-value = Storable-value + Errvalue.
Domain Storeaccess-value represents values,
that can be results of store accesses:
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
value
-
-
StoreaccessValue(Domain)
-
-
inErrvalue()
-
-
inStorableValue(StorableValue)
-
-
isErrvalue()
-
-
isStorableValue()
-
-
toString()
-
value
Domain value
StoreaccessValue
protected StoreaccessValue(Domain value)
inStorableValue
public static StoreaccessValue inStorableValue(StorableValue sval)
inErrvalue
public static StoreaccessValue inErrvalue()
toString
public String toString()
- Overrides:
- toString in class Object
isStorableValue
public StorableValue isStorableValue()
isErrvalue
public Errvalue isErrvalue()
All Packages Class Hierarchy This Package Previous Next Index