Searched refs:path (Results 76 - 100 of 367) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Disabelle_system.scala154 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 Dprogress.scala72 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 Drun_tests.py61 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 Dtestspec.py19 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 Dbenchmark_track.h61 ksKernelEntry.path = Entry_Syscall;
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dpath.scala1 /* 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 Dsha1.scala58 def digest(path: Path): Digest = digest(path.file)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dpath.scala1 /* 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 Dsha1.scala58 def digest(path: Path): Digest = digest(path.file)
/seL4-l4v-10.1.1/HOL4/polyml/samplecode/ide/
H A Duse.sml43 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 Dbuild_jdk.scala40 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 DClause.sig63 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 DThm.sig142 (* 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 DRule.sml212 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 DRule.sig53 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 Dbuild_jdk.scala40 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 DClause.sig63 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 DThm.sig142 (* 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 DRule.sml212 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 DRule.sig53 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 Djedit_editor.scala170 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 Djedit_editor.scala170 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 Dselftest.sml33 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 Dwin-config.sml29 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 Dspell_checker.scala67 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))

Completed in 220 milliseconds

1234567891011>>