The pre and postconditions of native methods are not checked at runtime, though pre and postcondition checking methods are generated. The problem is that native methods cannot be renamed to private internal methods.
Log in to post a comment.