projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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();