...
| Code Block |
|---|
...
if (a == b) {
...
}
else if (a == c) {
...
}
else {
assert( (a == b) || (a == c) );
abort();
}
...
|
...
| Code Block |
|---|
...
switch(a) {
case: 1
break;
...
default:
assert( (a==b) || (a == c) );
abort();
}
...
|
References
Hatton 95 Section 2.7.2 Errors of omission and addition