Hello Simen,
BCS <n...@anon.com> 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.
Having code that's "leagal unless proven guilty" doesn't sound like a good
idea to me.
--
... <IXOYE><
