All Packages Class Hierarchy This Package Previous Next Index
Class simple.Num
java.lang.Object
|
+----simple.Domain
|
+----simple.Num
- public class Num
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Num.
Domain Num represents integer numbers.
Not an instance of a class represents the value but the value attribute.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
O
-
-
value
- Holds value of number.
-
Z
-
-
Num(ConstantValue)
-
-
Num(long)
-
-
Num(StorableValue)
-
-
dividedBy(Num)
-
-
equal(Num)
-
-
equalObject(Domain)
-
-
greaterEqualThan(Num)
-
-
greaterThan(Num)
-
-
lessEqualThan(Num)
-
-
lessThan(Num)
-
-
minus(Num)
-
-
modulo(Num)
-
-
negate()
-
-
ONE()
-
-
plus(Num)
-
-
times(Num)
-
-
toString()
-
-
unequal(Num)
-
-
ZERO()
-
Z
static final Num Z
O
static final Num O
value
long value
- Holds value of number.
Num
public Num(long value)
Num
public Num(StorableValue sval)
Num
public Num(ConstantValue cval)
equalObject
boolean equalObject(Domain obj)
- Overrides:
- equalObject in class Domain
ZERO
public static Num ZERO()
ONE
public static Num ONE()
toString
public String toString()
- Overrides:
- toString in class Object
negate
public Num negate()
plus
public Num plus(Num operand)
times
public Num times(Num operand)
minus
public Num minus(Num operand)
dividedBy
public Num dividedBy(Num operand)
modulo
public Num modulo(Num operand)
equal
public Tr equal(Num operand)
lessThan
public Tr lessThan(Num operand)
lessEqualThan
public Tr lessEqualThan(Num operand)
greaterThan
public Tr greaterThan(Num operand)
greaterEqualThan
public Tr greaterEqualThan(Num operand)
unequal
public Tr unequal(Num operand)
All Packages Class Hierarchy This Package Previous Next Index