dol: add command line options and empty class

[jump.git] / dol / src / dol / main / UserInterface.java

diff --git a/dol/src/dol/main/UserInterface.java b/dol/src/dol/main/UserInterface.java
index f9145eaf2ce743e68f3582e39a8d7b84cf5c6aa9..26d5add2d62d08d86be4727e41e5d7eff773f86e 100644 (file)
--- a/dol/src/dol/main/UserInterface.java
+++ b/dol/src/dol/main/UserInterface.java
@@ -44,6 +44,9 @@ public class UserInterface {
     // the RTEMS board support package for which code is generated
     private String _rtemsBSP = "pc386";
 
+    // the Epiphany directory name
+    private String _epiphanyCodeDirectoryName = "nonameEpiphanyPackage";
+
     // the protothread directory name
     private String _protothreadCodeDirectoryName = "nonameHdsPackage";
 
@@ -81,6 +84,9 @@ public class UserInterface {
     // the SystemC flag
     private boolean _systemC = false;
 
+    // the Epiphany flag
+    private boolean _epiphanyFlag = false;
+
     // the PipeAndFilter flag
     private boolean _pipeAndFilter = false;
 
@@ -267,6 +273,24 @@ public class UserInterface {
         _codeDirectoryName = codeDirectoryName;
     }
 
+    /**
+     * Get the name of the Epiphany directory.
+     *
+     * @return The directory name of the Epiphany directory
+     */
+    public final String getEpiphanyCodeDirectoryName() {
+        return _epiphanyCodeDirectoryName;
+    }
+
+    /**
+     * Set the name of the Epiphany directory.
+     *
+     * @param codeDirectoryName Directory to generate Epiphany code in
+     */
+    public final void setEpiphanyCodeDirectoryName(String codeDirectoryName) {
+        _epiphanyCodeDirectoryName = codeDirectoryName;
+    }
+
     /**
      * Get the name of the PipeAndFilter directory.
      *
@@ -443,6 +467,22 @@ public class UserInterface {
         _systemC = true;
     }
 
+    /**
+     * Get the status of the Epiphany flag.
+     *
+     * @return Epiphany flag value
+     */
+    public final boolean getEpiphanyFlag() {
+        return _epiphanyFlag;
+    }
+
+    /*
+     * Set the Epiphany flag.
+     */
+    public final void setEpiphanyFlag() {
+        _epiphanyFlag = true;
+    }
+
     /**
      * Get the status of the PipeAndFilter flag.
      *