# HG changeset patch
# User wenzelm
# Date 1199633789 -3600
# Node ID dfca7b555e5c0c06533f1e935da51f13b040c93f
# Parent  e80056f00b076dcd0deeb7caa825c621b30356f5
added interface for command-line option;

diff -r e80056f00b07 -r dfca7b555e5c lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Sun Jan 06 15:57:57 2008 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sun Jan 06 16:36:29 2008 +0100
@@ -480,7 +480,7 @@
     /**
      * Creates Isabelle process with specified logic image.
      */
-    public IsabelleProcess(String logic) throws IsabelleProcessException
+    public IsabelleProcess(String [] options, String logic) throws IsabelleProcessException
     {
         ArrayList<String> cmdline = new ArrayList<String> ();
         String shell = null;
@@ -500,6 +500,9 @@
             cmdline.add("isabelle-process");
         }
         cmdline.add("-W");
+        if (options != null) {
+            for (String opt: options) cmdline.add(opt);
+        }
         if (logic != null) cmdline.add(logic);
 
         try {
@@ -534,6 +537,13 @@
     }
 
     /**
+     * Creates Isabelle process without options.
+     */
+    public IsabelleProcess(String logic) throws IsabelleProcessException {
+        this(null, logic);
+    }
+
+    /**
      * Creates Isabelle process with default logic image.
      */
     public IsabelleProcess() throws IsabelleProcessException {