Package eu.bandm.tools.rdparser

Class TunableParser.ExtensionalCharSet

java.lang.Object

eu.bandm.tools.rdparser.TunableParser.ExtensionalCharSet

All Implemented Interfaces:

TunableParser.CharSet

Enclosing class:

TunableParser<D>

public static class TunableParser.ExtensionalCharSet
extends Object
implements TunableParser.CharSet

Auxiliary class which realizes a character set by a BitSet. Can hold characters only from 0 to 255.

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	name
protected final BitSet	table

Constructor Summary

Constructors

Constructor	Description
ExtensionalCharSet(String name)

Method Summary

Modifier and Type	Method	Description
void	add(char c)
void	add(TunableParser.ExtensionalCharSet s)
void	add(String s)
void	addRange(char a, char b)
boolean	contains(char c)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

name

protected final String name

table

protected final BitSet table

Constructor Details

ExtensionalCharSet

public ExtensionalCharSet(String name)

Method Details

add

public void add(char c)

add

public void add(String s)

addRange

public void addRange(char a,
 char b)

add

public void add(TunableParser.ExtensionalCharSet s)

contains

public boolean contains(char c)

Specified by:

contains in interface TunableParser.CharSet

toString

public String toString()

Overrides:

toString in class Object