Searched refs:File (Results 1 - 25 of 247) sorted by relevance

12345678910

/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Dupdate_header.scala14 val text0 = File.read(path)
21 File.write_backup2(path, text1)
58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
59 } update_header(section, File.path(file))
H A Dupdate_then.scala14 val text0 = File.read(path)
26 File.write_backup2(path, text1)
52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
53 } update_then(File.path(file))
H A Dupdate_theorems.scala14 val text0 = File.read(path)
27 File.write_backup2(path, text1)
54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
55 } update_theorems(File.path(file))
H A Dmain.scala34 if (!roots.is_file) File.write(roots, """# Additional session root directories
51 val props1 = split_lines(File.read(properties))
53 if (props1 != props2) File.write(properties, cat_lines(props2))
59 File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"),
61 File.write(settings_dir + Path.explode("perspective.xml"),
75 "-settings=" + File.platform_path(Path.explode("$JEDIT_SETTINGS"))
90 args ++ Array(File.platform_path(Path.explode("$USER_HOME/Scratch.thy")))
108 putenv(name, File.platform_path(Isabelle_System.getenv(name)))
115 System.setProperty("jedit.home", File.platform_path(Path.explode("$JEDIT_HOME/dist")))
116 System.setProperty("scala.home", File
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Dupdate_header.scala14 val text0 = File.read(path)
21 File.write_backup2(path, text1)
58 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
59 } update_header(section, File.path(file))
H A Dupdate_then.scala14 val text0 = File.read(path)
26 File.write_backup2(path, text1)
52 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
53 } update_then(File.path(file))
H A Dupdate_theorems.scala14 val text0 = File.read(path)
27 File.write_backup2(path, text1)
54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy"))
55 } update_theorems(File.path(file))
H A Dmain.scala34 if (!roots.is_file) File.write(roots, """# Additional session root directories
51 val props1 = split_lines(File.read(properties))
53 if (props1 != props2) File.write(properties, cat_lines(props2))
59 File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"),
61 File.write(settings_dir + Path.explode("perspective.xml"),
75 "-settings=" + File.platform_path(Path.explode("$JEDIT_SETTINGS"))
90 args ++ Array(File.platform_path(Path.explode("$USER_HOME/Scratch.thy")))
108 putenv(name, File.platform_path(Isabelle_System.getenv(name)))
115 System.setProperty("jedit.home", File.platform_path(Path.explode("$JEDIT_HOME/dist")))
116 System.setProperty("scala.home", File
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A DMakefile7 ln -fs ../minisat/File.o
8 ln -fs ../minisat/File.h
13 g++ -O3 Proof.o File.o zc2hs.cpp -o zc2hs
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dbuild_release.scala56 File.write(file, f(File.read(file)))
104 File.write(release.isabelle_dir + Path.explode("ANNOUNCE"),
129 Symbol.decode(File.read(other_isabelle.isabelle_home + Path.explode("NEWS"))))))
162 File.append(Components.components(dir),
168 line <- split_lines(File.read(path))
205 File.write(Components.contrib(dir, "README"),
238 execute_tar(local_dir, "-cf " + File.bash_path(local_tmp_tar) + " .")
245 "cd " + File.bash_path(remote_dir),
252 execute_tar(local_dir, "-xf " + File
[all...]
H A Dother_isabelle.scala41 "export USER_HOME=" + File.bash_path(user_home) + "\n" +
66 foreach(entry => File.copy(entry.path, target_dir))
78 "init_components " + File.bash_path(components_base) + " " +
79 File.bash_path(dir + Path.basic(name))) :::
81 "init_component " + File.bash_path(components_base + Path.basic(name)))
89 else if (File.read(etc_settings).startsWith("# generated by Isabelle")) {
100 File.write(etc_settings,
H A Dbuild_cygwin.scala36 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror)
38 File.set_executable(cygwin_exe, true)
39 Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check
43 File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" +
45 " --root " + Bash.string(File.platform_path(cygwin)) +
H A Dbuild_jdk.scala10 import java.io.{File => JFile}
41 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out
102 "unzip -x " + File.bash_path(archive.absolute), cwd = tmp_dir.file).check
105 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check
109 File.read_dir(tmp_dir).filterNot(suppress_name(_)) match {
122 File.link(Path.current, jdk_dir + Path.explode(platform.home) + Path.explode("jre"))
124 File.move(jdk_dir, platform_dir)
164 File.write(Components.settings(component_dir), settings)
165 File.write(component_dir + Path.explode("README"), readme(version))
168 File
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dbuild_release.scala56 File.write(file, f(File.read(file)))
104 File.write(release.isabelle_dir + Path.explode("ANNOUNCE"),
129 Symbol.decode(File.read(other_isabelle.isabelle_home + Path.explode("NEWS"))))))
162 File.append(Components.components(dir),
168 line <- split_lines(File.read(path))
205 File.write(Components.contrib(dir, "README"),
238 execute_tar(local_dir, "-cf " + File.bash_path(local_tmp_tar) + " .")
245 "cd " + File.bash_path(remote_dir),
252 execute_tar(local_dir, "-xf " + File
[all...]
H A Dother_isabelle.scala41 "export USER_HOME=" + File.bash_path(user_home) + "\n" +
66 foreach(entry => File.copy(entry.path, target_dir))
78 "init_components " + File.bash_path(components_base) + " " +
79 File.bash_path(dir + Path.basic(name))) :::
81 "init_component " + File.bash_path(components_base + Path.basic(name)))
89 else if (File.read(etc_settings).startsWith("# generated by Isabelle")) {
100 File.write(etc_settings,
H A Dbuild_cygwin.scala36 File.write(cygwin_isabelle + Path.explode("cygwin_mirror"), mirror)
38 File.set_executable(cygwin_exe, true)
39 Isabelle_System.bash(File.bash_path(cygwin_exe) + " -h </dev/null >/dev/null").check
43 File.bash_path(cygwin_exe) + " --site " + Bash.string(mirror) + " --no-verify" +
45 " --root " + Bash.string(File.platform_path(cygwin)) +
H A Dbuild_jdk.scala10 import java.io.{File => JFile}
41 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out
102 "unzip -x " + File.bash_path(archive.absolute), cwd = tmp_dir.file).check
105 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check
109 File.read_dir(tmp_dir).filterNot(suppress_name(_)) match {
122 File.link(Path.current, jdk_dir + Path.explode(platform.home) + Path.explode("jre"))
124 File.move(jdk_dir, platform_dir)
164 File.write(Components.settings(component_dir), settings)
165 File.write(component_dir + Path.explode("README"), readme(version))
168 File
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DProof.h24 #include "File.h"
46 File fp;
72 ClauseId parseRoot (vec<Lit>& clause, File& fp, uint64 tmp, std::ofstream* fout = NULL);
73 void parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id, std::ofstream* fout = NULL);
75 ClauseId parseRoot (vec<Lit>& clause, File& fp, uint64 tmp);
76 void parseChain(vec<ClauseId>& chain_id, vec<Var>& chain_var, File& fp, uint64 tmp, ClauseId id);
H A DFile.h31 class File { class
41 File(void) : DEFAULTS {} function in class:File
43 File(int fd, FileMode mode, bool own_fd = true) : DEFAULTS { function in class:File
46 File(cchar* name, cchar* mode) : DEFAULTS { function in class:File
50 ~File(void) {
61 // Don't run UNIX function 'close()' on descriptor in 'File's 'close()'.
133 void putUInt (File& out, uint64 val);
134 uint64 getUInt (File& in) throw(Exception_EOF);
137 static inline void putInt (File& out, int64 val) { putUInt(out, encode64(val)); }
138 static inline uint64 getInt (File
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake_tools.sig6 datatype File = datatype Holmake_tools_dtype.File type
89 (* File IO *)
90 val string_part : File -> string
92 val toFile : string -> File
95 val fromFile : File -> string
96 val fromFileNoSuf : File -> string
97 val file_compare : File * File -> order
98 val primary_dependent : File
[all...]
H A DHM_GraphBuildJ1.sig4 type File = Holmake_tools.File type
7 (dep,'a) Holmake_tools.buildcmds -> File -> bool
/seL4-l4v-master/HOL4/src/finite_maps/
H A DtcTacs.sig0 (* File: tcTacs.sig Author: F.L.Morris created 9/6/13 *)
/seL4-l4v-master/HOL4/src/integer/
H A DinttoTacs.sig0 (* File: inttoTacs.sig Author: F.L.Morris created 12/13/13 *)
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dcsv.scala26 sealed case class File(name: String, header: List[String], records: List[Record])
31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dcsv.scala26 sealed case class File(name: String, header: List[String], records: List[Record])
31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }

Completed in 177 milliseconds

12345678910