Member predicate SwitchCase::isDefault
Holds if this ‘switch case’ statement is a ‘default’ statement.
For example, for
switch (i) {
case 5:
case 6:
case 7:
default:
}
this holds for default:, but not for case 5:, case 6:,
or case 7:.
predicate isDefault()