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
(
)