Searched refs:dir (Results 1 - 25 of 191) sorted by relevance

12345678

/seL4-l4v-master/isabelle/src/Pure/General/
H A Dfile_watcher.scala20 def register(dir: JFile) { }
22 def deregister(dir: JFile) { }
55 override def register(dir: JFile): Unit =
57 st.dirs.get(dir) match {
60 val key = dir.toPath.register(watcher, ENTRY_CREATE, ENTRY_DELETE, ENTRY_MODIFY)
61 st.copy(dirs = st.dirs + (dir -> key))
66 val dir = file.getParentFile
67 if (dir != null && dir.isDirectory) register(dir)
[all...]
H A Dcsv.scala31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dfile_watcher.scala20 def register(dir: JFile) { }
22 def deregister(dir: JFile) { }
55 override def register(dir: JFile): Unit =
57 st.dirs.get(dir) match {
60 val key = dir.toPath.register(watcher, ENTRY_CREATE, ENTRY_DELETE, ENTRY_MODIFY)
61 st.copy(dirs = st.dirs + (dir -> key))
66 val dir = file.getParentFile
67 if (dir != null && dir.isDirectory) register(dir)
[all...]
H A Dcsv.scala31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
/seL4-l4v-master/l4v/misc/zsh/
H A Disabelle_session_names.py41 def get(dir):
44 root = strip_comments(''.join(open(dir + '/ROOT').readlines()))
49 roots = [l.strip() for l in open(dir + '/ROOTS').readlines() if l.strip()[:1] != '#']
51 sessions += get(dir + '/' + dir2)
62 for dir in sys.argv[1:]:
63 sessions += get(dir)
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dcomponents.scala43 def admin(dir: Path): Path = dir + Path.explode("Admin/components")
45 def contrib(dir: Path = Path.current, name: String = ""): Path =
46 dir + Path.explode("contrib") + Path.explode(name)
48 def unpack(dir: Path, archive: Path, progress: Progress = No_Progress): String =
52 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = dir).check
70 for (dir <- copy_dir) {
71 Isabelle_System.mkdirs(dir)
72 File.copy(archive, dir)
[all...]
H A Dbuild_jdk.scala94 def extract_archive(dir: Path, archive: Path): (String, JDK_Platform) =
97 val tmp_dir = dir + Path.explode("tmp")
105 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check
119 val platform_dir = dir + Path.explode(platform.name)
141 Isabelle_System.with_tmp_dir("jdk")(dir =>
144 val extracted = archives.map(extract_archive(dir, _))
161 val component_dir = dir + jdk_path
168 File.move(dir + Path.explode(platform.name), component_dir)
208 dir = dir)
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dcomponents.scala43 def admin(dir: Path): Path = dir + Path.explode("Admin/components")
45 def contrib(dir: Path = Path.current, name: String = ""): Path =
46 dir + Path.explode("contrib") + Path.explode(name)
48 def unpack(dir: Path, archive: Path, progress: Progress = No_Progress): String =
52 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = dir).check
70 for (dir <- copy_dir) {
71 Isabelle_System.mkdirs(dir)
72 File.copy(archive, dir)
[all...]
H A Dbuild_jdk.scala94 def extract_archive(dir: Path, archive: Path): (String, JDK_Platform) =
97 val tmp_dir = dir + Path.explode("tmp")
105 Isabelle_System.gnutar("-xzf " + File.bash_path(archive), dir = tmp_dir).check
119 val platform_dir = dir + Path.explode(platform.name)
141 Isabelle_System.with_tmp_dir("jdk")(dir =>
144 val extracted = archives.map(extract_archive(dir, _))
161 val component_dir = dir + jdk_path
168 File.move(dir + Path.explode(platform.name), component_dir)
208 dir = dir)
[all...]
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml46 fun find_heapname dir file =
48 val _ = mkDir_err dir
50 val fileout = dir ^ "/heapname_" ^ bare file
53 cmd_in_dir (OS.Path.dir file) cmd;
59 fun find_genscriptdep dir file =
61 val _ = mkDir_err dir
63 val fileout = dir ^ "/genscriptdep_" ^ bare file
67 cmd_in_dir (OS.Path.dir file) cmd;
73 fun run_buildheap dir core_flag file =
75 val _ = mkDir_err dir
148 val dir = sml_open_dir ^ "/" ^ s value
185 let val dir = sml_open_dir ^ "/" ^ s in value
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DMB_Monitor.sig6 genLogFile : {tag:string,dir:string} -> string,
H A Dmultibuild.sml39 fun genLF {tag, dir} =
41 val ldir = dir ++ loggingdir
44 ldir ++ safetag dir tag
75 val dir = Holmake_tools.hmdir.toAbsPath (#dir nI) value
79 val tag = if OS.Path.dir target_s = dir then OS.Path.file target_s
97 case pushdir dir
123 update = update, dir = dir},
[all...]
/seL4-l4v-master/HOL4/examples/formal-languages/regular/
H A DRegexp_Numerics.sml197 fun string2iint enc dir =
203 case dir
220 (* dir argument specifies the order in which bytes of the number are laid *)
225 fun num_interval dir width (lo,hi) =
235 case dir
310 fun twos_comp_interval dir width (lo,hi) =
318 num_interval dir width (lo,hi)
326 Or [num_interval dir width (top + lo,top-1),
327 num_interval dir width (0,hi)])
330 num_interval dir widt
[all...]
/seL4-l4v-master/isabelle/src/Pure/System/
H A Disabelle_tool.scala58 private def is_external(dir: Path, file_name: String): Boolean =
60 val file = (dir + Path.explode(file_name)).file
73 dir <- dirs() if dir.is_dir
74 file_name <- File.read_dir(dir) if is_external(dir, file_name)
76 val source = File.read(dir + Path.explode(file_name))
86 case dir if is_external(dir, name + ".scala") =>
87 compile(dir
[all...]
H A Disabelle_system.scala212 override def postVisitDirectory(dir: JPath, e: IOException): FileVisitResult =
215 try { Files.deleteIfExists(dir) }
228 val dir = Files.createTempDirectory(base_dir.toPath, name).toFile
229 dir.deleteOnExit
230 dir
235 val dir = tmp_dir(name)
236 try { body(File.path(dir)) } finally { rm_tree(dir) }
242 def update_directory(dir: Path, f: Path => Unit)
244 val new_dir = dir
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Disabelle_tool.scala58 private def is_external(dir: Path, file_name: String): Boolean =
60 val file = (dir + Path.explode(file_name)).file
73 dir <- dirs() if dir.is_dir
74 file_name <- File.read_dir(dir) if is_external(dir, file_name)
76 val source = File.read(dir + Path.explode(file_name))
86 case dir if is_external(dir, name + ".scala") =>
87 compile(dir
[all...]
H A Disabelle_system.scala212 override def postVisitDirectory(dir: JPath, e: IOException): FileVisitResult =
215 try { Files.deleteIfExists(dir) }
228 val dir = Files.createTempDirectory(base_dir.toPath, name).toFile
229 dir.deleteOnExit
230 dir
235 val dir = tmp_dir(name)
236 try { body(File.path(dir)) } finally { rm_tree(dir) }
242 def update_directory(dir: Path, f: Path => Unit)
244 val new_dir = dir
[all...]
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A Dpresent.scala21 private def read_sessions(dir: Path): List[(String, String)] =
23 val path = dir + sessions_path
31 private def write_sessions(dir: Path, sessions: List[(String, String)])
34 File.write(dir + sessions_path, YXML.string_of_body(list(pair(string, string))(sessions)))
39 val dir = browser_info + Path.basic(chapter)
40 Isabelle_System.mkdirs(dir)
43 try { read_sessions(dir) }
47 write_sessions(dir, sessions)
50 HTML.write_document(dir, "index.html",
227 val dir
[all...]
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A Ddoc.scala25 dir <- dirs()
26 catalog = dir + Path.basic("Contents")
29 } yield (dir, line)
63 (dir, line) <- contents_lines()
71 case Doc_Entry(name, title) => Some(Doc(name, title, dir + Path.basic(name)))
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/
H A Dpresent.scala21 private def read_sessions(dir: Path): List[(String, String)] =
23 val path = dir + sessions_path
31 private def write_sessions(dir: Path, sessions: List[(String, String)])
34 File.write(dir + sessions_path, YXML.string_of_body(list(pair(string, string))(sessions)))
39 val dir = browser_info + Path.basic(chapter)
40 Isabelle_System.mkdirs(dir)
43 try { read_sessions(dir) }
47 write_sessions(dir, sessions)
50 HTML.write_document(dir, "index.html",
227 val dir
[all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A Ddoc.scala25 dir <- dirs()
26 catalog = dir + Path.basic("Contents")
29 } yield (dir, line)
63 (dir, line) <- contents_lines()
71 case Doc_Entry(name, title) => Some(Doc(name, title, dir + Path.basic(name)))
/seL4-l4v-master/HOL4/polyml/
H A Ddepcomp60 # global variables '$dir'. Note that this directory component will
65 */*) dir=`echo "$1" | sed -e 's|/[^/]*$|/|'`;;
66 *) dir=;;
305 tmpdepfile1=$dir$base.u
307 tmpdepfile3=$dir.libs/$base.u
310 tmpdepfile1=$dir$base.u
311 tmpdepfile2=$dir$base.u
312 tmpdepfile3=$dir$base.u
445 tmpdepfile1=$dir$base.d
446 tmpdepfile2=$dir
[all...]
/seL4-l4v-master/HOL4/src/holyhammer/
H A DhhExportTh1.sml213 fun th1_write_pb dir (thmid,(depthyl,depl)) =
215 val _ = mkDir_err dir
216 val file = dir ^ "/" ^ name_thm thmid ^ ".p"
234 val dir = HOLDIR ^ "/src/holyhammer/export_th1_test";
235 th1_write_pb dir (thmid,([],depl));
242 fun write_thy_bushy dir thy =
244 print (thy ^ " "); app (th1_write_pb dir) cjdepl
247 fun th1_export_bushy dir thyl =
249 mkDir_err dir; app (write_thy_bushy dir) thyorde
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/
H A Dselftest.sml27 val dir = OS.FileSys.getDir() value
29 (fn () => (OS.FileSys.chDir dir;
40 val _ = OS.FileSys.chDir dir
/seL4-l4v-master/HOL4/tools/
H A Dbuildutils.sig48 (* transfer_file opn dir (d,f)
50 dir is destination directory
57 (* build_dir Holmake i (dir, j)
60 dir is the directory to make
61 j is the selftest level as given in the build sequence for dir *)
71 (* [Holmake sysl isSuccess extras analysis selftest dir] invokes
75 dir argument is also used for feedback; the assumption is
76 that the current directory is already dir. The selftest

Completed in 109 milliseconds

12345678