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.Object
public 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.Object
Copyright © 1997-2013 Sablecc. All Rights Reserved.