| 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 */  } | 


