lmf.formula.csp.util
Class Region

java.lang.Object
  extended by lmf.formula.csp.util.Location
      extended by lmf.formula.csp.util.Region

public final class Region
extends Location

Region.

Author:
Joabe Jesus (jbjj@cin.ufpe.br)

Constructor Summary
Region(int line, int pos, int line2, int pos2)
           
 
Method Summary
 Location getEndLocation()
           
 Location getStartLocation()
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.util.Location
getLine, getPos
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Region

public Region(int line,
              int pos,
              int line2,
              int pos2)
Method Detail

getStartLocation

public Location getStartLocation()

getEndLocation

public Location getEndLocation()

toString

public java.lang.String toString()
Overrides:
toString in class Location