eu.bandm.tools.util2

Class TunableParser.ExtensionalCharSet

java.lang.Object

eu.bandm.tools.util2.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 and Description
protected String	name
protected BitSet	table

Constructor Summary

Constructors

Constructor and Description
ExtensionalCharSet(String name)

Method Summary

Modifier and Type	Method and Description
void	add(char c)
void	add(String s)
void	add(TunableParser.ExtensionalCharSet 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 Detail

name

protected final String name

table

protected final BitSet table

Constructor Detail

ExtensionalCharSet

public ExtensionalCharSet(String name)

Method Detail

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