jsdsi
Class ReversePrefixTag

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

All Implemented Interfaces:

java.io.Serializable

public class ReversePrefixTag

extends ExprTag

A tag that matches strings that prefix its own string value, i.e. (tag (* reverse-prefix /my/private)) implies (tag /my) but not (tag /my/private/file)

Version:

$Revision: 1.5 $ $Date: 2004/11/08 12:08:08 $

Author:

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

ReversePrefixTag(java.lang.String value)
Creates a new ReversePrefixTag with a given prefix string.

Method Summary

boolean	equals(java.lang.Object that)
java.lang.String	getValue()
int	hashCode()
Tag	intersect(PrefixTag that)
Tag	intersect(ReversePrefixTag 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

ReversePrefixTag

public ReversePrefixTag(java.lang.String value)

Creates a new ReversePrefixTag with a given prefix string.

Parameters:

value - the string to match against.

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(ReversePrefixTag 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()

getValue

public java.lang.String getValue()

Returns:

the value of this tag.

toTagSexp

public Sexp toTagSexp()

Specified by:

toTagSexp in class Tag