src/Pure/General/js.scala

+/*  Title:      Pure/General/json.scala
+    Author:     Makarius
+
+Support for JavaScript syntax.
+*/
+
+package isabelle
+
+
+object JS {
+  /* basic syntax */
+
+  type Source = String
+
+  def arguments(args: Source*): Source = args.mkString("(", ", ", ")")
+  def function(f: Source, args: Source*): Source = f + arguments(args: _*)
+  def selection(a: Source, arg: Source): Source = a + "[" + arg + "]"
+
+  def commands(args: Source*): Source = args.mkString("; ")
+  def command_list(args: List[Source]): Source = args.mkString("; ")
+
+
+  /* JSON values */
+
+  def value(t: JSON.T): Source = JSON.Format(t)
+  def string(s: String): Source = value(s)
+
+  def json_parse(arg: Source): Source = function("JSON.parse", arg)
+  def json_print(arg: Source): Source = function("JSON.stringify", arg)
+
+
+  /* file-system operations */
+
+  def standard_path(p: Path, dir: Boolean = false): Source =
+    string(File.standard_path(p) + (if (dir) "/" else ""))
+
+  def platform_path(p: Path, dir: Boolean = false): Source =
+    string(File.platform_path(p) + (if (dir) File.platform_path(Path.root) else ""))
+}