package org.eclipse.jdt.internal.compiler.ast;
import org.eclipse.jdt.internal.compiler.ASTVisitor;
import org.eclipse.jdt.internal.compiler.codegen.*;
import org.eclipse.jdt.internal.compiler.flow.FlowContext;
import org.eclipse.jdt.internal.compiler.flow.FlowInfo;
import org.eclipse.jdt.internal.compiler.impl.Constant;
import org.eclipse.jdt.internal.compiler.lookup.*;
public class ThisReference extends Reference {
public static ThisReference implicitThis(){
ThisReference implicitThis = new ThisReference(0, 0);
implicitThis.bits |= IsImplicitThis;
return implicitThis;
}
public ThisReference(int sourceStart, int sourceEnd) {
this.sourceStart = sourceStart;
this.sourceEnd = sourceEnd;
}
@Override
public FlowInfo analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound) {
return flowInfo;
}
public boolean checkAccess(BlockScope scope, ReferenceBinding receiverType) {
MethodScope methodScope = scope.methodScope();
if (methodScope.isConstructorCall) {
methodScope.problemReporter().fieldsOrThisBeforeConstructorInvocation(this);
return false;
}
if (methodScope.isStatic) {
methodScope.problemReporter().errorThisSuperInStatic(this);
return false;
} else if (this.isUnqualifiedSuper()) {
TypeDeclaration type = methodScope.referenceType();
if (type != null && TypeDeclaration.kind(type.modifiers) == TypeDeclaration.INTERFACE_DECL) {
methodScope.problemReporter().errorNoSuperInInterface(this);
return false;
}
}
if (receiverType != null)
scope.tagAsAccessingEnclosingInstanceStateOf(receiverType, false );
return true;
}
@Override
public boolean checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck) {
return true;
}
@Override
public void generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired) {
}
@Override
public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired) {
int pc = codeStream.position;
if (valueRequired)
codeStream.aload_0();
if ((this.bits & IsImplicitThis) == 0) codeStream.recordPositionsFrom(pc, this.sourceStart);
}
@Override
public void generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired) {
}
@Override
public void generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired) {
}
@Override
public boolean isImplicitThis() {
return (this.bits & IsImplicitThis) != 0;
}
@Override
public boolean isThis() {
return true ;
}
@Override
public int nullStatus(FlowInfo flowInfo, FlowContext flowContext) {
return FlowInfo.NON_NULL;
}
@Override
public StringBuffer printExpression(int indent, StringBuffer output){
if (isImplicitThis()) return output;
return output.append("this");
}
@Override
public TypeBinding resolveType(BlockScope scope) {
this.constant = Constant.NotAConstant;
ReferenceBinding enclosingReceiverType = scope.enclosingReceiverType();
if (!isImplicitThis() &&!checkAccess(scope, enclosingReceiverType)) {
return null;
}
this.resolvedType = enclosingReceiverType;
MethodScope methodScope = scope.namedMethodScope();
if (methodScope != null) {
MethodBinding method = methodScope.referenceMethodBinding();
if (method != null && method.receiver != null && TypeBinding.equalsEquals(method.receiver, this.resolvedType))
this.resolvedType = method.receiver;
}
return this.resolvedType;
}
@Override
public void traverse(ASTVisitor visitor, BlockScope blockScope) {
visitor.visit(this, blockScope);
visitor.endVisit(this, blockScope);
}
@Override
public void traverse(ASTVisitor visitor, ClassScope blockScope) {
visitor.visit(this, blockScope);
visitor.endVisit(this, blockScope);
}
}