本文整理汇总了Java中com.fujitsu.vdmj.commands.ClassCommandReader类的典型用法代码示例。如果您正苦于以下问题:Java ClassCommandReader类的具体用法?Java ClassCommandReader怎么用?Java ClassCommandReader使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
ClassCommandReader类属于com.fujitsu.vdmj.commands包,在下文中一共展示了ClassCommandReader类的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: process
import com.fujitsu.vdmj.commands.ClassCommandReader; //导入依赖的package包/类
private void process(String resource, String aresource) throws Exception
{
Console.out.println("Processing " + resource + "...");
URL rurl = getClass().getResource("/VDMBook/" + resource);
String file = rurl.getPath();
URL aurl = getClass().getResource("/VDMBook/" + aresource);
String assertions = aurl.getPath();
long before = System.currentTimeMillis();
ASTClassList parsed = parseClasses(file);
long after = System.currentTimeMillis();
Console.out.println("Parsed " + parsed.size() + " classes in " +
(double)(after-before)/1000 + " secs. ");
before = System.currentTimeMillis();
TCClassList checked = ClassMapper.getInstance(TCNode.MAPPINGS).init().convert(parsed);
TypeChecker typeChecker = new ClassTypeChecker(checked);
typeChecker.typeCheck();
after = System.currentTimeMillis();
Console.out.println("Type checked in " + (double)(after-before)/1000 + " secs. ");
Console.out.println("There were " + TypeChecker.getWarningCount() + " warnings");
TypeChecker.printErrors(Console.out);
assertEquals("Type check errors", 0, TypeChecker.getErrorCount());
INClassList runnable = ClassMapper.getInstance(INNode.MAPPINGS).init().convert(checked);
ClassInterpreter interpreter = new ClassInterpreter(runnable, checked);
interpreter.init();
CommandReader reader = new ClassCommandReader(interpreter, "");
boolean OK = reader.assertFile(new File(assertions));
assertEquals("Execution errors", true, OK);
}