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

Variable Index

 o value

Constructor Index

 o Tr(Unit)

Method Index

 o and(Tr)
 o FALSE()
 o inFalse()
 o inTrue()
 o isFalse()
 o isTrue()
 o not()
 o or(Tr)
 o toString()
 o TRUE()

Variables

 o value
 Unit value

Constructors

 o Tr
 protected Tr(Unit value)

Methods

 o TRUE
 public static Tr TRUE()
 o FALSE
 public static Tr FALSE()
 o inTrue
 public static Tr inTrue()
 o inFalse
 public static Tr inFalse()
 o toString
 public String toString()
Overrides:
toString in class Object
 o not
 public Tr not()
 o and
 public Tr and(Tr tr)
 o or
 public Tr or(Tr tr)
 o isTrue
 public True isTrue()
 o isFalse
 public False isFalse()

All Packages  Class Hierarchy  This Package  Previous  Next  Index