summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'cfg-to-paths/src/ControlFlow.java')
-rw-r--r--cfg-to-paths/src/ControlFlow.java21
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 */
}