abc.ltl.ast.override
Class PCArgs_c

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

All Implemented Interfaces:

PCArgs, Pointcut, StatebindingPointcut

public class PCArgs_c
extends PCArgs_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.PCArgs_c

pats

Fields inherited from class abc.aspectj.ast.Pointcut_c

initialised

Constructor Summary

PCArgs_c(Position pos, java.util.List pats)

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.PCArgs_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

PCArgs_c

public PCArgs_c(Position pos,
                java.util.List pats)

Parameters:

pos -

pats -

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