/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 154 def mkdirs(path: Path): Unit = 155 if (!path.is_dir) { 156 bash("perl -e \"use File::Path make_path; make_path('" + File.standard_path(path) + "');\"") 157 if (!path.is_dir) error("Failed to create directory: " + quote(File.platform_path(path))) 168 val path = Path.explode("$ISABELLE_TMP_PREFIX") 169 path.file.mkdirs // low-level mkdirs 170 File.platform_file(path) 184 try { body(File.path(file)) } finally { file.delete } 227 try { body(File.path(di [all...] |
H A D | progress.scala | 72 class File_Progress(path: Path, verbose: Boolean = false) extends Progress 75 File.append(path, msg + "\n") 80 override def toString: String = path.toString
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | run_tests.py | 61 for path in os.environ["PATH"].split(os.pathsep): 62 candidate = os.path.join(path, filename) 63 if os.path.exists(candidate) and os.access(candidate, os.X_OK): 167 # Print command and path. 170 if os.path.abspath(test.cwd) != os.path.abspath(os.getcwd()): 171 path = " [%s]" % os.path.relpath(test.cwd) 173 path [all...] |
H A D | testspec.py | 19 REGRESSION_DIR = os.path.dirname(os.path.realpath(__file__)) 20 REGRESSION_DTD = os.path.join(REGRESSION_DIR, "regression.dtd") 28 self.base_dir = os.path.normpath(base_dir) 35 'cwd': lambda self, cwd: os.path.normpath(os.path.join(self.base_dir, cwd)), 145 env = TestEnv(os.path.dirname(filename))
|
/seL4-l4v-10.1.1/seL4/include/benchmark/ |
H A D | benchmark_track.h | 61 ksKernelEntry.path = Entry_Syscall;
|
/seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
H A D | path.scala | 1 /* Title: Pure/General/path.scala 18 /* path elements */ 27 error(msg + " path element specification " + quote(s)) 65 /* path constructors */ 114 val encode: XML.Encode.T[Path] = (path => XML.Encode.string(path.implode)) 147 case _ => error("Cannot split path into dir/base: " + toString) 192 val path = Path.explode(Isabelle_System.getenv_strict(s, env)) 193 if (path.elems.exists(_.isInstanceOf[Path.Variable])) 194 error("Illegal path variabl [all...] |
H A D | sha1.scala | 58 def digest(path: Path): Digest = digest(path.file)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
H A D | path.scala | 1 /* Title: Pure/General/path.scala 18 /* path elements */ 27 error(msg + " path element specification " + quote(s)) 65 /* path constructors */ 114 val encode: XML.Encode.T[Path] = (path => XML.Encode.string(path.implode)) 147 case _ => error("Cannot split path into dir/base: " + toString) 192 val path = Path.explode(Isabelle_System.getenv_strict(s, env)) 193 if (path.elems.exists(_.isInstanceOf[Path.Variable])) 194 error("Illegal path variabl [all...] |
H A D | sha1.scala | 58 def digest(path: Path): Digest = digest(path.file)
|
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/ide/ |
H A D | use.sml | 43 val saveDirPath = mkAbsolute { path = saveDirName, relativeTo = OS.FileSys.getDir() } 45 For each source file within this directory with path a/b/c.ML there will be a 55 fun createDirs path = 56 if path = "" orelse (OS.FileSys.isDir path handle OS.SysErr _ => false) 60 createDirs (OS.Path.dir path); 61 OS.FileSys.mkDir path 63 (* Compute the full path to the actual file taking account of any 68 val pathFromRoot = mkRelative { path = fullFileName, relativeTo = rootPath } 75 (* If the first part of the path i [all...] |
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | build_jdk.scala | 40 val path = jdk_dir + Path.explode(exe) 41 if (path.is_file) { 42 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out 161 val path = file.toPath 162 val perms = Files.getPosixFilePermissions(path) 173 Files.setPosixFilePermissions(path, perms)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sig | 63 clause -> (Literal.literal * Term.path * Term.term) list 65 val allSubterms : clause -> (Literal.literal * Term.path * Term.term) list 95 clause * Literal.literal * Term.path * Term.term -> clause
|
H A D | Thm.sig | 142 (* where s is the subterm of L at path p, and L' is L with the subterm at *) 143 (* path p being replaced by t. *) 146 val equality : Literal.literal -> Term.path -> Term.term -> thm
|
H A D | Rule.sml | 212 fun rewrConv (eqn as ((x,y), eqTh)) path tm = 214 else if List.null path then (y,eqTh) 219 val th = Thm.equality reflLit (1 :: path) y 225 val tm' = Term.replace tm (path,y) 231 val rewrConv = fn eqn as ((x,y),eqTh) => fn path => fn tm => 232 rewrConv eqn path tm 237 "\npath = " ^ Term.pathToString path ^ 241 fun pathConv conv path tm = 243 val x = Term.subterm tm path 246 rewrConv ((x,y),th) path t 451 val path = [1,i] value 478 val path = [i] value [all...] |
H A D | Rule.sig | 53 val rewrConv : equation -> Term.path -> conv 55 val pathConv : conv -> Term.path -> conv 95 val rewrLiterule : equation -> Term.path -> literule 97 val pathLiterule : conv -> Term.path -> literule 130 val rewrRule : equation -> Literal.literal -> Term.path -> rule 132 val pathRule : conv -> Literal.literal -> Term.path -> rule
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | build_jdk.scala | 40 val path = jdk_dir + Path.explode(exe) 41 if (path.is_file) { 42 val file_descr = Isabelle_System.bash("file -b " + File.bash_path(path)).check.out 161 val path = file.toPath 162 val perms = Files.getPosixFilePermissions(path) 173 Files.setPosixFilePermissions(path, perms)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sig | 63 clause -> (Literal.literal * Term.path * Term.term) list 65 val allSubterms : clause -> (Literal.literal * Term.path * Term.term) list 95 clause * Literal.literal * Term.path * Term.term -> clause
|
H A D | Thm.sig | 142 (* where s is the subterm of L at path p, and L' is L with the subterm at *) 143 (* path p being replaced by t. *) 146 val equality : Literal.literal -> Term.path -> Term.term -> thm
|
H A D | Rule.sml | 212 fun rewrConv (eqn as ((x,y), eqTh)) path tm = 214 else if List.null path then (y,eqTh) 219 val th = Thm.equality reflLit (1 :: path) y 225 val tm' = Term.replace tm (path,y) 231 val rewrConv = fn eqn as ((x,y),eqTh) => fn path => fn tm => 232 rewrConv eqn path tm 237 "\npath = " ^ Term.pathToString path ^ 241 fun pathConv conv path tm = 243 val x = Term.subterm tm path 246 rewrConv ((x,y),th) path t 451 val path = [1,i] value 478 val path = [i] value [all...] |
H A D | Rule.sig | 53 val rewrConv : equation -> Term.path -> conv 55 val pathConv : conv -> Term.path -> conv 95 val rewrLiterule : equation -> Term.path -> literule 97 val pathLiterule : conv -> Term.path -> literule 130 val rewrRule : equation -> Literal.literal -> Term.path -> rule 132 val pathRule : conv -> Literal.literal -> Term.path -> rule
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_editor.scala | 170 def goto_doc(view: View, path: Path) 172 if (path.is_file) 173 goto_file(true, view, File.platform_path(path)) 176 try { Doc.view(path) } 193 case doc: Doc.Text_File if doc.name == name => doc.path 194 case doc: Doc.Doc if doc.name == name => doc.path}).map(path => 196 override val external = !path.is_file 197 def follow(view: View): Unit = goto_doc(view, path)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_editor.scala | 170 def goto_doc(view: View, path: Path) 172 if (path.is_file) 173 goto_file(true, view, File.platform_path(path)) 176 try { Doc.view(path) } 193 case doc: Doc.Text_File if doc.name == name => doc.path 194 case doc: Doc.Doc if doc.name == name => doc.path}).map(path => 196 override val external = !path.is_file 197 def follow(view: View): Unit = goto_doc(view, path)
|
/seL4-l4v-10.1.1/HOL4/src/HolQbf/ |
H A D | selftest.sml | 33 val path = FileSys.tmpName () value 34 val dict = QDimacs.write_qdimacs_file path t 37 if Term.aconv t (QDimacs.read_qdimacs_file varfn path) then
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | win-config.sml | 29 String and path operations. 38 (itstrings (fn chunk => fn path => Path.concat (chunk,path)) slist);
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
H A D | spell_checker.scala | 67 class Dictionary private[Spell_Checker](val path: Path) 69 val lang = path.split_ext._1.base_name 93 path <- Path.split(Isabelle_System.getenv("JORTHO_DICTIONARIES")) 94 if path.is_file 95 } yield new Dictionary(path) 130 val main_dictionary = split_lines(File.read_gzip(dictionary.path))
|