All Packages Class Hierarchy This Package Previous Next Index
Class simple.Tr
java.lang.Object
|
+----simple.Domain
|
+----simple.Tr
- public class Tr
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Tr.
Domain Truth represents boolean values.
The selection operation Tr --> _ [] _ must
be implemented using if. A function of Tr
taking the two possible options would require the
evaluation of the two parameters.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
value
-
-
Tr(Unit)
-
-
and(Tr)
-
-
FALSE()
-
-
inFalse()
-
-
inTrue()
-
-
isFalse()
-
-
isTrue()
-
-
not()
-
-
or(Tr)
-
-
toString()
-
-
TRUE()
-
value
Unit value
Tr
protected Tr(Unit value)
TRUE
public static Tr TRUE()
FALSE
public static Tr FALSE()
inTrue
public static Tr inTrue()
inFalse
public static Tr inFalse()
toString
public String toString()
- Overrides:
- toString in class Object
not
public Tr not()
and
public Tr and(Tr tr)
or
public Tr or(Tr tr)
isTrue
public True isTrue()
isFalse
public False isFalse()
All Packages Class Hierarchy This Package Previous Next Index