/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | file_watcher.scala | 20 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 D | csv.scala | 31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | file_watcher.scala | 20 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 D | csv.scala | 31 def write(dir: Path) { isabelle.File.write(dir + Path.explode(file_name), toString) }
|
/seL4-l4v-master/l4v/misc/zsh/ |
H A D | isabelle_session_names.py | 41 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 D | components.scala | 43 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 D | build_jdk.scala | 94 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 D | components.scala | 43 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 D | build_jdk.scala | 94 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 D | smlOpen.sml | 46 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 D | MB_Monitor.sig | 6 genLogFile : {tag:string,dir:string} -> string,
|
H A D | multibuild.sml | 39 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 D | Regexp_Numerics.sml | 197 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 D | isabelle_tool.scala | 58 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 D | isabelle_system.scala | 212 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 D | isabelle_tool.scala | 58 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 D | isabelle_system.scala | 212 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 D | present.scala | 21 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 D | doc.scala | 25 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 D | present.scala | 21 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 D | doc.scala | 25 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 D | depcomp | 60 # 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 D | hhExportTh1.sml | 213 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 D | selftest.sml | 27 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 D | buildutils.sig | 48 (* 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
|