add more on code generation

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
index eb4bdb2d5d6ea704da9c7b1c5f858906b7613152..3c462c17b4735e5a425326420c556163f82dcda5 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
@@ -28,7 +28,7 @@ public class SpecExtractor {
        private int _beginLineNum, _endLineNum;
        private String _beginLine;
 
-       SpecExtractor() {
+       public SpecExtractor() {
                _constructs = new ArrayList<SpecConstruct>();
        }
 
@@ -81,8 +81,9 @@ public class SpecExtractor {
                                                                                specText.toString(), file,
                                                                                _beginLineNum, _endLineNum, inst);
                                                        }
+                                                       _constructs.add(specConstruct);
                                                        specText = new StringBuilder();
-                                                       System.out.println(specConstruct);
+//                                                     System.out.println(specConstruct);
                                                }
                                        }
                                } else {
@@ -107,8 +108,9 @@ public class SpecExtractor {
                                                                        specText.toString(), file,
                                                                        _beginLineNum, _endLineNum, inst);
                                                }
-                                               System.out.println(specConstruct);
+                                               _constructs.add(specConstruct);
                                                specText = new StringBuilder();
+//                                             System.out.println(specConstruct);
                                        }
                                }
                        }