public void saveToWorkingDirectory(String file, byte[] content) { save(resolveWorkingDirectory(file), content); }
public String loadFromWorkingDirectory(String file) { return load(resolveWorkingDirectory(file)); }
public void saveToKompiled(String file, String content) { save(resolveKompiled(file), content); }
@Provides ProcessBuilder pb(@WorkingDir File workingDir, @Environment Map<String, String> env) { return new FileUtil(null, null, workingDir, null, null, env).getProcessBuilder(); }
public void copyTempFileToKompiledDirectory(String fromPath) { copyFileToDirectory(resolveTemp(fromPath), resolveKompiled(".")); }
public void copyTempFileToKompiledFile(String fromPath, String toPath) { copyFile(resolveTemp(fromPath), resolveKompiled(toPath)); }
@Provides @KompiledDir File kompiledDir(@DefinitionDir File defDir, OuterParsingOptions options, @WorkingDir File workingDir, @TempDir File tempDir) { // bootstrap the part of FileUtil we need return new File(defDir, FilenameUtils.removeExtension(options.mainDefinitionFile(new FileUtil(null, null, workingDir, null, null, null)).getName()) + "-kompiled"); } }
@Inject public FileUtil( @TempDir File tempDir, @DefinitionDir @Nullable Provider<File> definitionDir, @WorkingDir File workingDir, @KompiledDir @Nullable Provider<File> kompiledDir, GlobalOptions options, @Environment Map<String, String> env) { this.tempDir = tempDir; this.definitionDir = definitionDir; this.workingDir = workingDir; this.kompiledDir = kompiledDir; this.options = options; this.env = env; }
public void copyTempFileToDefinitionDirectory(String fromPath) { copyFileToDirectory(resolveTemp(fromPath), resolveDefinitionDirectory(".")); }
public String loadFromKompiled(String file) { return load(resolveKompiled(file)); }
public byte[] loadBytesFromTemp(String file) { return loadBytes(resolveTemp(file)); }
@Provides @DefinitionDir File definitionDir(@WorkingDir File workingDir, OuterParsingOptions options) { if (options.directory == null) { // bootstrap the part of FileUtil we need return options.mainDefinitionFile(new FileUtil(null, null, workingDir, null, null, null)).getParentFile(); } File f = new File(options.directory); if (f.isAbsolute()) return f; return new File(workingDir, options.directory); }
public void saveToTemp(String file, String content) { save(resolveTemp(file), content); }
public String loadFromKBase(String file) { return load(resolveKBase(file)); }
FileUtil fileut= new FileUtil(); fileut.openInputFile();
public String loadFromTemp(String file) { return load(resolveTemp(file)); }
public void saveToDefinitionDirectory(String file, String content) { save(resolveDefinitionDirectory(file), content); }
public Z3Wrapper( SMTOptions options, KExceptionManager kem, GlobalOptions globalOptions, FileUtil files, StateLog stateLog) { this.options = options; this.kem = kem; this.globalOptions = globalOptions; this.files = files; this.stateLog = stateLog; String defaultPrelude = "(set-option :auto-config false)\n" + "(set-option :smt.mbqi false)\n"; SMT_PRELUDE = options.smtPrelude == null ? defaultPrelude : files.loadFromWorkingDirectory(options.smtPrelude); CHECK_SAT = options.z3Tactic == null ? "(check-sat)" : "(check-sat-using " + options.z3Tactic + ")"; }
public void saveToWorkingDirectory(String file, String content) { save(resolveWorkingDirectory(file), content); }
public void saveToTemp(String file, byte[] content) { save(resolveTemp(file), content); }