BCS <[email protected]> wrote:
Checking that the sequence of member function calls on an object is valid is limited by how good your static analysts is. The type system *can't* help you as the exact same code may or may not be valid depending on arbitrary external aspects.
You are of course correct. Some such analysis could still be performed, and the examples you give would simply leave the typestate in an indeterminate state. -- Simen
