projects
/
cdsspec-compiler.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
932e489
)
edits
author
Peizhao Ou
<peizhaoo@uci.edu>
Tue, 1 Mar 2016 02:07:01 +0000
(18:07 -0800)
committer
Peizhao Ou
<peizhaoo@uci.edu>
Tue, 1 Mar 2016 02:07:01 +0000
(18:07 -0800)
src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
patch
|
blob
|
history
diff --git
a/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
b/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
index 04f3be95f4fba9983f04473a7e84f082159a7dc3..99c4f2e17ca038260ad55f0e10ff0a6c01c44cea 100644
(file)
--- a/
src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
+++ b/
src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java
@@
-525,7
+525,7
@@
public class CodeGeneratorUtils {
// Define @Transition for INTERFACE
code.addLine(ShortComment("Define @" + SpecNaming.Transition
+ " for " + name));
// Define @Transition for INTERFACE
code.addLine(ShortComment("Define @" + SpecNaming.Transition
+ " for " + name));
- code.addLine("
void
_" + name + "_" + SpecNaming.Transition
+ code.addLine("
bool
_" + name + "_" + SpecNaming.Transition
+ "(" + SpecNaming.Method + " " + SpecNaming.Method1
+ ", " + SpecNaming.Method + " " + SpecNaming.Method2
+ ") {");
+ "(" + SpecNaming.Method + " " + SpecNaming.Method1
+ ", " + SpecNaming.Method + " " + SpecNaming.Method2
+ ") {");
@@
-541,6
+541,9
@@
public class CodeGeneratorUtils {
code.addLine(TabbedLine(ShortComment("Execute Transition")));
code.addLines(construct.transition);
code.addLine(TabbedLine(ShortComment("Execute Transition")));
code.addLines(construct.transition);
+ // By default, we will return true for state transition
+ code.addLine(TabbedLine(ShortComment("By default @Transition returns true")));
+ code.addLine(TabbedLine("return true;"));
code.addLine("}");
code.addLine("");
code.addLine("}");
code.addLine("");