halt added to control language

Author: rensink

src/main/java/nl/utwente/groove/control/parse/CtrlChecker.java

@@ -277,6 +277,9 @@ public Term toTerm() throws FormatException {
                 }
             }
             break;
+        case CtrlParser.HALT:
+            result = prot.delta();
+            break;
         default:
             assert false;
         }

src/main/java/nl/utwente/groove/control/parse/CtrlLexer.java

@@ -253,6 +253,9 @@ stat
 	| //@S expr SEMI
 	  //@B An expression used as a statement.
 	  expr SEMI^ // SEMI retained for token positioning
+  | //@S HALT
+    //@B Stops exploration, without marking the state as final
+    HALT
   ;
 
 /** @H Variable declaration with optional initialisation. */
@@ -506,6 +509,7 @@ DO       : 'do';
 ELSE     : 'else';
 FALSE    : 'false';
 FUNCTION : 'function';
+HALT     : 'halt';
 IF       : 'if';
 IMPORT   : 'import';
 INT      : 'int';

src/main/java/nl/utwente/groove/control/parse/CtrlParser.java

@@ -32,54 +32,55 @@ FALSE=34
 FUNCTION=35
 FUNCTIONS=36
 GEQ=37
-ID=38
-IF=39
-IMPORT=40
-IMPORTS=41
-INT=42
-INT_LIT=43
-IntegerNumber=44
-LANGLE=45
-LCURLY=46
-LEQ=47
-LPAR=48
-Letter=49
-MINUS=50
-ML_COMMENT=51
-NEQ=52
-NODE=53
-NOT=54
-NonIntegerNumber=55
-OR=56
-OTHER=57
-OUT=58
-PACKAGE=59
-PAR=60
-PARS=61
-PERCENT=62
-PLUS=63
-PRIORITY=64
-PROGRAM=65
-PosDigit=66
-QUOTE=67
-RANGLE=68
-RCURLY=69
-REAL=70
-REAL_LIT=71
-RECIPE=72
-RECIPES=73
-RPAR=74
-SEMI=75
-SHARP=76
-SLASH=77
-SL_COMMENT=78
-STAR=79
-STRING=80
-STRING_LIT=81
-TRUE=82
-TRY=83
-UNDER=84
-UNTIL=85
-VAR=86
-WHILE=87
-WS=88
+HALT=38
+ID=39
+IF=40
+IMPORT=41
+IMPORTS=42
+INT=43
+INT_LIT=44
+IntegerNumber=45
+LANGLE=46
+LCURLY=47
+LEQ=48
+LPAR=49
+Letter=50
+MINUS=51
+ML_COMMENT=52
+NEQ=53
+NODE=54
+NOT=55
+NonIntegerNumber=56
+OR=57
+OTHER=58
+OUT=59
+PACKAGE=60
+PAR=61
+PARS=62
+PERCENT=63
+PLUS=64
+PRIORITY=65
+PROGRAM=66
+PosDigit=67
+QUOTE=68
+RANGLE=69
+RCURLY=70
+REAL=71
+REAL_LIT=72
+RECIPE=73
+RECIPES=74
+RPAR=75
+SEMI=76
+SHARP=77
+SLASH=78
+SL_COMMENT=79
+STAR=80
+STRING=81
+STRING_LIT=82
+TRUE=83
+TRY=84
+UNDER=85
+UNTIL=86
+VAR=87
+WHILE=88
+WS=89

src/main/java/nl/utwente/groove/control/parse/CtrlTokenMaker.java

@@ -144,6 +144,7 @@ stat
        )*
        { helper.endBranch(); }
      )
+  | HALT
   | ^( STAR
        { helper.startBranch(); }
        stat

src/main/java/nl/utwente/groove/control/parse/CtrlTree.java

@@ -32,54 +32,55 @@ FALSE=34
 FUNCTION=35
 FUNCTIONS=36
 GEQ=37
-ID=38
-IF=39
-IMPORT=40
-IMPORTS=41
-INT=42
-INT_LIT=43
-IntegerNumber=44
-LANGLE=45
-LCURLY=46
-LEQ=47
-LPAR=48
-Letter=49
-MINUS=50
-ML_COMMENT=51
-NEQ=52
-NODE=53
-NOT=54
-NonIntegerNumber=55
-OR=56
-OTHER=57
-OUT=58
-PACKAGE=59
-PAR=60
-PARS=61
-PERCENT=62
-PLUS=63
-PRIORITY=64
-PROGRAM=65
-PosDigit=66
-QUOTE=67
-RANGLE=68
-RCURLY=69
-REAL=70
-REAL_LIT=71
-RECIPE=72
-RECIPES=73
-RPAR=74
-SEMI=75
-SHARP=76
-SLASH=77
-SL_COMMENT=78
-STAR=79
-STRING=80
-STRING_LIT=81
-TRUE=82
-TRY=83
-UNDER=84
-UNTIL=85
-VAR=86
-WHILE=87
-WS=88
+HALT=38
+ID=39
+IF=40
+IMPORT=41
+IMPORTS=42
+INT=43
+INT_LIT=44
+IntegerNumber=45
+LANGLE=46
+LCURLY=47
+LEQ=48
+LPAR=49
+Letter=50
+MINUS=51
+ML_COMMENT=52
+NEQ=53
+NODE=54
+NOT=55
+NonIntegerNumber=56
+OR=57
+OTHER=58
+OUT=59
+PACKAGE=60
+PAR=61
+PARS=62
+PERCENT=63
+PLUS=64
+PRIORITY=65
+PROGRAM=66
+PosDigit=67
+QUOTE=68
+RANGLE=69
+RCURLY=70
+REAL=71
+REAL_LIT=72
+RECIPE=73
+RECIPES=74
+RPAR=75
+SEMI=76
+SHARP=77
+SLASH=78
+SL_COMMENT=79
+STAR=80
+STRING=81
+STRING_LIT=82
+TRUE=83
+TRY=84
+UNDER=85
+UNTIL=86
+VAR=87
+WHILE=88
+WS=89