abc.ltl.ast.override
Class PCThis_c

java.lang.Object
  Node_c
      abc.aspectj.ast.Pointcut_c
          abc.aspectj.ast.PCThis_c
              abc.ltl.ast.override.PCThis_c

All Implemented Interfaces:

PCThis, Pointcut, StatebindingPointcut

public class PCThis_c
extends PCThis_c
implements StatebindingPointcut

Override to adhere to the StatebindingPointcut interface.

Author:

Eric Bodden

See Also:

StatebindingPointcut

Field Summary

Fields inherited from class abc.aspectj.ast.PCThis_c

pat

Fields inherited from class abc.aspectj.ast.Pointcut_c

initialised

Constructor Summary

PCThis_c(Position pos, ArgPattern pat)

Method Summary

Node[]	patterns()
Node	replaceBindingsByTypes(Formal... declaredFormals) Returns a copy of this node where all bindings in this/target/args have been replaced by the types of those bindings.

Methods inherited from class abc.aspectj.ast.PCThis_c

isDynamic, makeAIPointcut, mayBind, mustBind, pcRefs, precedence, prettyPrint, reconstruct, typeCheck, visitChildren

Methods inherited from class abc.aspectj.ast.Pointcut_c

checkFormals, printSubExpr

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface abc.aspectj.ast.Pointcut

checkFormals, printSubExpr

Constructor Detail

PCThis_c

public PCThis_c(Position pos,
                ArgPattern pat)

Parameters:

pos -

pat -

Method Detail

patterns

public Node[] patterns()

Specified by:

patterns in interface StatebindingPointcut

Returns:

The pattern which is used to bind state in this pointcut. Usually of type AmbTypeOrLocal.

See Also:

AmbTypeOrLocal

replaceBindingsByTypes

public Node replaceBindingsByTypes(Formal... declaredFormals)

Returns a copy of this node where all bindings in this/target/args have been replaced by the types of those bindings. E.g. in a pointcut declaration args(i,j) where formals int i, long j have been declared, the result will be args(int,long).

Specified by:

replaceBindingsByTypes in interface StatebindingPointcut

Parameters:

declaredFormals - list of formals that shall be used to resolve types

Returns:

copy of the node where bindings have been replaced by their types