abc.weaving.aspectinfo
Class LexicalPointcut

java.lang.Object
  abc.weaving.aspectinfo.Syntax
      abc.weaving.aspectinfo.Pointcut
          abc.weaving.aspectinfo.LexicalPointcut

Direct Known Subclasses:

EmptyPointcut, FullPointcut, Within, WithinAdvice, WithinConstructor, WithinMethod, WithinStaticInitializer

public abstract class LexicalPointcut
extends Pointcut

A pointcut designator representing a condition on the lexical context

Author:

Ganesh Sittampalam

Nested Class Summary

Nested classes/interfaces inherited from class abc.weaving.aspectinfo.Pointcut

Pointcut.DNF

Constructor Summary

LexicalPointcut(Position pos)

Method Summary

void	getFreeVars(java.util.Set result) Get a list of free variables bound by this pointcut
protected Pointcut	inline(java.util.Hashtable typeEnv, java.util.Hashtable renameEnv, Aspect context, int cflowdepth) Inlining should remove all PointcutRefs, and return a pointcut that is alpha-renamed
protected abstract Residue	matchesAt(SootClass cls, SootMethod method) Do we match at a particular class and method?
Residue	matchesAt(WeavingEnv env, SootClass cls, SootMethod method, ShadowMatch sm) Given a context and weaving environment, produce a residue
void	registerSetupAdvice(Aspect aspct, java.util.Hashtable typeMap) If any synthetic advice is required to implement this pointcut, this method should take care of adding it.

Methods inherited from class abc.weaving.aspectinfo.Pointcut

dnf, freshVar, normalize, toString, unify

Methods inherited from class abc.weaving.aspectinfo.Syntax

getPosition

Methods inherited from class java.lang.Object

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

Constructor Detail

LexicalPointcut

public LexicalPointcut(Position pos)

Method Detail

matchesAt

public final Residue matchesAt(WeavingEnv env,
                               SootClass cls,
                               SootMethod method,
                               ShadowMatch sm)

Description copied from class: Pointcut

Given a context and weaving environment, produce a residue

Specified by:

matchesAt in class Pointcut

matchesAt

protected abstract Residue matchesAt(SootClass cls,
                                     SootMethod method)

Do we match at a particular class and method?

inline

protected Pointcut inline(java.util.Hashtable typeEnv,
                          java.util.Hashtable renameEnv,
                          Aspect context,
                          int cflowdepth)

Description copied from class: Pointcut

Inlining should remove all PointcutRefs, and return a pointcut that is alpha-renamed

Specified by:

inline in class Pointcut

Parameters:

typeEnv - A mapping from pointcut names to the Vars they should be renamed to. If a name isn't in the map, it doesn't need to be renamed.

renameEnv - A mapping from pointcut names to AbcTypes. Every variable that can appear free in the pointcut must be listed. The names are those before any renaming takes place.

context - The Aspect in which the root pointcut is defined. This is required because references to abstract pointcuts must be resolved to the concrete pointcut using this aspect.

cflowdepth - The number of surrounding cflows. This is required to determine the correct precedence for the synthetic advice used to implement cflow.

Returns:

The inlined pointcut

registerSetupAdvice

public void registerSetupAdvice(Aspect aspct,
                                java.util.Hashtable typeMap)

Description copied from class: Pointcut

If any synthetic advice is required to implement this pointcut, this method should take care of adding it.

Specified by:

registerSetupAdvice in class Pointcut

Parameters:

aspct - The aspect in which the pointcut is defined

typeMap - A mapping from formal name to AbcType for all the formal parameters to the pointcut

getFreeVars

public void getFreeVars(java.util.Set result)

Description copied from class: Pointcut

Get a list of free variables bound by this pointcut

Specified by:

getFreeVars in class Pointcut

Parameters:

result - The results should be placed in this set (having it as a parameter allows it to be built up incrementally, which is more efficient than repeatedly taking the union of sets)