Changes between Initial Version and Version 1 of Ticket #5979


Ignore:
Timestamp:
May 4, 2009, 4:52:00 PM (14 years ago)
Author:
Nicolas M. Thiéry
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5979 – Description

    initial v1  
    1 In Parent, there is an implicit invariant, namely that
     1In Parent, there is a (previously implicit) invariant, namely that:
    22
    33        self._element_init_pass_parent == guess_pass_parent(between ._element_constructor)