X10
  1. X10
  2. XTENLANG-2181

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

          Activity

          Hide
          David Grove added a comment -

          bulk defer to 2.4.1.

          Show
          David Grove added a comment - bulk defer to 2.4.1.
          Hide
          David Grove added a comment -

          defer to 2.4.2

          Show
          David Grove added a comment - defer to 2.4.2
          Hide
          David Grove added a comment -

          bulk defer to 2.4.3

          Show
          David Grove added a comment - bulk defer to 2.4.3
          Hide
          David Grove added a comment -

          bulk defer to 2.4.4

          Show
          David Grove added a comment - bulk defer to 2.4.4
          Hide
          David Grove added a comment -

          defer to 2.5.2.

          Show
          David Grove added a comment - defer to 2.5.2.

            People

            • Assignee:
              Vijay Saraswat
              Reporter:
              Yoav Zibin
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated: