package org.eclipse.jdt.internal.compiler.ast; | |
/* | |
* (c) Copyright IBM Corp. 2000, 2001. | |
* All Rights Reserved. | |
*/ | |
import org.eclipse.jdt.internal.compiler.IAbstractSyntaxTreeVisitor; | |
import org.eclipse.jdt.internal.compiler.impl.*; | |
import org.eclipse.jdt.internal.compiler.codegen.*; | |
import org.eclipse.jdt.internal.compiler.flow.*; | |
import org.eclipse.jdt.internal.compiler.lookup.*; | |
public class ExplicitConstructorCall extends Statement implements InvocationSite { | |
public Expression[] arguments; | |
public Expression qualification; | |
public MethodBinding binding; | |
public int accessMode; | |
public final static int ImplicitSuper = 1; | |
public final static int Super = 2; | |
public final static int This = 3; | |
public VariableBinding[][] implicitArguments; | |
boolean discardEnclosingInstance; | |
MethodBinding syntheticAccessor; | |
public ExplicitConstructorCall(int accessMode) { | |
this.accessMode = accessMode; | |
} | |
public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) { | |
// must verify that exceptions potentially thrown by this expression are caught in the method. | |
try { | |
((MethodScope) currentScope).isConstructorCall = true; | |
// process enclosing instance | |
if (qualification != null){ | |
flowInfo = qualification.analyseCode(currentScope, flowContext, flowInfo).unconditionalInits(); | |
} | |
// process arguments | |
if (arguments != null){ | |
for (int i = 0, max = arguments.length; i < max; i++) { | |
flowInfo = arguments[i].analyseCode(currentScope, flowContext, flowInfo).unconditionalInits(); | |
} | |
} | |
ReferenceBinding[] thrownExceptions; | |
if ((thrownExceptions = binding.thrownExceptions) != NoExceptions) { | |
// check exceptions | |
flowContext.checkExceptionHandlers( | |
thrownExceptions, | |
(accessMode == ImplicitSuper) ? (AstNode)currentScope.methodScope().referenceContext : (AstNode)this, | |
flowInfo, | |
currentScope); | |
} | |
manageEnclosingInstanceAccessIfNecessary(currentScope); | |
manageSyntheticAccessIfNecessary(currentScope); | |
return flowInfo; | |
} finally { | |
((MethodScope) currentScope).isConstructorCall = false; | |
} | |
} | |
/** | |
* Constructor call code generation | |
* | |
* @param currentScope org.eclipse.jdt.internal.compiler.lookup.BlockScope | |
* @param codeStream org.eclipse.jdt.internal.compiler.codegen.CodeStream | |
*/ | |
public void generateCode(BlockScope currentScope, CodeStream codeStream) { | |
if ((bits & IsReachableMASK) == 0) { | |
return; | |
} | |
try { | |
((MethodScope) currentScope).isConstructorCall = true; | |
int pc = codeStream.position; | |
codeStream.aload_0(); | |
// handling innerclass constructor invocation | |
ReferenceBinding targetType; | |
if ((targetType = binding.declaringClass).isNestedType()){ | |
codeStream.generateSyntheticArgumentValues(currentScope, targetType, discardEnclosingInstance ? null : qualification, this); | |
} | |
// regular code gen | |
if (arguments != null){ | |
for (int i = 0, max = arguments.length; i < max; i++) { | |
arguments[i].generateCode(currentScope, codeStream, true); | |
} | |
} | |
if (syntheticAccessor != null){ | |
// synthetic accessor got some extra arguments appended to its signature, which need values | |
for (int i = 0, max = syntheticAccessor.parameters.length - binding.parameters.length; i < max; i++){ | |
codeStream.aconst_null(); | |
} | |
codeStream.invokespecial(syntheticAccessor); | |
} else { | |
codeStream.invokespecial(binding); | |
} | |
codeStream.recordPositionsFrom(pc, this); | |
} finally { | |
((MethodScope) currentScope).isConstructorCall = false; | |
} | |
} | |
public boolean isImplicitSuper(){ | |
//return true if I'm of these compiler added statement super(); | |
return (accessMode == ImplicitSuper) ;} | |
public boolean isSuperAccess(){ | |
return accessMode != This; | |
} | |
public boolean isTypeAccess(){ | |
return true; | |
} | |
/* Inner emulation consists in either recording a dependency | |
* link only, or performing one level of propagation. | |
* | |
* Dependency mechanism is used whenever dealing with source target | |
* types, since by the time we reach them, we might not yet know their | |
* exact need. | |
*/ | |
void manageEnclosingInstanceAccessIfNecessary(BlockScope currentScope) { | |
ReferenceBinding invocationType, superType; | |
// perform some emulation work in case there is some and we are inside a local type only | |
if ((superType = binding.declaringClass).isNestedType() | |
&& currentScope.enclosingSourceType().isLocalType()) { | |
if (superType.isLocalType()){ | |
((LocalTypeBinding)superType).addInnerEmulationDependent(currentScope, qualification != null, true); // request direct access | |
} else { | |
// locally propagate, since we already now the desired shape for sure | |
currentScope.propagateInnerEmulation(superType, qualification != null, true); // request direct access | |
} | |
} | |
} | |
public void manageSyntheticAccessIfNecessary(BlockScope currentScope) { | |
// perform some emulation work in case there is some and we are inside a local type only | |
if (binding.isPrivate() && (accessMode != This)) { | |
if (currentScope.environment().options.isPrivateConstructorAccessChangingVisibility){ | |
binding.tagForClearingPrivateModifier(); // constructor will not be dumped as private, no emulation required thus | |
} else { | |
syntheticAccessor = ((SourceTypeBinding) binding.declaringClass).addSyntheticMethod(binding); | |
currentScope.problemReporter().needToEmulateMethodAccess(binding, this); | |
} | |
} | |
} | |
public void resolve(BlockScope scope) { | |
// the return type should be void for a constructor. | |
// the test is made into getConstructor | |
// mark the fact that we are in a constructor call..... | |
// unmark at all returns | |
try { | |
((MethodScope) scope).isConstructorCall = true; | |
ReferenceBinding receiverType = scope.enclosingSourceType(); | |
if (accessMode != This) | |
receiverType = receiverType.superclass(); | |
if (receiverType == null) { | |
return; | |
} | |
// qualification should be from the type of the enclosingType | |
if (qualification != null) { | |
if (accessMode != Super){ | |
scope.problemReporter().unnecessaryEnclosingInstanceSpecification(qualification, receiverType); | |
} | |
ReferenceBinding enclosingType = receiverType.enclosingType(); | |
if (enclosingType == null) { | |
scope.problemReporter().unnecessaryEnclosingInstanceSpecification(qualification, receiverType); | |
discardEnclosingInstance = true; | |
} else { | |
TypeBinding qTb = qualification.resolveTypeExpecting(scope, enclosingType); | |
qualification.implicitWidening(qTb, qTb); | |
} | |
} | |
// arguments buffering for the method lookup | |
TypeBinding[] argTypes = NoParameters; | |
if (arguments != null) { | |
boolean argHasError = false; // typeChecks all arguments | |
int length = arguments.length; | |
argTypes = new TypeBinding[length]; | |
for (int i = 0; i < length; i++) | |
if ((argTypes[i] = arguments[i].resolveType(scope)) == null) | |
argHasError = true; | |
if (argHasError) | |
return; | |
} | |
if ((binding = scope.getConstructor(receiverType, argTypes, this)).isValidBinding()) { | |
if (isMethodUseDeprecated(binding, scope)) | |
scope.problemReporter().deprecatedMethod(binding, this); | |
// see for user-implicit widening conversion | |
if (arguments != null) { | |
int length = arguments.length; | |
TypeBinding[] paramTypes = binding.parameters; | |
for (int i = 0; i < length; i++) | |
arguments[i].implicitWidening(paramTypes[i], argTypes[i]); | |
} | |
} else { | |
if (binding.declaringClass == null) | |
binding.declaringClass = receiverType; | |
scope.problemReporter().invalidConstructor(this, binding); | |
} | |
} finally { | |
((MethodScope) scope).isConstructorCall = false; | |
} | |
} | |
public void setDepth(int depth){ | |
// ignore for here | |
} | |
public void setFieldIndex(int depth){ | |
// ignore for here | |
} | |
public String toString(int tab){ | |
/* slow code */ | |
String s = tabString(tab); | |
if (qualification != null) | |
s = s + qualification.toStringExpression() + "."/*nonNLS*/ ; | |
if (accessMode == This){ | |
s = s + "this("/*nonNLS*/; | |
} else { | |
s = s + "super("/*nonNLS*/; | |
} | |
if (arguments != null) | |
for (int i=0 ; i < arguments.length ; i++) | |
{ s = s + arguments[i].toStringExpression(); | |
if (i != arguments.length-1) s = s + ", "/*nonNLS*/;};; | |
s = s+")"/*nonNLS*/ ; | |
return s;} | |
public void traverse(IAbstractSyntaxTreeVisitor visitor, BlockScope scope) { | |
if (visitor.visit(this, scope)) { | |
if (qualification != null) { | |
qualification.traverse(visitor, scope); | |
} | |
if (arguments != null) { | |
int argumentLength = arguments.length; | |
for (int i = 0; i < argumentLength; i++) | |
arguments[i].traverse(visitor, scope); | |
} | |
} | |
visitor.endVisit(this, scope); | |
} | |
} |