X10

Ensure that types of fields of T{c} reflect c.

Details

  • Number of attachments :
    0

Description

X10ClassDef_c.classInvariant is wrong, i.e., it doesn't include X10ClassDecl_c.classInvariant.
I see similar code for traversing the superclass and superinterface in both:

X10ClassDecl_c.postBuildTypes 
and
X10ClassDef_c.getRootClause()

However, no code piece actually adds X10ClassDecl_c.classInvariant to X10ClassDef_c.classInvariant

Also, there are circularity issues when calculating the real clause.

Finally, ConstrainedType_c doesn't pass its constraint to the fields in method fields

Issue Links

is depended upon by

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2198 Asymetric treatment of constraints in Array

  • Critical - Crashes, loss of data, severe memory leak.
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.

Task - A task that needs to be done. XTENLANG-2971 Umbrella language/front-end JIRA for X10 2.4

  • Critical - Crashes, loss of data, severe memory leak.
  • Open - The issue is open and ready for the assignee to start work on it.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
David Grove added a comment -

defer all non-critical 2.1.2 issues to 2.2.

Show
David Grove added a comment - defer all non-critical 2.1.2 issues to 2.2.
Hide
Permalink
Igor Peshansky added a comment -

Looks like this is the root cause of class invariant problems like XTENLANG-2198. Needs to be fixed.

Show
Igor Peshansky added a comment - Looks like this is the root cause of class invariant problems like XTENLANG-2198 . Needs to be fixed.
Hide
Permalink
Vijay Saraswat added a comment -

Fixed rootClause and postBuildTypes relationship. There is none. ClassInvariant and realClause are maintained separately because in some places one is needed,and not the other.

Work left to be done is ensuring that the types of fields of constrained type T

{c}

reflect c.

Show
Vijay Saraswat added a comment - Fixed rootClause and postBuildTypes relationship. There is none. ClassInvariant and realClause are maintained separately because in some places one is needed,and not the other. Work left to be done is ensuring that the types of fields of constrained type T {c} reflect c.
Hide
Permalink
Igor Peshansky added a comment -

This is a cleanup issue that doesn't seem to affect any actual programs. Deferring to 2.2.1.

Show
Igor Peshansky added a comment - This is a cleanup issue that doesn't seem to affect any actual programs. Deferring to 2.2.1.
Hide
Permalink
David Grove added a comment -

bulk defer of open issues to 2.2.2.

Show
David Grove added a comment - bulk defer of open issues to 2.2.2.
Hide
Permalink
David Grove added a comment -

bulk defer of issues to 2.2.3.

Show
David Grove added a comment - bulk defer of issues to 2.2.3.
Hide
Permalink
David Grove added a comment -

bulk defer of 2.3.0 open issues to 2.3.1.

Show
David Grove added a comment - bulk defer of 2.3.0 open issues to 2.3.1.
Hide
Permalink
David Grove added a comment -

bulk defer to 2.3.2

Show
David Grove added a comment - bulk defer to 2.3.2

People

  • Assignee:
    Vijay Saraswat
    Reporter:
    Yoav Zibin
Vote (0)
Watch (1)

Dates

  • Created:
    Updated: