From 63675af49560b72290a7b40b559053ce0d49a5ac Mon Sep 17 00:00:00 2001 From: chammard Date: Thu, 25 Apr 2024 17:19:13 -0700 Subject: [PATCH] Fix null bug --- comodo2/src/comodo2/templates/qpc/c/StateMachineSource.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/comodo2/src/comodo2/templates/qpc/c/StateMachineSource.java b/comodo2/src/comodo2/templates/qpc/c/StateMachineSource.java index 0c90092..be00ecb 100644 --- a/comodo2/src/comodo2/templates/qpc/c/StateMachineSource.java +++ b/comodo2/src/comodo2/templates/qpc/c/StateMachineSource.java @@ -709,6 +709,9 @@ else if (t.getTarget() instanceof State){ * Returns the QPC-specific return statement for a transition to stateName */ public String transitionToStateMacro(State s){ + if (s == null){ + return null; + } if (Objects.equal(s.getName(), "")){ return null; }