Lines Matching refs:path
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 variable nesting: " + s + "=" + path.toString)
195 else path.elems
219 def absolute: Path = File.path(absolute_file)
220 def canonical: Path = File.path(canonical_file)