Design predicates

Design predicates are a method invented by Thomas McCabe,[1] to quantify the complexity of the integration of two units of software.

Each of the four types of design predicates have an associated integration complexity rating.

For pieces of code that apply more than one design predicate, integration complexity ratings can be combined.

Also, some combinations of design predicates might be logically impossible.

This integration has a complexity of 1, and needs two tests: one that calls B, and one that doesn't.