All Packages Class Hierarchy This Package Previous Next Index
Class simple.Location
java.lang.Object
|
+----simple.Domain
|
+----simple.Location
- public class Location
- extends Domain
Formal Semantics of Programming Languages
SS 99
1. Exercise
Class represents domain Location.
Domain Location represents computer store locations.
- Version:
- 1.0 (JDK 1.1.7)
- Author:
- Jürgen Hartl, 9756179 / 881
-
firstPosition
- Holds first store position
-
position
- Holds store position
-
Location(long)
-
-
equal(Location)
-
-
equalObject(Domain)
-
-
first()
-
-
greaterEqualThan(Location)
-
-
greaterThan(Location)
-
-
lessEqualThan(Location)
-
-
lessThan(Location)
-
-
next()
-
-
toString()
-
-
unequal(Location)
-
firstPosition
static final Location firstPosition
- Holds first store position
position
long position
- Holds store position
Location
protected Location(long position)
equalObject
boolean equalObject(Domain obj)
- Overrides:
- equalObject in class Domain
first
public static Location first()
toString
public String toString()
- Overrides:
- toString in class Object
next
public Location next()
equal
public Tr equal(Location l)
lessThan
public Tr lessThan(Location l)
lessEqualThan
public Tr lessEqualThan(Location l)
greaterThan
public Tr greaterThan(Location l)
greaterEqualThan
public Tr greaterEqualThan(Location l)
unequal
public Tr unequal(Location l)
All Packages Class Hierarchy This Package Previous Next Index