本文整理匯總了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);
}