execRules.key
Taclets
Enabled under choices:
programRules:Java
execNoCcatch
execNoCcatch {
\find ( \modality{#allmodal}{..
exec { #slist }
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist }
...}\endmodality ( post ))
\heuristics (simplify_prog )
};defined in: execRules.key Line: 28 Offset :4
execEmpty
execEmpty {
\find ( \modality{#allmodal}{..
exec { } ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. ...}\endmodality ( post ))
\heuristics (simplify_prog )
};defined in: execRules.key Line: 39 Offset :4
execReturn
execReturn {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execReturn"
};defined in: execRules.key Line: 52 Offset :4
execReturnVal
execReturnVal {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
{
#t #v;
#v = (#t) #se;
#slist1
}
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execReturn"
};defined in: execRules.key Line: 66 Offset :4
execBreak
execBreak {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execBreak"
};defined in: execRules.key Line: 85 Offset :4
execBreakLabelMatch
execBreakLabelMatch {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Break #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execBreakLabel"
};defined in: execRules.key Line: 99 Offset :4
execBreakLabelWildcard
execBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execBreakLabel"
};defined in: execRules.key Line: 113 Offset :4
execContinue
execContinue {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execContinue"
};defined in: execRules.key Line: 127 Offset :4
execContinueLabelMatch
execContinueLabelMatch {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Continue #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execBreakLabel"
};defined in: execRules.key Line: 141 Offset :4
execContinueLabelWildcard
execContinueLabelWildcard {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Continue * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ #slist1 }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execContinueLabel"
};defined in: execRules.key Line: 155 Offset :4
execCatchThrow
execCatchThrow {
\find ( \modality{#allmodal}{.. exec { throw #se; #slist }
ccat ( #t #v0 ) { #slist1 } ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. if ( #se == null ) {
exec { throw new java.lang.NullPointerException (); }
ccat ( #t #v0 ) { #slist1 }
} else if ( #se instanceof #t ) {
#t #v0;
#v0 = (#t) #se;
#slist1
} else {
throw #se;
} ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execCatchThrow"
};defined in: execRules.key Line: 173 Offset :4
execMultipleCatchThrow
execMultipleCatchThrow {
\find ( \modality{#allmodal}{.. exec { throw #se; #slist }
ccat ( #t #v0 ) { #slist1 }
ccat ( #t2 #v1 ) { #slist3 }
ccat #cs ...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{.. if ( #se == null ) {
exec { throw new java.lang.NullPointerException (); }
ccat ( #t #v0 ) { #slist1 }
ccat ( #t2 #v1 ) { #slist3 }
ccat #cs
} else if ( #se instanceof #t ) {
#t #v0;
#v0 = (#t) #se;
#slist1
} else {
exec { throw #se; }
ccat ( #t2 #v1 ) { #slist3 }
ccat #cs
} ...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execCatchThrow"
};defined in: execRules.key Line: 190 Offset :4
execReturnEliminateReturnVal
execReturnEliminateReturnVal {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 221 Offset :4
execReturnEliminateBreak
execReturnEliminateBreak {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 238 Offset :4
execReturnEliminateBreakLabel
execReturnEliminateBreakLabel {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Break #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 255 Offset :4
execReturnEliminateBreakLabelWildcard
execReturnEliminateBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 272 Offset :4
execReturnEliminateContinue
execReturnEliminateContinue {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 289 Offset :4
execReturnEliminateContinueLabel
execReturnEliminateContinueLabel {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Continue #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 306 Offset :4
execReturnEliminateContinueLabelWildcard
execReturnEliminateContinueLabelWildcard {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( \Continue * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 323 Offset :4
execReturnEliminateExcCcatch
execReturnEliminateExcCcatch {
\find ( \modality{#allmodal}{..
exec { return; #slist }
ccat ( #t #v0 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 340 Offset :4
execReturnValNonMatchingType
execReturnValNonMatchingType {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 357 Offset :4
execReturnValEliminateReturn
execReturnValEliminateReturn {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { return #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 373 Offset :4
execReturnValEliminateBreak
execReturnValEliminateBreak {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 391 Offset :4
execReturnValEliminateBreakLabel
execReturnValEliminateBreakLabel {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Break #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 408 Offset :4
execReturnValEliminateBreakLabelWildcard
execReturnValEliminateBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 425 Offset :4
execReturnValEliminateContinue
execReturnValEliminateContinue {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 442 Offset :4
execReturnValEliminateContinueLabel
execReturnValEliminateContinueLabel {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Continue #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 459 Offset :4
execReturnValEliminateContinueLabelWildcard
execReturnValEliminateContinueLabelWildcard {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( \Continue * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 476 Offset :4
execReturnValEliminateExcCcatch
execReturnValEliminateExcCcatch {
\find ( \modality{#allmodal}{..
exec { return #se; #slist }
ccat ( #t #v0 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ return #se; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 493 Offset :4
execBreakEliminateReturn
execBreakEliminateReturn {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { break; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 510 Offset :4
execBreakEliminateReturnVal
execBreakEliminateReturnVal {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { break; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 526 Offset :4
execBreakEliminateBreakLabel
execBreakEliminateBreakLabel {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Break #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 544 Offset :4
execBreakEliminateBreakLabelWildcard
execBreakEliminateBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 561 Offset :4
execBreakEliminateContinue
execBreakEliminateContinue {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 578 Offset :4
execBreakEliminateContinueLabel
execBreakEliminateContinueLabel {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Continue #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 595 Offset :4
execBreakEliminateContinueLabelWildcard
execBreakEliminateContinueLabelWildcard {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( \Continue * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 612 Offset :4
execBreakEliminateExcCcatch
execBreakEliminateExcCcatch {
\find ( \modality{#allmodal}{..
exec { break; #slist }
ccat ( #t #v0 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 629 Offset :4
execBreakLabelEliminateReturn
execBreakLabelEliminateReturn {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { break #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 646 Offset :4
execBreakLabelEliminateReturnVal
execBreakLabelEliminateReturnVal {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { break #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 662 Offset :4
execBreakLabelEliminateBreak
execBreakLabelEliminateBreak {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { break #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 678 Offset :4
execBreakLabelEliminateBreakLabelNoMatch
execBreakLabelEliminateBreakLabelNoMatch {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Break #lb1 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
exec { break #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 694 Offset :4
execBreakLabelEliminateContinue
execBreakLabelEliminateContinue {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break #lb; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 714 Offset :4
execBreakLabelEliminateContinueLabel
execBreakLabelEliminateContinueLabel {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Continue #lb1 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break #lb; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 731 Offset :4
execBreakLabelEliminateContinueLabelWildcard
execBreakLabelEliminateContinueLabelWildcard {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( \Continue * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break #lb; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 748 Offset :4
execBreakLabelEliminateExcCcatch
execBreakLabelEliminateExcCcatch {
\find ( \modality{#allmodal}{..
exec { break #lb; #slist }
ccat ( #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ break #lb; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 765 Offset :4
execContinueEliminateReturn
execContinueEliminateReturn {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 782 Offset :4
execContinueEliminateReturnVal
execContinueEliminateReturnVal {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 798 Offset :4
execContinueEliminateBreak
execContinueEliminateBreak {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 814 Offset :4
execContinueEliminateBreakLabel
execContinueEliminateBreakLabel {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( \Break #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 830 Offset :4
execContinueEliminateBreakLabelWildcard
execContinueEliminateBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 846 Offset :4
execContinueEliminateExcCcatch
execContinueEliminateExcCcatch {
\find ( \modality{#allmodal}{..
exec { continue; #slist }
ccat ( #t #v0 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ continue; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 864 Offset :4
execContinueLabelEliminateReturn
execContinueLabelEliminateReturn {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 881 Offset :4
execContinueLabelEliminateReturnVal
execContinueLabelEliminateReturnVal {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 897 Offset :4
execContinueLabelEliminateBreak
execContinueLabelEliminateBreak {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 913 Offset :4
execContinueLabelEliminateBreakLabel
execContinueLabelEliminateBreakLabel {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Break #lb1 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 929 Offset :4
execContinueLabelEliminateBreakLabelWildcard
execContinueLabelEliminateBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 945 Offset :4
execContinueLabelEliminateContinue
execContinueLabelEliminateContinue {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 961 Offset :4
execContinueLabelEliminateContinueLabelNoMatch
execContinueLabelEliminateContinueLabelNoMatch {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( \Continue #lb1 ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\varcond \replacewith ( \modality{#allmodal}{..
exec { continue #lb; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 977 Offset :4
execContinueLabelEliminateExcCcatch
execContinueLabelEliminateExcCcatch {
\find ( \modality{#allmodal}{..
exec { continue #lb; #slist }
ccat ( #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
{ continue #lb; }
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 997 Offset :4
execThrowEliminateReturn
execThrowEliminateReturn {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Return ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1014 Offset :4
execThrowEliminateReturnVal
execThrowEliminateReturnVal {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Return #t #v ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1030 Offset :4
execThrowEliminateBreak
execThrowEliminateBreak {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Break ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1046 Offset :4
execThrowEliminateBreakLabel
execThrowEliminateBreakLabel {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Break #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1062 Offset :4
execThrowEliminateBreakLabelWildcard
execThrowEliminateBreakLabelWildcard {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Break * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1078 Offset :4
execThrowEliminateContinue
execThrowEliminateContinue {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Continue ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1094 Offset :4
execThrowEliminateContinueLabel
execThrowEliminateContinueLabel {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Continue #lb ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1110 Offset :4
execThrowEliminateContinueLabelWildcard
execThrowEliminateContinueLabelWildcard {
\find ( \modality{#allmodal}{..
exec { throw #se; #slist }
ccat ( \Continue * ) { #slist1 }
ccat #cs
...}\endmodality ( post ))
\replacewith ( \modality{#allmodal}{..
exec { throw #se; }
ccat #cs
...}\endmodality ( post ))
\heuristics (simplify_prog )
\displayname "execEliminateNonMatching"
};defined in: execRules.key Line: 1126 Offset :4