if (trimedLine.endsWith("*/")) {
_endLineNum = reader.getLineNumber();
foundHead = false;
+ //Constrcut inst = SpecParser
System.out.println("Spec<" + specIndex + "> Begin: "
+ _beginLine + " End: " + _endLineNum);
specText = new StringBuilder();
}
}
- }
+ }
// At the end we can only find the head "/**" but no tail found
if (foundHead) {
String msg = "In file \"" + file.getAbsolutePath() + "\", line: "
}
}
+ private String readInterfaceDecl(LineNumberReader reader) throws IOException {
+ String res = "", curLine;
+ while ((curLine = reader.readLine()) != null) {
+ int braceIdx = curLine.indexOf(')');
+ if (braceIdx == -1) {
+ res = res + " " + curLine;
+ } else {
+ res = res + curLine.substring(0, braceIdx + 1);
+ }
+ }
+ return res;
+ }
+
private String trimSpace(String line) {
int i, j;
char ch;