--- a/src/Tools/jEdit/src/proofdocument/Token.scala Thu Mar 05 10:53:47 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/Token.scala Thu Mar 05 16:40:49 2009 +0100
@@ -38,8 +38,9 @@
}
-class Token(var start: Int, val content: String, val kind: Token.Kind.Value) {
+class Token(val start: Int, val content: String, val kind: Token.Kind.Value) {
val length = content.length
- def stop = start + length
+ val stop = start + length
override def toString = content + "(" + kind + ")"
+ def shift(i: Int) = new Token(start + i, content, kind)
}