本文整理汇总了Java中com.fujitsu.vdmj.commands.CommandReader.assertFile方法的典型用法代码示例。如果您正苦于以下问题：Java CommandReader.assertFile方法的具体用法？Java CommandReader.assertFile怎么用？Java CommandReader.assertFile使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类com.fujitsu.vdmj.commands.CommandReader的用法示例。
在下文中一共展示了CommandReader.assertFile方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: process
import com.fujitsu.vdmj.commands.CommandReader; //导入方法依赖的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);
}
示例2: process
import com.fujitsu.vdmj.commands.CommandReader; //导入方法依赖的package包/类
private void process(String resource, String aresource) throws Exception
{
Console.out.println("Processing " + resource + "...");
URL rurl = getClass().getResource("/exectest/" + resource);
String file = rurl.getPath();
URL aurl = getClass().getResource("/exectest/" + aresource);
String assertions = aurl.getPath();
long before = System.currentTimeMillis();
LexTokenReader ltr = new LexTokenReader(new File(file), Dialect.VDM_SL);
ModuleReader mr = new ModuleReader(ltr);
ASTModuleList parsed = new ASTModuleList();
parsed.addAll(mr.readModules());
mr.close();
long after = System.currentTimeMillis();
Console.out.println("Parsed " + parsed.size() + " modules in " +
(double)(after-before)/1000 + " secs. ");
mr.printErrors(Console.out);
mr.printWarnings(Console.out);
assertEquals("Parse errors", 0, mr.getErrorCount());
before = System.currentTimeMillis();
TCModuleList checked = ClassMapper.getInstance(TCNode.MAPPINGS).init().convert(parsed);
TypeChecker typeChecker = new ModuleTypeChecker(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());
INModuleList runnable = ClassMapper.getInstance(INNode.MAPPINGS).init().convert(checked);
ModuleInterpreter interpreter = new ModuleInterpreter(runnable, checked);
interpreter.init();
CommandReader reader = new ModuleCommandReader(interpreter, "");
boolean OK = reader.assertFile(new File(assertions));
assertEquals("Execution errors", true, OK);
}
示例3: interpret
import com.fujitsu.vdmj.commands.CommandReader; //导入方法依赖的package包/类
private void interpret(String resource) throws Exception
{
URL url = getClass().getResource("/exectest/" + resource);
String file = url.getPath();
ModuleInterpreter interpreter = new ModuleInterpreter(new INModuleList(), new TCModuleList());
interpreter.init();
CommandReader reader = new ModuleCommandReader(interpreter, "");
boolean OK = reader.assertFile(new File(file));
assertEquals("Execution errors", true, OK);
}