TELELOGIC RCL 1.0 RULES FILE
NAME=ControlFLow
"Switch is better than several if." "../Ref/CRules/ControlFlow_10_SwitchBetterThanIf.rl"
"Not more than one break or continue in a loop." "../Ref/CRules/ControlFlow_11_OneBreakContinue.rl"
"Inaccessible code not authorized" "../Ref/CRules/ControlFlow_1_NoDeadCode.rl"
"Use of return" "../Ref/CRules/ControlFlow_2_FunctionReturn.rl"
"Goto statement not authorized" "../Ref/CRules/ControlFlow_3_NoGoto.rl"
"Then and else parts of if statements must not be void" "../Ref/CRules/ControlFlow_4_ThenElse.rl"
"Break and continue statements not authorized in iterative structures" "../Ref/CRules/ControlFlow_5_NoBreakContinue.rl"
"Default statement mandatory in a switch" "../Ref/CRules/ControlFlow_6_DefaultInSwitch.rl"
"Break statement mandatory in the case clauses of a switch" "../Ref/CRules/ControlFlow_7_BreakInSwitch.rl"
"Break mandatory in each path of the case clauses of a switch" "../Ref/CRules/ControlFlow_8_BreakPathInSwitch.rl"
"control structure nesting" "../Ref/CRules/ControlFlow_9_ControlStructureNesting.rl"