ready to generate code

[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 ac6de02b405f06a4db25b1a184009eb6d150c0a9..eb4bdb2d5d6ea704da9c7b1c5f858906b7613152 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SpecExtractor.java
@@ -179,6 +179,10 @@ public class SpecExtractor {
                else
                        return line.substring(i, j + 1);
        }
+       
+       public ArrayList<SpecConstruct> getConstructs() {
+               return this._constructs;
+       }
 
        public static void main(String[] argvs) {
                SpecExtractor extractor = new SpecExtractor();