public void runApp(String inputFile) throws Exception {
/** 载入程序所需的公理 */
axiomSet = loadAxiom();
long start = System.currentTimeMillis();
/** 把输入的汇编代码翻译成对应的指称语义形式 */
codeSet = createCodeSet(inputFile, axiomSet);
if (null == codeSet || 0 == codeSet.size()) return;
/** 基于指称语义进行推导 */
semanSrc = Tool.cloneSemanFromCodeSet(codeSet);
result = verificationProcess(semanSrc);
long end = System.currentTimeMillis();
// Tool.saveResult(inputFile, result);
Tool.printCodeSemantic(codeSet);
System.out.println("**************************************************");
Tool.printSemanticList(result);
System.out.println("\n计算和推导耗时：" + (end - start) + " ms");
}
