Skip to content

Commit

Permalink
Fix for #935: restore property semantics for PoppingMethodCallExpression
Browse files Browse the repository at this point in the history
  • Loading branch information
eric-milles committed Aug 9, 2019
1 parent 3f583d3 commit 19a1249
Show file tree
Hide file tree
Showing 6 changed files with 285 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -29,12 +29,13 @@

import java.util.Arrays;

import static java.beans.Introspector.decapitalize;

/**
* Contains helper methods aimed at facilitating the generation of statically compiled bytecode for property access.
*
* @since 2.4.0
* Facilitates the generation of statically-compiled bytecode for property access.
*/
public abstract class StaticPropertyAccessHelper {

public static Expression transformToSetterCall(
Expression receiver,
MethodNode setterMethod,
Expand Down Expand Up @@ -103,7 +104,10 @@ private static class PoppingMethodCallExpression extends MethodCallExpression {
private final TemporaryVariableExpression tmp;

public PoppingMethodCallExpression(final Expression receiver, final MethodNode setterMethod, final TemporaryVariableExpression tmp) {
super(receiver, setterMethod.getName(), tmp);
// GRECLIPSE edit -- retaian property semantics on the method expression
super(receiver, decapitalize(setterMethod.getName().substring(3)), tmp);
//super(receiver, setterMethod.getName(), tmp);
// GRECLIPSE end
this.receiver = receiver;
this.setter = setterMethod;
this.tmp = tmp;
Expand Down
1 change: 1 addition & 0 deletions base/org.codehaus.groovy25/.checkstyle
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@
<file-match-pattern match-pattern="groovy/classgen/asm/CompileStack.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/StatementWriter.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/sc/StaticInvocationWriter.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/sc/StaticPropertyAccessHelper.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/sc/StaticTypesCallSiteWriter.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/control/CompilationUnit.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/control/CompilerConfiguration.java" include-pattern="false" />
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,137 @@
/*
* 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 org.codehaus.groovy.classgen.asm.sc;

import org.codehaus.groovy.ast.GroovyCodeVisitor;
import org.codehaus.groovy.ast.MethodNode;
import org.codehaus.groovy.ast.expr.Expression;
import org.codehaus.groovy.ast.expr.ExpressionTransformer;
import org.codehaus.groovy.ast.expr.MethodCallExpression;
import org.codehaus.groovy.classgen.AsmClassGenerator;
import org.codehaus.groovy.transform.sc.ListOfExpressionsExpression;
import org.codehaus.groovy.transform.sc.TemporaryVariableExpression;

import java.util.Arrays;

import static java.beans.Introspector.decapitalize;

/**
* Facilitates the generation of statically-compiled bytecode for property access.
*/
public abstract class StaticPropertyAccessHelper {

public static Expression transformToSetterCall(
Expression receiver,
MethodNode setterMethod,
final Expression arguments,
boolean implicitThis,
boolean safe,
boolean spreadSafe,
boolean requiresReturnValue,
Expression location) {
if (requiresReturnValue) {
TemporaryVariableExpression tmp = new TemporaryVariableExpression(arguments);
PoppingMethodCallExpression call = new PoppingMethodCallExpression(receiver, setterMethod, tmp);
call.setImplicitThis(implicitThis);
call.setSafe(safe);
call.setSpreadSafe(spreadSafe);
call.setSourcePosition(location);
PoppingListOfExpressionsExpression result = new PoppingListOfExpressionsExpression(tmp, call);
result.setSourcePosition(location);
return result;
} else {
MethodCallExpression call = new MethodCallExpression(
receiver,
setterMethod.getName(),
arguments
);
call.setImplicitThis(implicitThis);
call.setSafe(safe);
call.setSpreadSafe(spreadSafe);
call.setMethodTarget(setterMethod);
call.setSourcePosition(location);
return call;
}
}

private static class PoppingListOfExpressionsExpression extends ListOfExpressionsExpression {
private final TemporaryVariableExpression tmp;
private final PoppingMethodCallExpression call;

public PoppingListOfExpressionsExpression(final TemporaryVariableExpression tmp, final PoppingMethodCallExpression call) {
super(Arrays.asList(
tmp,
call
));
this.tmp = tmp;
this.call = call;
}

@Override
public Expression transformExpression(final ExpressionTransformer transformer) {
PoppingMethodCallExpression tcall = (PoppingMethodCallExpression) call.transformExpression(transformer);
return new PoppingListOfExpressionsExpression(tcall.tmp, tcall);
}

@Override
public void visit(final GroovyCodeVisitor visitor) {
super.visit(visitor);
if (visitor instanceof AsmClassGenerator) {
tmp.remove(((AsmClassGenerator) visitor).getController());
}
}
}

private static class PoppingMethodCallExpression extends MethodCallExpression {
private final Expression receiver;
private final MethodNode setter;
private final TemporaryVariableExpression tmp;

public PoppingMethodCallExpression(final Expression receiver, final MethodNode setterMethod, final TemporaryVariableExpression tmp) {
// GRECLIPSE edit -- retaian property semantics on the method expression
super(receiver, decapitalize(setterMethod.getName().substring(3)), tmp);
//super(receiver, setterMethod.getName(), tmp);
// GRECLIPSE end
this.receiver = receiver;
this.setter = setterMethod;
this.tmp = tmp;
setMethodTarget(setterMethod);
}

@Override
public Expression transformExpression(final ExpressionTransformer transformer) {
PoppingMethodCallExpression trn = new PoppingMethodCallExpression(receiver.transformExpression(transformer), setter, (TemporaryVariableExpression) tmp.transformExpression(transformer));
trn.copyNodeMetaData(this);
trn.setSourcePosition(this);
trn.setImplicitThis(isImplicitThis());
trn.setSafe(isSafe());
trn.setSpreadSafe(isSpreadSafe());
return trn;
}

@Override
public void visit(final GroovyCodeVisitor visitor) {
super.visit(visitor);
if (visitor instanceof AsmClassGenerator) {
// ignore the return of the call
((AsmClassGenerator) visitor).getController().getOperandStack().pop();
}
}
}
}
1 change: 1 addition & 0 deletions base/org.codehaus.groovy30/.checkstyle
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,7 @@
<file-match-pattern match-pattern="groovy/classgen/asm/BytecodeHelper.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/CompileStack.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/StatementWriter.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/classgen/asm/sc/StaticPropertyAccessHelper.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/control/CompilationUnit.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/control/CompilerConfiguration.java" include-pattern="false" />
<file-match-pattern match-pattern="groovy/control/ErrorCollector.java" include-pattern="false" />
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,137 @@
/*
* 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 org.codehaus.groovy.classgen.asm.sc;

import org.codehaus.groovy.ast.GroovyCodeVisitor;
import org.codehaus.groovy.ast.MethodNode;
import org.codehaus.groovy.ast.expr.Expression;
import org.codehaus.groovy.ast.expr.ExpressionTransformer;
import org.codehaus.groovy.ast.expr.MethodCallExpression;
import org.codehaus.groovy.classgen.AsmClassGenerator;
import org.codehaus.groovy.transform.sc.ListOfExpressionsExpression;
import org.codehaus.groovy.transform.sc.TemporaryVariableExpression;

import java.util.Arrays;

import static java.beans.Introspector.decapitalize;

/**
* Facilitates the generation of statically-compiled bytecode for property access.
*/
public abstract class StaticPropertyAccessHelper {

public static Expression transformToSetterCall(
Expression receiver,
MethodNode setterMethod,
final Expression arguments,
boolean implicitThis,
boolean safe,
boolean spreadSafe,
boolean requiresReturnValue,
Expression location) {
if (requiresReturnValue) {
TemporaryVariableExpression tmp = new TemporaryVariableExpression(arguments);
PoppingMethodCallExpression call = new PoppingMethodCallExpression(receiver, setterMethod, tmp);
call.setImplicitThis(implicitThis);
call.setSafe(safe);
call.setSpreadSafe(spreadSafe);
call.setSourcePosition(location);
PoppingListOfExpressionsExpression result = new PoppingListOfExpressionsExpression(tmp, call);
result.setSourcePosition(location);
return result;
} else {
MethodCallExpression call = new MethodCallExpression(
receiver,
setterMethod.getName(),
arguments
);
call.setImplicitThis(implicitThis);
call.setSafe(safe);
call.setSpreadSafe(spreadSafe);
call.setMethodTarget(setterMethod);
call.setSourcePosition(location);
return call;
}
}

private static class PoppingListOfExpressionsExpression extends ListOfExpressionsExpression {
private final TemporaryVariableExpression tmp;
private final PoppingMethodCallExpression call;

public PoppingListOfExpressionsExpression(final TemporaryVariableExpression tmp, final PoppingMethodCallExpression call) {
super(Arrays.asList(
tmp,
call
));
this.tmp = tmp;
this.call = call;
}

@Override
public Expression transformExpression(final ExpressionTransformer transformer) {
PoppingMethodCallExpression tcall = (PoppingMethodCallExpression) call.transformExpression(transformer);
return new PoppingListOfExpressionsExpression(tcall.tmp, tcall);
}

@Override
public void visit(final GroovyCodeVisitor visitor) {
super.visit(visitor);
if (visitor instanceof AsmClassGenerator) {
tmp.remove(((AsmClassGenerator) visitor).getController());
}
}
}

private static class PoppingMethodCallExpression extends MethodCallExpression {
private final Expression receiver;
private final MethodNode setter;
private final TemporaryVariableExpression tmp;

public PoppingMethodCallExpression(final Expression receiver, final MethodNode setterMethod, final TemporaryVariableExpression tmp) {
// GRECLIPSE edit -- retaian property semantics on the method expression
super(receiver, decapitalize(setterMethod.getName().substring(3)), tmp);
//super(receiver, setterMethod.getName(), tmp);
// GRECLIPSE end
this.receiver = receiver;
this.setter = setterMethod;
this.tmp = tmp;
setMethodTarget(setterMethod);
}

@Override
public Expression transformExpression(final ExpressionTransformer transformer) {
PoppingMethodCallExpression trn = new PoppingMethodCallExpression(receiver.transformExpression(transformer), setter, (TemporaryVariableExpression) tmp.transformExpression(transformer));
trn.copyNodeMetaData(this);
trn.setSourcePosition(this);
trn.setImplicitThis(isImplicitThis());
trn.setSafe(isSafe());
trn.setSpreadSafe(isSpreadSafe());
return trn;
}

@Override
public void visit(final GroovyCodeVisitor visitor) {
super.visit(visitor);
if (visitor instanceof AsmClassGenerator) {
// ignore the return of the call
((AsmClassGenerator) visitor).getController().getOperandStack().pop();
}
}
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,7 @@ public TypeLookupResult lookupType(final Expression expr, final VariableScope sc
} else if (enclosingNode instanceof MethodCallExpression && ((MethodCallExpression) enclosingNode).getMethod() == expr) {
methodTarget = enclosingNode.getNodeMetaData(StaticTypesMarker.DIRECT_METHOD_CALL_TARGET);
if (methodTarget == null) methodTarget = getMopMethodTarget((MethodCallExpression) enclosingNode);
if (methodTarget == null) methodTarget = ((MethodCallExpression) enclosingNode).getMethodTarget();
}

if (methodTarget instanceof ExtensionMethodNode) {
Expand Down

0 comments on commit 19a1249

Please sign in to comment.