Member predicate SwitchCase :: terminatesInThrowStmt

Holds if the last statement, as determined by getLastStmt, under this ‘switch case’ statement is a ‘throw’ statement.

For example, for

switch (i) {
case 5:
    x = 1;
    throw 1;
case 6:
case 7:
    { x = 2; throw 2; }
default:
    { x = 3; { x = 4; throw 3; } }
}

this holds for case 5:, case 7: and default:, but not for case 6:.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                terminatesInThrowStmt
                            
                            
                                (
                                )