From e462c467b5d6999be69d8a7de5a2714671894c36 Mon Sep 17 00:00:00 2001 From: Peizhao Ou Date: Mon, 29 Feb 2016 18:07:01 -0800 Subject: [PATCH] edits --- src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java b/src/edu/uci/eecs/codeGenerator/CodeGeneratorUtils.java index 04f3be9..99c4f2e 100644 --- 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)); - code.addLine("void _" + name + "_" + SpecNaming.Transition + code.addLine("bool _" + name + "_" + SpecNaming.Transition + "(" + 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); + // 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(""); -- 2.34.1