public KPrint(KompileOptions kompileOptions) { this(new KExceptionManager(kompileOptions.global), FileUtil.testFileUtil(), new TTYInfo(false, false, false), new PrintOptions(), kompileOptions); }
public KPrint() { this(new KExceptionManager(new GlobalOptions()), FileUtil.testFileUtil(), new TTYInfo(false, false, false), new PrintOptions(), new KompileOptions()); }
@Test @Ignore public void testLarger() throws Exception { byte[] kast = FileUtil.testFileUtil().loadBytes(new File("/home/dwightguth/c-semantics/tmp-kcc-FzjROvt")); K result = BinaryParser.parse(kast); System.out.println(ToKast.apply(result)); } }
private RuleGrammarGenerator makeRuleGrammarGenerator() { String definitionText; FileUtil files = FileUtil.testFileUtil(); ParserUtils parser = new ParserUtils(files::resolveWorkingDirectory, new KExceptionManager(new GlobalOptions())); File definitionFile = new File(Kompile.BUILTIN_DIRECTORY.toString() + "/kast.k"); definitionText = files.loadFromWorkingDirectory(definitionFile.getPath()); Definition baseK = parser.loadDefinition("K", "K", definitionText, definitionFile, definitionFile.getParentFile(), Lists.newArrayList(Kompile.BUILTIN_DIRECTORY), false, false); return new RuleGrammarGenerator(baseK); }
public RuleGrammarGenerator makeRuleGrammarGenerator() { String definitionText; FileUtil files = FileUtil.testFileUtil(); ParserUtils parser = new ParserUtils(files::resolveWorkingDirectory, new KExceptionManager(new GlobalOptions())); File definitionFile = new File(Kompile.BUILTIN_DIRECTORY.toString() + "/kast.k"); definitionText = files.loadFromWorkingDirectory(definitionFile.getPath()); Definition baseK = parser.loadDefinition("K", "K", definitionText, definitionFile, definitionFile.getParentFile(), Lists.newArrayList(Kompile.BUILTIN_DIRECTORY), false, false); return new RuleGrammarGenerator(baseK); }
public RuleGrammarGenerator makeRuleGrammarGenerator() { String definitionText; FileUtil files = FileUtil.testFileUtil(); ParserUtils parser = new ParserUtils(files::resolveWorkingDirectory, new KExceptionManager(new GlobalOptions())); File definitionFile = new File(Kompile.BUILTIN_DIRECTORY.toString() + "/kast.k"); definitionText = files.loadFromWorkingDirectory(definitionFile.getPath()); Definition baseK = parser.loadDefinition("K", "K", definitionText, definitionFile, definitionFile.getParentFile(), Lists.newArrayList(Kompile.BUILTIN_DIRECTORY), false, false); return new RuleGrammarGenerator(baseK); }
@Before public void setUp() { String definitionText; FileUtil files = FileUtil.testFileUtil(); ParserUtils parser = new ParserUtils(files::resolveWorkingDirectory, new KExceptionManager(new GlobalOptions())); File definitionFile = new File(Kompile.BUILTIN_DIRECTORY.toString() + "/kast.k"); definitionText = files.loadFromWorkingDirectory(definitionFile.getPath()); def = parser.loadDefinition("K", "K", definitionText, definitionFile, definitionFile.getParentFile(), Lists.newArrayList(Kompile.BUILTIN_DIRECTORY), false, false); }