jsdsi
Class PrefixTag

java.lang.Object
  jsdsi.Obj
      jsdsi.Tag
          jsdsi.ExprTag
              jsdsi.PrefixTag

All Implemented Interfaces:

java.io.Serializable

public class PrefixTag

extends ExprTag

A tag that matches all strings with a given prefix.

Version:

$Revision: 1.5.2.1 $ $Date: 2005/11/08 03:12:52 $

Author:

Sameer Ajmani, Sean Radford

See Also:

Serialized Form

Field Summary

Fields inherited from class jsdsi.Tag

ALL_TAG, NULL_TAG

Fields inherited from class jsdsi.Obj

_obj

Constructor Summary

PrefixTag(java.lang.String p)
Creates a new PrefixTag wit ha given prefix string.

Method Summary

boolean	equals(java.lang.Object that)
java.lang.String	getPrefix() Returns the prefix of this tag.
int	hashCode()
Tag	intersect(PrefixTag that)
Tag	intersect(StringTag that)
Tag	intersect(Tag that) Intersects this Tag with another one and returns the result.
Sexp	toTagSexp()

Methods inherited from class jsdsi.Tag

implies, toSexp

Methods inherited from class jsdsi.Obj

parseObj, parseObj, readResolve, toByteArray, toString, toString, toTransport

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PrefixTag

public PrefixTag(java.lang.String p)

Creates a new PrefixTag wit ha given prefix string.

Parameters:

p - the prefix string.

Method Detail

intersect

public Tag intersect(Tag that)

Description copied from class: Tag

Intersects this Tag with another one and returns the result.

Specified by:

intersect in class Tag

Parameters:

that - tag to intersect this with.

Returns:

the intersection of this Tag and that.

See Also:

Tag.intersect(Tag)

intersect

public Tag intersect(PrefixTag that)

See Also:

Tag.intersect(Tag)

intersect

public Tag intersect(StringTag that)

See Also:

Tag.intersect(Tag)

equals

public boolean equals(java.lang.Object that)

Specified by:

equals in class Obj

See Also:

Object.equals(Object)

hashCode

public int hashCode()

Specified by:

hashCode in class Obj

See Also:

Object.hashCode()

getPrefix

public java.lang.String getPrefix()

Returns the prefix of this tag.

Returns:

the prefix of this tag.

toTagSexp

public Sexp toTagSexp()

Specified by:

toTagSexp in class Tag