| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'cfg-to-paths/src/ControlFlow.java')
| -rw-r--r-- | cfg-to-paths/src/ControlFlow.java | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/cfg-to-paths/src/ControlFlow.java b/cfg-to-paths/src/ControlFlow.java index bca72d5..93d20ba 100644 --- a/cfg-to-paths/src/ControlFlow.java +++ b/cfg-to-paths/src/ControlFlow.java @@ -55,6 +55,10 @@ public class ControlFlow { success = handle_add_connect_to(input); } + else if (input[0].equals("is_terminal")) + { + success = handle_is_terminal(input); + } else { continue; @@ -106,6 +110,21 @@ public class ControlFlow return true; } + private static boolean handle_is_terminal + ( + final String[] input + ) + { + if (input.length != 2) + { + return false; + } + + Node.handle_is_terminal(input[1]); + + return true; + } + private static boolean handle_add_connect_to ( final String[] input @@ -118,4 +137,6 @@ public class ControlFlow return Node.handle_connect_to(input[1], input[2]); } + + private ControlFlow () {} /* Utility Class */ } |


