Class ThisReference

java.lang.Object
org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode
org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement
org.aspectj.org.eclipse.jdt.internal.compiler.ast.Expression
org.aspectj.org.eclipse.jdt.internal.compiler.ast.Reference
org.aspectj.org.eclipse.jdt.internal.compiler.ast.ThisReference
All Implemented Interfaces:
TypeConstants, TypeIds
Direct Known Subclasses:
CodeSnippetThisReference, QualifiedThisReference, SuperReference
public class ThisReference extends Reference

  • Field Details

    • inFieldReference

      public boolean inFieldReference

  • Constructor Details

    • ThisReference

      public ThisReference(int sourceStart, int sourceEnd)

  • Method Details

    • implicitThis

      public static ThisReference implicitThis()

    • analyseAssignment

      public FlowInfo analyseAssignment(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo, Assignment assignment, boolean isCompound)
      Specified by:
      analyseAssignment in class Reference

    • checkAccess

      public boolean checkAccess(BlockScope scope, ReferenceBinding receiverType)

    • checkNPE

      public boolean checkNPE(BlockScope scope, FlowContext flowContext, FlowInfo flowInfo, int ttlForFieldCheck)
      Description copied from class: Expression
      Check this expression against potential NPEs, which may occur:
      • if the expression is the receiver in a field access, qualified allocation, array reference or message send incl. implicit message sends like it happens for the collection in a foreach statement.
      • if the expression is subject to unboxing
      • if the expression is the exception in a throw statement
      If a risk of NPE is detected report it to the context. If the expression denotes a local variable, mark it as checked, which affects the flow info.
      Overrides:
      checkNPE in class Reference
      Parameters:
      scope - the scope of the analysis
      flowContext - the current flow context
      flowInfo - the upstream flow info; caveat: may get modified
      ttlForFieldCheck - if this is a reference to a field we will mark that field as nonnull for the specified timeToLive
      Returns:
      could this expression be checked by the current implementation?

    • generateAssignment

      public void generateAssignment(BlockScope currentScope, CodeStream codeStream, Assignment assignment, boolean valueRequired)
      Specified by:
      generateAssignment in class Reference

    • generateCode

      public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
      Description copied from class: Expression
      Every expression is responsible for generating its implicit conversion when necessary.
      Overrides:
      generateCode in class Expression
      Parameters:
      currentScope - org.eclipse.jdt.internal.compiler.lookup.BlockScope
      codeStream - org.eclipse.jdt.internal.compiler.codegen.CodeStream
      valueRequired - boolean

    • generateCompoundAssignment

      public void generateCompoundAssignment(BlockScope currentScope, CodeStream codeStream, Expression expression, int operator, int assignmentImplicitConversion, boolean valueRequired)
      Specified by:
      generateCompoundAssignment in class Reference

    • generatePostIncrement

      public void generatePostIncrement(BlockScope currentScope, CodeStream codeStream, CompoundAssignment postIncrement, boolean valueRequired)
      Specified by:
      generatePostIncrement in class Reference

    • isImplicitThis

      public boolean isImplicitThis()
      Overrides:
      isImplicitThis in class ASTNode

    • isThis

      public boolean isThis()
      Overrides:
      isThis in class ASTNode

    • nullStatus

      public int nullStatus(FlowInfo flowInfo, FlowContext flowContext)
      Overrides:
      nullStatus in class Reference

    • printExpression

      public StringBuilder printExpression(int indent, StringBuilder output)
      Specified by:
      printExpression in class Expression

    • resolveType

      public TypeBinding resolveType(BlockScope scope)
      Description copied from class: Expression
      Resolve the type of this expression in the context of a blockScope
      Overrides:
      resolveType in class Expression
      Returns:
      Return the actual type of this expression after resolution

    • traverse

      public void traverse(ASTVisitor visitor, BlockScope blockScope)
      Description copied from class: Expression
      Traverse an expression in the context of a blockScope
      Overrides:
      traverse in class Expression

    • traverse

      public void traverse(ASTVisitor visitor, ClassScope blockScope)
      Description copied from class: Expression
      Traverse an expression in the context of a classScope
      Overrides:
      traverse in class Expression