projects
/
sbp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
checkpoint
[sbp.git]
/
src
/
edu
/
berkeley
/
sbp
/
misc
/
CharToken.java
diff --git
a/src/edu/berkeley/sbp/misc/CharToken.java
b/src/edu/berkeley/sbp/misc/CharToken.java
index
93ae7bb
..
e73ccdd
100644
(file)
--- a/
src/edu/berkeley/sbp/misc/CharToken.java
+++ b/
src/edu/berkeley/sbp/misc/CharToken.java
@@
-50,6
+50,8
@@
public class CharToken implements Token, IntegerTopology.IntegerMappable {
return new CharRange(new IntegerTopology<CharToken>(new Range.Set(new Range((int)start, (int)end)).complement().intersect(all)));
}
return new CharRange(new IntegerTopology<CharToken>(new Range.Set(new Range((int)start, (int)end)).complement().intersect(all)));
}
+ public static final CharToken left = new CharToken((char)-3, 0, 0);
+ public static final CharToken right = new CharToken((char)-4, 0, 0);
public static final Atom leftBrace = new Atom(new IntegerTopology<CharToken>(-3)) { public String toString() { return "{"; } };
public static final Atom rightBrace = new Atom(new IntegerTopology<CharToken>(-4)) { public String toString() { return "}"; } };
public static final Atom leftBrace = new Atom(new IntegerTopology<CharToken>(-3)) { public String toString() { return "{"; } };
public static final Atom rightBrace = new Atom(new IntegerTopology<CharToken>(-4)) { public String toString() { return "}"; } };
@@
-89,7
+91,7
@@
public class CharToken implements Token, IntegerTopology.IntegerMappable {
public final char c;
public final Location location;
public final char c;
public final Location location;
- CharToken(char c, int line, int col) { this(c, new CartesianLocation(line, col)); }
+ public CharToken(char c, int line, int col) { this(c, new CartesianLocation(line, col)); }
private CharToken(char c, Location loc) { this.c = c; this.location = loc; }
public String result() { return c+""; }
public Location getLocation() { return location; }
private CharToken(char c, Location loc) { this.c = c; this.location = loc; }
public String result() { return c+""; }
public Location getLocation() { return location; }