From 2b3f20d89c7d500842869d3316bee9c7457ba6d4 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 22 Jul 2017 21:05:57 +0200 Subject: Adds the "is_terminal" predicate. --- cfg-to-paths/src/ControlFlow.java | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'cfg-to-paths/src/ControlFlow.java') 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 */ } -- cgit v1.2.3-70-g09d2