# HG changeset patch
# User wenzelm
# Date 1224618496 -7200
# Node ID b353b4cd9bd430bc2182a3a52d5753cdb9f3e549
# Parent  545a73fee0e31fba7c86801670f5502ce00cecae
Isabelle/jEdit interface wrapper.

diff -r 545a73fee0e3 -r b353b4cd9bd4 src/Tools/jEdit/dist-template/interface
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/dist-template/interface	Tue Oct 21 21:48:16 2008 +0200
@@ -0,0 +1,96 @@
+#!/usr/bin/env bash
+#
+# Isabelle/jEdit interface wrapper
+
+set -x
+
+## diagnostics
+
+usage()
+{
+  echo
+  echo "Usage: isabelle jedit [OPTIONS] [FILES ...]"
+  echo
+  echo "  Options are:"
+  echo "    -J OPTION    add JVM runtime option"
+  echo "                 (default JEDIT_JAVE_OPTIONS=$JEDIT_JAVE_OPTIONS)"
+  echo "    -j OPTION    add jEdit runtime option"
+  echo "                 (default JEDIT_OPTIONS=$JEDIT_OPTIONS)"
+  echo "    -l NAME      logic image name (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
+  echo "    -m MODE      add print mode for output"
+  echo
+  echo "Starts jEdit with Isabelle plugin setup and opens theory FILES"
+  echo "(default Scratch.thy)."
+  echo
+  exit 1
+}
+
+fail()
+{
+  echo "$1" >&2
+  exit 2
+}
+
+
+## process command line
+
+# options
+
+JEDIT_LOGIC="$ISABELLE_LOGIC"
+JEDIT_PRINT_MODE=""
+
+while getopts "J:j:l:m:" OPT
+do
+  case "$OPT" in
+    J)
+      JEDIT_JAVA_OPTIONS="$JEDIT_JAVA_OPTIONS $OPTARG"
+      ;;
+    j)
+      JEDIT_OPTIONS="$JEDIT_OPTIONS $OPTARG"
+      ;;
+    l)
+      JEDIT_LOGIC="$OPTARG"
+      ;;
+    m)
+      if [ -z "$PRINT_MODE" ]; then
+        PRINT_MODE="$OPTARG"
+      else
+        PRINT_MODE="$PRINT_MODE,$OPTARG"
+      fi
+      ;;
+    \?)
+      usage
+      ;;
+  esac
+done
+
+shift $(($OPTIND - 1))
+
+
+# args
+
+if [ "$#" -eq 0 ]; then
+  FILES="isabelle:Scratch.thy"
+else
+  FILES=""
+  while [ "$#" -gt 0 ]; do
+    FILES="$FILES 'isabelle:$1'"
+    shift
+  done
+fi
+
+
+## main
+
+case "$JEDIT_LOGIC" in
+  /*)
+    ;;
+  */*)
+    JEDIT_LOGIC="$(pwd -P)/$JEDIT_LOGIC"
+    ;;
+esac
+
+export JEDIT_LOGIC JEDIT_PRINT_MODE
+
+exec "$ISABELLE_TOOL" java "$JEDIT_JAVA_OPTIONS" \
+  -jar "$JEDIT_HOME/jedit.jar" "$JEDIT_OPTIONS" "$FILES"