public static String getOcamlFind(FileUtil files) { String ocamlfind = "ocamlfind"; String env = files.getEnv().get("K_OCAML_HOME"); if (env != null) { ocamlfind = new File(files.resolveWorkingDirectory(env), "ocamlfind").getAbsolutePath(); } return ocamlfind; }
public void prettyPrint(Definition def, Module module, Consumer<byte[]> print, K result) { print.accept(prettyPrint(def, module, result, options.color(tty.stdout, files.getEnv()))); }
public byte[] prettyPrint(Definition def, Module module, K result) { return prettyPrint(def, module, result, options.color(tty.stdout, files.getEnv())); }
public String unparseTerm(K input, Module test) { return unparseTerm(input, test, options.color(tty.stdout, files.getEnv())); }
private String unparseInternal(Module mod, K input, ColorSetting colorize) { ExpandMacros expandMacros = new ExpandMacros(mod, files, kompileOptions, true); return Formatter.format( new AddBrackets(mod).addBrackets((ProductionReference) ParseInModule.disambiguateForUnparse(mod, KOREToTreeNodes.apply(KOREToTreeNodes.up(mod, expandMacros.expand(input)), mod))), options.color(tty.stdout, files.getEnv())); }