public static void main(String[] args) throws Exception {
System.out.println("input file path");
// path:文件绝对路径
String path = "D:\\develop\\texdata\\积分表.tex";
// 初始化输入
PreMath prm = new PreMath();
// 将预处理的字符串写入临时文件$path.tmp
prm.process(path);
System.out.println("input file path over");
MathNode mn = new MathNode("=");
MathNode mnl = new MathNode("x");
MathNode mnr = new MathNode("1");
mn.LNode = mnl;
mn.RNode = mnr;
mn.pnode();
Test ts = new Test();
ts.strcmp("asd", "d");
/*
// Scanner scanner = new Scanner(ipts);
// create a CharStream that reads from standard input
ANTLRInputStream input = new ANTLRInputStream(System.in);
// create a lexer that feeds off of input CharStream
antlrtLexer lexer = new antlrtLexer(input);
// create a buffer of tokens pulled from the lexer
CommonTokenStream tokens = new CommonTokenStream(lexer);
// create a parser that feeds off the tokens buffer
antlrtParser parser = new antlrtParser(tokens);
// begin parsing at rule rule
parser.prog();
*/
}
protected static String getMethodName(Test test) {
String className;
String desc = test.toString();
Matcher matcher = methodpattern.matcher(desc);
if (matcher.matches()) {
className = matcher.group(1);
} else {
className = desc;
}
return className;
}
public void addFailure(Test test, AssertionFailedError t) {
StringBuffer sb = new StringBuffer();
sb.append(test.toString());
sb.append("\n");
StringWriter sw = new StringWriter();
t.printStackTrace(new PrintWriter(sw, true));
sb.append(sw.toString());
Log.getLogWriter().severe("zzzzzFAILURE IN " + test, t);
// reportFailure(test, sb.toString());
lastFailClass = getClassName(test);
lastFailMethod = getMethodName(test);
lastThrowable = t;
}
public void startTest(Test test) {
this.startTime = System.currentTimeMillis();
String s = "zzzzzSTART " + test;
Log.getLogWriter().info(s);
testInProgress = test.toString();
}
