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