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
Constructor Summary |
RangeTag(java.lang.String o,
java.lang.String u,
boolean su,
java.lang.String l,
boolean sl)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
RangeTag
public RangeTag(java.lang.String o,
java.lang.String u,
boolean su,
java.lang.String l,
boolean sl)
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