All Packages Class Hierarchy This Package Previous Next Index
Class simple.ReferenceableValue
java.lang.Object
|
+----simple.Domain
|
+----simple.ReferenceableValue
- public class ReferenceableValue
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Referenceable-value.
Domain Referenceable-value represents values,
that can be denoted by arrays.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
value
-
-
ReferenceableValue(Domain)
-
-
inErrvalue()
-
-
inLocation(Location)
-
-
isErrvalue()
-
-
isLocation()
-
-
toString()
-
value
Domain value
ReferenceableValue
protected ReferenceableValue(Domain value)
inLocation
public static ReferenceableValue inLocation(Location l)
inErrvalue
public static ReferenceableValue inErrvalue()
toString
public String toString()
- Overrides:
- toString in class Object
isLocation
public Location isLocation()
isErrvalue
public Errvalue isErrvalue()
All Packages Class Hierarchy This Package Previous Next Index