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

Variable Index

 o firstPosition
Holds first store position
 o position
Holds store position

Constructor Index

 o Location(long)

Method Index

 o equal(Location)
 o equalObject(Domain)
 o first()
 o greaterEqualThan(Location)
 o greaterThan(Location)
 o lessEqualThan(Location)
 o lessThan(Location)
 o next()
 o toString()
 o unequal(Location)

Variables

 o firstPosition
 static final Location firstPosition
Holds first store position

 o position
 long position
Holds store position

Constructors

 o Location
 protected Location(long position)

Methods

 o equalObject
 boolean equalObject(Domain obj)
Overrides:
equalObject in class Domain
 o first
 public static Location first()
 o toString
 public String toString()
Overrides:
toString in class Object
 o next
 public Location next()
 o equal
 public Tr equal(Location l)
 o lessThan
 public Tr lessThan(Location l)
 o lessEqualThan
 public Tr lessEqualThan(Location l)
 o greaterThan
 public Tr greaterThan(Location l)
 o greaterEqualThan
 public Tr greaterEqualThan(Location l)
 o unequal
 public Tr unequal(Location l)

All Packages  Class Hierarchy  This Package  Previous  Next  Index