[
https://issues.apache.org/jira/browse/GROOVY-12514?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Scott Murphy Heiberg updated GROOVY-12514:
------------------------------------------
Description:
{{N.this}} inside a nested class {{N}} is {{this}}, and {{N.super.m()}} is
{{super.m()}}. The type checker rejects both:
{code:groovy}
class Base { String m() { 'base' } }
@groovy.transform.CompileStatic
class Box {
static class N extends Base {
String id = 'n'
String m() { 'n' }
String test() { N.this.id + ' ' + N.super.m() }
}
}
new Box.N().test()
{code}
{code}
[Static type checking] - No such property: this for Class or static property
for class: Box$N
[Static type checking] - No such property: super for Class or static property
for class: Box$N
{code}
(plus the errors that follow from them for {{id}} and {{m()}}). Dynamic Groovy
returns {{n base}}, and javac accepts the same code. The same errors are
reported under {{@TypeChecked}}, for an inner (non-static) class {{N}}, for
{{N.this.pm()}} and {{N.this.id = 'w'}}, for {{N.super.p}}, and inside a
closure or lambda in {{N}}. {{N.this}} inside an anonymous class created in
{{N}} already works, because {{N}} is an outer class there. Seen in 5.0.8,
6.0.0 and master.
In a top-level class, {{Top.this}} and {{Top.super}} are rejected in every mode
("The usage of 'Class.this' and 'Class.super' is only allowed in nested/inner
classes."), as GROOVY-4321 decided and {{StaticThisTest}} pins, so they are not
part of this issue.
Expected: under {{@TypeChecked}} and {{@CompileStatic}}, {{N.this}} and
{{N.super}} inside the nested class {{N}} mean {{this}} and {{super}}, as in
dynamic Groovy, except in a static context, where they stay an error.
PR: https://github.com/apache/groovy/pull/3044
was:
{{N.this}} inside a nested class {{N}} is {{this}}, and {{N.super.m()}} is
{{super.m()}}. The type checker rejects both:
{code:groovy}
class Base { String m() { 'base' } }
@groovy.transform.CompileStatic
class Box {
static class N extends Base {
String id = 'n'
String m() { 'n' }
String test() { N.this.id + ' ' + N.super.m() }
}
}
new Box.N().test()
{code}
{code}
[Static type checking] - No such property: this for Class or static property
for class: Box$N
[Static type checking] - No such property: super for Class or static property
for class: Box$N
{code}
(plus the errors that follow from them for {{id}} and {{m()}}). Dynamic Groovy
returns {{n base}}, and javac accepts the same code. The same errors are
reported under {{@TypeChecked}}, for an inner (non-static) class {{N}}, for
{{N.this.pm()}} and {{N.this.id = 'w'}}, for {{N.super.p}}, and inside a
closure or lambda in {{N}}. {{N.this}} inside an anonymous class created in
{{N}} already works, because {{N}} is an outer class there. Seen in 5.0.8,
6.0.0 and master.
In a top-level class, {{Top.this}} and {{Top.super}} are rejected in every mode
("The usage of 'Class.this' and 'Class.super' is only allowed in nested/inner
classes."), as GROOVY-4321 decided and {{StaticThisTest}} pins, so they are not
part of this issue.
Expected: under {{@TypeChecked}} and {{@CompileStatic}}, {{N.this}} and
{{N.super}} inside the nested class {{N}} mean {{this}} and {{super}}, as in
dynamic Groovy, except in a static context, where they stay an error.
> STC: qualified this or super naming the current nested class (N.this, N.super
> inside N) is rejected
> ---------------------------------------------------------------------------------------------------
>
> Key: GROOVY-12514
> URL: https://issues.apache.org/jira/browse/GROOVY-12514
> Project: Groovy
> Issue Type: Bug
> Components: Compiler, Static Type Checker
> Affects Versions: 6.0.0
> Reporter: Scott Murphy Heiberg
> Priority: Major
>
> {{N.this}} inside a nested class {{N}} is {{this}}, and {{N.super.m()}} is
> {{super.m()}}. The type checker rejects both:
> {code:groovy}
> class Base { String m() { 'base' } }
> @groovy.transform.CompileStatic
> class Box {
> static class N extends Base {
> String id = 'n'
> String m() { 'n' }
> String test() { N.this.id + ' ' + N.super.m() }
> }
> }
> new Box.N().test()
> {code}
> {code}
> [Static type checking] - No such property: this for Class or static property
> for class: Box$N
> [Static type checking] - No such property: super for Class or static property
> for class: Box$N
> {code}
> (plus the errors that follow from them for {{id}} and {{m()}}). Dynamic
> Groovy returns {{n base}}, and javac accepts the same code. The same errors
> are reported under {{@TypeChecked}}, for an inner (non-static) class {{N}},
> for {{N.this.pm()}} and {{N.this.id = 'w'}}, for {{N.super.p}}, and inside a
> closure or lambda in {{N}}. {{N.this}} inside an anonymous class created in
> {{N}} already works, because {{N}} is an outer class there. Seen in 5.0.8,
> 6.0.0 and master.
> In a top-level class, {{Top.this}} and {{Top.super}} are rejected in every
> mode ("The usage of 'Class.this' and 'Class.super' is only allowed in
> nested/inner classes."), as GROOVY-4321 decided and {{StaticThisTest}} pins,
> so they are not part of this issue.
> Expected: under {{@TypeChecked}} and {{@CompileStatic}}, {{N.this}} and
> {{N.super}} inside the nested class {{N}} mean {{this}} and {{super}}, as in
> dynamic Groovy, except in a static context, where they stay an error.
> PR: https://github.com/apache/groovy/pull/3044
--
This message was sent by Atlassian Jira
(v10.3.26#10030026)
