abc.weaving.aspectinfo
Class ThisVar

java.lang.Object
  extended by abc.weaving.aspectinfo.Syntax
      extended by abc.weaving.aspectinfo.Pointcut
          extended by abc.weaving.aspectinfo.DynamicValuePointcut
              extended by abc.weaving.aspectinfo.ThisAny
                  extended by abc.weaving.aspectinfo.ThisVar

public class ThisVar
extends ThisAny

Handler for this condition pointcut with a variable argument.

Author:
Aske Simon Christensen, Ganesh Sittampalam, Damien Sereni

Nested Class Summary
 
Nested classes/interfaces inherited from class abc.weaving.aspectinfo.Pointcut
Pointcut.DNF
 
Constructor Summary
ThisVar(Var var, Position pos)
           
 
Method Summary
 void getFreeVars(java.util.Set result)
          Get a list of free variables bound by this pointcut
 Var getVar()
          Get the pointcut variable that is bound by this this pointcut.
protected  Pointcut inline(java.util.Hashtable renameEnv, java.util.Hashtable typeEnv, Aspect context, int cflowdepth)
          Inlining should remove all PointcutRefs, and return a pointcut that is alpha-renamed
protected  Residue matchesAt(WeavingEnv we, ContextValue cv)
           
 java.lang.String toString()
          Subclasses must define toString, for debugging purposes
 boolean unify(Pointcut otherpc, Unification unification)
          Attempt to unify two pointcuts. pc.unify(pc', unification) should return true if the pointcuts can be unified, and set the renamings appropriately in unification.
 
Methods inherited from class abc.weaving.aspectinfo.ThisAny
matchesAt, registerSetupAdvice
 
Methods inherited from class abc.weaving.aspectinfo.Pointcut
dnf, freshVar, normalize
 
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

ThisVar

public ThisVar(Var var,
               Position pos)
Method Detail

getVar

public Var getVar()
Get the pointcut variable that is bound by this this pointcut.


toString

public java.lang.String toString()
Description copied from class: Pointcut
Subclasses must define toString, for debugging purposes

Overrides:
toString in class ThisAny

matchesAt

protected Residue matchesAt(WeavingEnv we,
                            ContextValue cv)
Overrides:
matchesAt in class ThisAny

inline

protected Pointcut inline(java.util.Hashtable renameEnv,
                          java.util.Hashtable typeEnv,
                          Aspect context,
                          int cflowdepth)
Description copied from class: Pointcut
Inlining should remove all PointcutRefs, and return a pointcut that is alpha-renamed

Overrides:
inline in class DynamicValuePointcut
Parameters:
renameEnv - 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.
typeEnv - 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

getFreeVars

public void getFreeVars(java.util.Set result)
Description copied from class: Pointcut
Get a list of free variables bound by this pointcut

Overrides:
getFreeVars in class ThisAny
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)

unify

public boolean unify(Pointcut otherpc,
                     Unification unification)
Description copied from class: Pointcut
Attempt to unify two pointcuts. pc.unify(pc', unification) should return true if the pointcuts can be unified, and set the renamings appropriately in unification. There are two cases for unification: if unification.unifyWithFirst() is true, then the unification should only succeed if this pc can be renamed to pc', with the unification pointcut equal to this. Otherwise, the unification pointcut can be anything, as long as it can be renamed both to this and pc'.

A default implementation is provided, but all subclasses should override this - otherwise cflow CSE will be disabled for cflow that use these pointcuts.

Typical implementations for pointcuts that introduce no free variables are straightforward (see the And pointcut, for example). For pointcuts that introduce free variables, the Var.unify method is used to actually update the renamings (see the Args pointcut).

Overrides:
unify in class ThisAny
Parameters:
otherpc - the pointcut that should be unify with this
unification - the Unification that should be set.
Returns:
true iff the unification is succesful. If true is returned, then Unification.setPointcut(the unified pointcut) must have been called in the body of unify().
See Also:
AndPointcut.unify example, Var.unify, Unification