public class CharSet
extends java.lang.Object
implements java.lang.Cloneable
| Modifier and Type | Class and Description |
|---|---|
static class |
CharSet.Interval |
static class |
CharSet.IntervalCast |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Vector |
intervals |
| Modifier | Constructor and Description |
|---|---|
|
CharSet(char c) |
|
CharSet(char start,
char end) |
private |
CharSet(java.util.Vector intervals) |
| Modifier and Type | Method and Description |
|---|---|
private void |
add(CharSet.Interval interval) |
java.lang.Object |
clone() |
CharSet |
diff(CharSet chars) |
CharSet.Interval |
findOverlap(CharSet.Interval interval1) |
private void |
remove(CharSet.Interval interval) |
java.lang.String |
toString() |
CharSet |
union(CharSet chars) |
public CharSet(char c)
public CharSet(char start,
char end)
private CharSet(java.util.Vector intervals)
public java.lang.Object clone()
clone in class java.lang.Objectpublic CharSet.Interval findOverlap(CharSet.Interval interval1)
private void remove(CharSet.Interval interval)
private void add(CharSet.Interval interval)
public java.lang.String toString()
toString in class java.lang.ObjectCopyright © 1997-2013 Sablecc. All Rights Reserved.