jsdsi
Class PrefixTag

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

public class PrefixTag

extends ExprTag

A tag that matches all strings with a given prefix.

Author:

Sameer Ajmani

Field Summary

Fields inherited from class jsdsi.Tag

ALL_TAG, NULL_TAG

Constructor Summary

PrefixTag(java.lang.String p)

Method Summary

boolean	equals(java.lang.Object that)
java.lang.String	getPrefix()
int	hashCode()
(package private) boolean	implies(Tag that)
(package private) static PrefixTag	parsePrefixTag(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

PrefixTag

public PrefixTag(java.lang.String p)

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

getPrefix

public java.lang.String getPrefix()

toTagSexp

public Sexp toTagSexp()

Specified by:

toTagSexp in class Tag

parsePrefixTag

static PrefixTag parsePrefixTag(java.util.Iterator tbody)
                         throws SexpParseException

SexpParseException