projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
temporal
[cdsspec-compiler.git]
/
src
/
edu
/
uci
/
eecs
/
specCompiler
/
specExtraction
/
SequentialDefineSubConstruct.java
diff --git
a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
index bb6b8e591b1604f12373430561c0cfb2cb8efdf2..9d3bff677c245bbb971b81a70886be61ab391419 100644
(file)
--- a/
src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
+++ b/
src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
@@
-22,7
+22,7
@@
public class SequentialDefineSubConstruct {
StringBuffer res = new StringBuffer();
res.append("@Sequential_define:\n");
res.append("@DeclareStruct:\n");
StringBuffer res = new StringBuffer();
res.append("@Sequential_define:\n");
res.append("@DeclareStruct:\n");
- for (int i = 0; i < de
fineFunc
s.size(); i++) {
+ for (int i = 0; i < de
clareStruct
s.size(); i++) {
res.append(ParserUtils.array2Str(declareStructs.get(i)) + "\n");
}
res.append("@DeclareVar:\n");
res.append(ParserUtils.array2Str(declareStructs.get(i)) + "\n");
}
res.append("@DeclareVar:\n");