Return-Path: X-Original-To: archive-asf-public-internal@cust-asf2.ponee.io Delivered-To: archive-asf-public-internal@cust-asf2.ponee.io Received: from cust-asf.ponee.io (cust-asf.ponee.io [163.172.22.183]) by cust-asf2.ponee.io (Postfix) with ESMTP id ED099200BBE for ; Fri, 28 Oct 2016 06:17:36 +0200 (CEST) Received: by cust-asf.ponee.io (Postfix) id EB9BF160B01; Fri, 28 Oct 2016 04:17:36 +0000 (UTC) Delivered-To: archive-asf-public@cust-asf.ponee.io Received: from mail.apache.org (hermes.apache.org [140.211.11.3]) by cust-asf.ponee.io (Postfix) with SMTP id 1550A160AF6 for ; Fri, 28 Oct 2016 06:17:35 +0200 (CEST) Received: (qmail 61110 invoked by uid 500); 28 Oct 2016 04:17:34 -0000 Mailing-List: contact commits-help@groovy.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@groovy.apache.org Delivered-To: mailing list commits@groovy.apache.org Received: (qmail 61092 invoked by uid 99); 28 Oct 2016 04:17:34 -0000 Received: from git1-us-west.apache.org (HELO git1-us-west.apache.org) (140.211.11.23) by apache.org (qpsmtpd/0.29) with ESMTP; Fri, 28 Oct 2016 04:17:34 +0000 Received: by git1-us-west.apache.org (ASF Mail Server at git1-us-west.apache.org, from userid 33) id BB6B1E05E1; Fri, 28 Oct 2016 04:17:34 +0000 (UTC) Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: paulk@apache.org To: commits@groovy.apache.org Message-Id: X-Mailer: ASF-Git Admin Mailer Subject: groovy git commit: GROOVY-7973: Class.this not evaluated correctly within a closure within an inner class (closes #451) Date: Fri, 28 Oct 2016 04:17:34 +0000 (UTC) archived-at: Fri, 28 Oct 2016 04:17:37 -0000 Repository: groovy Updated Branches: refs/heads/GROOVY_2_4_X abbd0bd27 -> c6519a336 GROOVY-7973: Class.this not evaluated correctly within a closure within an inner class (closes #451) Project: http://git-wip-us.apache.org/repos/asf/groovy/repo Commit: http://git-wip-us.apache.org/repos/asf/groovy/commit/c6519a33 Tree: http://git-wip-us.apache.org/repos/asf/groovy/tree/c6519a33 Diff: http://git-wip-us.apache.org/repos/asf/groovy/diff/c6519a33 Branch: refs/heads/GROOVY_2_4_X Commit: c6519a336aa826daa6f923d6330a565b547e8296 Parents: abbd0bd Author: paulk Authored: Thu Oct 27 20:51:22 2016 +1000 Committer: paulk Committed: Fri Oct 28 14:17:17 2016 +1000 ---------------------------------------------------------------------- .../groovy/classgen/AsmClassGenerator.java | 17 ++-- .../stc/StaticTypeCheckingVisitor.java | 18 ++-- src/test/groovy/bugs/Groovy7973Bug.groovy | 94 ++++++++++++++++++++ 3 files changed, 116 insertions(+), 13 deletions(-) ---------------------------------------------------------------------- http://git-wip-us.apache.org/repos/asf/groovy/blob/c6519a33/src/main/org/codehaus/groovy/classgen/AsmClassGenerator.java ---------------------------------------------------------------------- diff --git a/src/main/org/codehaus/groovy/classgen/AsmClassGenerator.java b/src/main/org/codehaus/groovy/classgen/AsmClassGenerator.java index e1d17da..5ac7495 100644 --- a/src/main/org/codehaus/groovy/classgen/AsmClassGenerator.java +++ b/src/main/org/codehaus/groovy/classgen/AsmClassGenerator.java @@ -949,16 +949,21 @@ public class AsmClassGenerator extends ClassGenerator { String ownerName = BytecodeHelper.getClassInternalName(iterType); if (iterType.getOuterClass()==null) break; FieldNode thisField = iterType.getField("this$0"); - if (thisField==null) break; - ClassNode thisFieldType = thisField.getType(); iterType = iterType.getOuterClass(); - if (ClassHelper.CLOSURE_TYPE.equals(thisFieldType)) { - mv.visitFieldInsn(GETFIELD, ownerName, "this$0", BytecodeHelper.getTypeDescription(ClassHelper.CLOSURE_TYPE)); + if (thisField == null) { + // closure within inner class mv.visitMethodInsn(INVOKEVIRTUAL, BytecodeHelper.getClassInternalName(ClassHelper.CLOSURE_TYPE), "getThisObject", "()Ljava/lang/Object;", false); mv.visitTypeInsn(CHECKCAST, BytecodeHelper.getClassInternalName(iterType)); } else { - String typeName = BytecodeHelper.getTypeDescription(iterType); - mv.visitFieldInsn(GETFIELD, ownerName, "this$0", typeName); + ClassNode thisFieldType = thisField.getType(); + if (ClassHelper.CLOSURE_TYPE.equals(thisFieldType)) { + mv.visitFieldInsn(GETFIELD, ownerName, "this$0", BytecodeHelper.getTypeDescription(ClassHelper.CLOSURE_TYPE)); + mv.visitMethodInsn(INVOKEVIRTUAL, BytecodeHelper.getClassInternalName(ClassHelper.CLOSURE_TYPE), "getThisObject", "()Ljava/lang/Object;", false); + mv.visitTypeInsn(CHECKCAST, BytecodeHelper.getClassInternalName(iterType)); + } else { + String typeName = BytecodeHelper.getTypeDescription(iterType); + mv.visitFieldInsn(GETFIELD, ownerName, "this$0", typeName); + } } } controller.getOperandStack().push(type); http://git-wip-us.apache.org/repos/asf/groovy/blob/c6519a33/src/main/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java ---------------------------------------------------------------------- diff --git a/src/main/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java b/src/main/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java index d91a401..5564ab2 100644 --- a/src/main/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java +++ b/src/main/org/codehaus/groovy/transform/stc/StaticTypeCheckingVisitor.java @@ -1179,16 +1179,20 @@ public class StaticTypeCheckingVisitor extends ClassCodeVisitorSupport { boolean staticOnlyAccess = isClassClassNodeWrappingConcreteType(objectExpressionType); if ("this".equals(propertyName) && staticOnlyAccess) { - // Outer.this + // Outer.this for any level of nesting ClassNode outerNode = objectExpressionType.getGenericsTypes()[0].getType(); - ClassNode current = typeCheckingContext.getEnclosingClassNode(); - if (!current.isStaticClass() && current instanceof InnerClassNode) { - InnerClassNode icn = (InnerClassNode) current; - if (outerNode.equals(icn.getOuterClass())) { - storeType(pexp, outerNode); - return true; + List candidates = typeCheckingContext.getEnclosingClassNodes(); + ClassNode found = null; + for (ClassNode current : candidates) { + if (!current.isStaticClass() && current instanceof InnerClassNode && outerNode.equals(current.getOuterClass())) { + found = current; + break; } } + if (found != null) { + storeType(pexp, outerNode); + return true; + } } if (objectExpressionType.isArray() && "length".equals(pexp.getPropertyAsString())) { http://git-wip-us.apache.org/repos/asf/groovy/blob/c6519a33/src/test/groovy/bugs/Groovy7973Bug.groovy ---------------------------------------------------------------------- diff --git a/src/test/groovy/bugs/Groovy7973Bug.groovy b/src/test/groovy/bugs/Groovy7973Bug.groovy new file mode 100644 index 0000000..a6ab96c --- /dev/null +++ b/src/test/groovy/bugs/Groovy7973Bug.groovy @@ -0,0 +1,94 @@ +/* + * Licensed to the Apache Software Foundation (ASF) under one + * or more contributor license agreements. See the NOTICE file + * distributed with this work for additional information + * regarding copyright ownership. The ASF licenses this file + * to you under the Apache License, Version 2.0 (the + * "License"); you may not use this file except in compliance + * with the License. You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, + * software distributed under the License is distributed on an + * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY + * KIND, either express or implied. See the License for the + * specific language governing permissions and limitations + * under the License. + */ +package groovy.bugs + +class Groovy7973Bug extends GroovyTestCase { + + private static final String SCRIPT1 = ''' + class Test { + def op1() { 'A'.with{ this.class.name } } + def op2a() { new Object() { def inner() { + this.class.name + Test.this.class.name + } } } + def op2b() { new Object() { def inner() { + 'B'.with{ this.class.name + Test.this.class.name } + } } } + def op3a() { new Object() { def inner() { new Object() { def innerinner() { + this.class.name + Test$3.this.class.name + Test.this.class.name + } } } } } + def op3b() { new Object() { def inner() { new Object() { def innerinner() { + 'C'.with{ this.class.name + Test$5.this.class.name + Test.this.class.name } + } } } } } + } + + def t = new Test() + assert t.op1() == 'Test' + assert t.op2a().inner() == 'Test$1Test' + assert t.op2b().inner() == 'Test$2Test' + assert t.op3a().inner().innerinner() == 'Test$3$4Test$3Test' + assert t.op3b().inner().innerinner() == 'Test$5$6Test$5Test' + ''' + + private static final String SCRIPT2 = ''' + class Test { + def op1() { this } + def op2() { ''.with{ this } } + def op3() { new Object() { def inner() { this } } } + def op4() { new Object() { def inner() { ''.with{ this } } } } + def op5() { new Object() { def inner() { Test.this } } } + def op6() { new Object() { def inner() { ''.with{ Test.this } } } } + class Inner { + def inner1() { this } + def inner2() { ''.with { this } } + def inner3() { Test.this } + def inner4() { ''.with { Test.this } } + } + } + + def t = new Test() + assert t.op1().class.name == 'Test' + assert t.op2().class.name == 'Test' + assert t.op3().inner().class.name == 'Test$1' + assert t.op4().inner().class.name == 'Test$2' + assert t.op5().inner().class.name == 'Test' + assert t.op6().inner().class.name == 'Test' + + def inner = new Test.Inner(t) + assert inner.inner1().class.name == 'Test$Inner' + assert inner.inner2().class.name == 'Test$Inner' + assert inner.inner3().class.name == 'Test' + assert inner.inner4().class.name == 'Test' + ''' + + void testClassDotThis() { + assertScript SCRIPT1 + } + + void testClassDotThis_CS() { + assertScript '@groovy.transform.CompileStatic\n' + SCRIPT1 + } + + void testClassDotThisAIC() { + assertScript SCRIPT2 + } + + void testClassDotThisAIC_CS() { + assertScript '@groovy.transform.CompileStatic\n' + SCRIPT2 + } +}