jsdsi
Class RangeTag

java.lang.Object
  |
  +--jsdsi.Obj
        |
        +--jsdsi.Tag
              |
              +--jsdsi.ExprTag
                    |
                    +--jsdsi.RangeTag

public class RangeTag
extends ExprTag

A tag that specifies a range of allowed values.

Author:
Sameer Ajmani

Field Summary
 
Fields inherited from class jsdsi.Tag
ALL_TAG, NULL_TAG
 
Constructor Summary
RangeTag(java.lang.String o, java.lang.String u, boolean su, java.lang.String l, boolean sl)
           
 
Method Summary
 boolean equals(java.lang.Object that)
           
 java.lang.String getLowerLimit()
           
 java.lang.String getOrdering()
           
 java.lang.String getUpperLimit()
           
 int hashCode()
           
(package private)  boolean implies(Tag that)
           
 boolean lowerIsStrict()
           
(package private) static RangeTag parseRangeTag(java.util.Iterator tbody)
           
 Sexp toTagSexp()
           
 boolean upperIsStrict()
           
 
Methods inherited from class jsdsi.ExprTag
parseExprTag
 
Methods inherited from class jsdsi.Tag
intersect, parseTag, toSexp
 
Methods inherited from class jsdsi.Obj
parseObj, parseObj, toByteArray, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RangeTag

public RangeTag(java.lang.String o,
                java.lang.String u,
                boolean su,
                java.lang.String l,
                boolean sl)
Method Detail

implies

boolean implies(Tag that)
Specified by:
implies in class Tag

equals

public boolean equals(java.lang.Object that)
Specified by:
equals in class Obj

hashCode

public int hashCode()
Specified by:
hashCode in class Obj

getOrdering

public java.lang.String getOrdering()

getUpperLimit

public java.lang.String getUpperLimit()

getLowerLimit

public java.lang.String getLowerLimit()

upperIsStrict

public boolean upperIsStrict()

lowerIsStrict

public boolean lowerIsStrict()

toTagSexp

public Sexp toTagSexp()
Specified by:
toTagSexp in class Tag

parseRangeTag

static RangeTag parseRangeTag(java.util.Iterator tbody)
                       throws SexpParseException
SexpParseException