lots of change and add notes

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / GlobalConstruct.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java
index 094361ade936780ae62b4162881e61442eb55b5b..c2f0efbd6d3358dfceafe0a418ae0022ade0da93 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/GlobalConstruct.java
@@ -8,14 +8,16 @@ public class GlobalConstruct extends Construct {
        private final HashMap<String, HashSet<ConditionalInterface>> interfaceCluster;
        private final HashMap<ConditionalInterface, HashSet<ConditionalInterface>> originalHBRelations;
        public final HashMap<ConditionalInterface, HashSet<ConditionalInterface>> hbRelations;
+       public final HashMap<String, String> options;
        
-       public GlobalConstruct(SequentialDefineSubConstruct code) {
+       public GlobalConstruct(SequentialDefineSubConstruct code, HashMap<String, String> options) {
                this.code = code;
                this.interfaceCluster = new HashMap<String, HashSet<ConditionalInterface>>();
                this.originalHBRelations = new HashMap<ConditionalInterface, HashSet<ConditionalInterface>>();
                this.hbRelations = new HashMap<ConditionalInterface, HashSet<ConditionalInterface>>();
+               this.options = options;
        }
-       
+               
        public void addInterface2Cluster(String clusterName, ConditionalInterface condInterface) {
                if (!interfaceCluster.containsKey(clusterName)) {
                        interfaceCluster.put(clusterName, new HashSet<ConditionalInterface>());