X-Git-Url: http://sraa.de/git/?a=blobdiff_plain;f=dol%2Fsrc%2Fdol%2Fmain%2FUserInterface.java;fp=dol%2Fsrc%2Fdol%2Fmain%2FUserInterface.java;h=26d5add2d62d08d86be4727e41e5d7eff773f86e;hb=cbc1f1265fd129d066da10e72e819d7d20f5360a;hp=f9145eaf2ce743e68f3582e39a8d7b84cf5c6aa9;hpb=82ca9fb592183dba13541e6e9b9888a3cc0a642a;p=jump.git

diff --git a/dol/src/dol/main/UserInterface.java b/dol/src/dol/main/UserInterface.java
index f9145ea..26d5add 100644
--- 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.
      *