307:505512c40ea5
|
2010-02-15 |
Paul Boddie |
changeset
files
shortlog
graph
|
Fixed usage merging where names are defined below the current level in the
control-flow hierarchy.
Fixed alternative usage retrieval when generating guards, adding a test for
conflicting types deduced from attribute usage. |
|
|
micropython/data.py micropython/trans.py tests/attribute_access_type_restriction_multiple_candidates.py
|
|
306:9f1f0b79c182
|
2010-02-14 |
Paul Boddie |
changeset
files
shortlog
graph
|
Introduced a distinction between speculative attribute usage, which should
affect the possible types associated with each name, and coverage-related usage.
Added support for the recording of speculative usage as "alternatives" where the
expectations of a given name might differ from the consensus due to branches
whose usage are never merged back into the general control-flow. |
|
|
micropython/data.py micropython/trans.py tests/abandoned_attribute_usage_multiple_candidates_nested.py
|
|
305:4125a2a53e5e
|
2010-02-14 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added comments for the attribute usage namespace attributes.
Updated the docstring, including comments from the module body. |
|
|
micropython/data.py
|
|
304:0b8601941161
|
2010-02-12 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added attribute user node shelving and merging in order to affect nodes which
define names where such definitions remain active after a control-flow merge.
Added a test of multiple type candidates for a guard, although the work required
to support this properly is yet to be done.
Added a to-do list. |
|
|
TO_DO.txt micropython/data.py tests/abandoned_attribute_usage_multiple_candidates.py
|
|
303:5e5eb65e8d5b
|
2010-02-10 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added recording of abandoned attribute usage specifically for attribute users
(things which have attributes).
Added docstrings and commentary. |
|
|
micropython/data.py
|
|
302:946b724d1452
|
2010-02-09 |
Paul Boddie |
changeset
files
shortlog
graph
|
Fixed ordering of statements which abandon attribute usage. |
|
|
micropython/inspect.py
|
|
301:040bf7b12ef3
|
2010-02-09 |
Paul Boddie |
changeset
files
shortlog
graph
|
Prevent re-entry into the attribute collection for an object. |
|
|
micropython/__init__.py
|
|
300:639aa6eb751c
|
2010-02-09 |
Paul Boddie |
changeset
files
shortlog
graph
|
Introduced abandoned shelves of attribute usage which are used to provide
usage patterns even though they do not contribute to further observations in
their own namespaces. This is required because such patterns help discover
active functions in a program. |
|
|
micropython/data.py
|
|
299:feccb2b0967e
|
2010-02-08 |
Paul Boddie |
changeset
files
shortlog
graph
|
Added control-flow branch abandonment for statements like break, continue, raise
and return, preventing attribute usage from such branches from contributing to
subsequent usage observations.
Split the initial attribute usage test into smaller tests.
Added notes about testing guard suitability. |
|
|
micropython/data.py micropython/inspect.py micropython/trans.py tests/attribute_access_type_restriction.py tests/attribute_access_type_restriction_neither.py tests/attribute_access_type_restriction_new.py tests/attribute_access_type_restriction_new_conditional.py
|
|
298:a72712268c10
|
2010-02-07 |
Paul Boddie |
changeset
files
shortlog
graph
|
Made attribute deletion usage cause a warning during inspection, not an error,
so that inspection of the test program may be performed.
Added an optimisation test around guard generation for name assignments.
Fixed attribute usage merging to permit the recording of isolated pockets of
attribute usage that are not propagated further in a program unit. |
|
|
micropython/ast.py micropython/data.py micropython/inspect.py
|
|