jsdsi
Class SetTag

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

public class SetTag
extends ExprTag

A tag that specifies a set of allowed values.

Author:
Sameer Ajmani

Field Summary
 
Fields inherited from class jsdsi.Tag
ALL_TAG, NULL_TAG
 
Constructor Summary
SetTag(ExprTag[] e)
           
 
Method Summary
 boolean equals(java.lang.Object that)
           
 ExprTag[] getElements()
           
 int hashCode()
           
(package private)  boolean implies(Tag that)
           
(package private) static SetTag parseSetTag(java.util.Iterator tbody)
           
 Sexp toTagSexp()
           
 
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

SetTag

public SetTag(ExprTag[] e)
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

getElements

public ExprTag[] getElements()

toTagSexp

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

parseSetTag

static SetTag parseSetTag(java.util.Iterator tbody)
                   throws SexpParseException
SexpParseException