blob: b7571b89b392c8120a4651ed91ac31b44bcedb2b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
// Copyright Yahoo. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
package com.yahoo.javacc;
import java.io.IOException;
/**
* @author Simon Thoresen Hult
*/
public class FastCharStream {
private static final String JAVACC_EXCEPTION_FORMAT = "line -1, column ";
private static final IOException EOF = new IOException();
private final String inputStr;
private final char[] inputArr;
private int tokenPos = 0;
private int readPos = 0;
private int tabSize = 1;
private boolean trackLineColumn = true;
public FastCharStream(String input) {
this.inputStr = input;
this.inputArr = input.toCharArray();
}
public char readChar() throws IOException {
if (readPos >= inputArr.length) {
throw EOF;
}
return inputArr[readPos++];
}
public int getEndColumn() {
return readPos + 1;
}
public int getEndLine() {
return -1; // indicate unset
}
public int getBeginColumn() {
return tokenPos + 1;
}
public int getBeginLine() {
return -1; // indicate unset
}
public void backup(int amount) {
readPos -= amount;
}
public char beginToken() throws IOException {
tokenPos = readPos;
return readChar();
}
public String getImage() {
return inputStr.substring(tokenPos, readPos);
}
@SuppressWarnings("UnusedParameters")
public char[] getSuffix(int len) {
throw new UnsupportedOperationException();
}
public void done() {
}
public void setTabSize(int i) { tabSize = i; }
public int getTabSize() { return tabSize; }
public void setTrackLineColumn(boolean tlc) { trackLineColumn = tlc; }
public boolean isTrackLineColumn() { return trackLineColumn; }
public String formatException(String parseException) {
int errPos = findErrPos(parseException);
if (errPos < 0 || errPos > inputArr.length + 1) {
return parseException;
}
int errLine = 0;
int errColumn = 0;
for (int i = 0; i < errPos - 1; ++i) {
if (inputStr.charAt(i) == '\n') {
++errLine;
errColumn = 0;
} else {
++errColumn;
}
}
StringBuilder out = new StringBuilder();
out.append(parseException.replace(JAVACC_EXCEPTION_FORMAT + errPos,
"line " + (errLine + 1) + ", column " + (errColumn + 1)));
out.append("\nAt position:\n");
appendErrorPosition(errLine, out);
for (int i = 0; i < errColumn; ++i) {
out.append(" ");
}
out.append("^");
return out.toString();
}
private void appendErrorPosition(int errLine, StringBuilder out) {
String[] inputStrLines = inputStr.split("\n");
if (inputStrLines.length<errLine+1) {
out.append("EOF\n");
} else {
out.append(inputStrLines[errLine]).append("\n");
}
}
private static int findErrPos(String str) {
int from = str.indexOf(JAVACC_EXCEPTION_FORMAT);
if (from < 0) {
return -1;
}
from = from + JAVACC_EXCEPTION_FORMAT.length();
int to = from;
while (to < str.length() && Character.isDigit(str.charAt(to))) {
++to;
}
if (to == from) {
return -1;
}
return Integer.valueOf(str.substring(from, to));
}
}
|
