X10

Why can't I use this or self in a class invariant?

Details

  • Number of attachments :
    0

Description

I can't write neither:

class A(i:Int) {this.i==4}  {}
class B(i:Int) {self.i==4}  {}

Errors:
C:\cygwin\home\Yoav\test\Hello.x10:3: This or super cannot be used (implicitly or explicitly) in a constructor return type.    
     	 Type: A{A#this.i==4, self.i==i}
C:\cygwin\home\Yoav\test\Hello.x10:4: self may only be used within a dependent type
2 errors.

I think we should allow both, and they should refer to the same object.

Issue Links

is depended upon by

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-2742 "self" should be allowed in class invariants.

  • Major - Major loss of function.
  • Open - The issue is open and ready for the assignee to start work on it.

Improvement - An improvement or enhancement to an existing feature or task. XTENLANG-2439 X10 2.2 language design decisions (umbrella)

  • Blocker - Blocks development and/or testing work, production could not run
  • Closed - The issue is considered finished, the resolution is correct. Issues which are not closed can be reopened.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
Igor Peshansky added a comment -

Bulk-assigning unscheduled issues to the next release.

Show
Igor Peshansky added a comment - Bulk-assigning unscheduled issues to the next release.
Hide
Permalink
David Grove added a comment -

bulk defer of unresolved 2.1.0 bugs to 2.1.1.

Show
David Grove added a comment - bulk defer of unresolved 2.1.0 bugs to 2.1.1.
Hide
Permalink
David Grove added a comment -

bulk move of all unresolved issues from 2.1.1 to 2.1.2

Show
David Grove added a comment - bulk move of all unresolved issues from 2.1.1 to 2.1.2
Hide
Permalink
Vijay Saraswat added a comment -

The class invariant must be checked after the property statement in every constructor of that class. At this point, all the properties of the class are known to be initialized, and none of the fields are known to be initialized. Therefore this cannot be in scope in the invariant, however self can be.

So we should make the following work:

class A(i:Int) {self.i==4}  {} //. Also permit class A(i:Int){i==4}.
Show
Vijay Saraswat added a comment - The class invariant must be checked after the property statement in every constructor of that class. At this point, all the properties of the class are known to be initialized, and none of the fields are known to be initialized. Therefore this cannot be in scope in the invariant, however self can be. So we should make the following work: class A(i:Int) {self.i==4} {} //. Also permit class A(i:Int){i==4}.
Hide
Permalink
Vijay Saraswat added a comment -

Lets implement for 2.2, but given low priority.

Show
Vijay Saraswat added a comment - Lets implement for 2.2, but given low priority.
Hide
Permalink
David Grove added a comment -

bulk defer minor/trivial issues to 2.2.1.

Show
David Grove added a comment - bulk defer minor/trivial issues to 2.2.1.
Hide
Permalink
Bard Bloom added a comment -

As of July 13 2011, Vijay regretfully declared that "self" can appear in class invariants, super types, and interfaces, and that "this" cannot.

Show
Bard Bloom added a comment - As of July 13 2011, Vijay regretfully declared that "self" can appear in class invariants, super types, and interfaces, and that "this" cannot.
Hide
Permalink
David Grove added a comment -

bulk defer minor issues to 2.2.2.

Show
David Grove added a comment - bulk defer minor 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:
    Unassigned
    Reporter:
    Yoav Zibin
Vote (0)
Watch (3)

Dates

  • Created:
    Updated:

Time Tracking

Estimated:
3d
Original Estimate - 3 days
Remaining:
3d
Remaining Estimate - 3 days
Logged:
Not Specified
Time Spent - Not Specified