|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
AdviceSpec interface.Stage that provides base functionality such as updating shadows and running assertion checks.NodePredicate.
ReweavingAnalysis with empty bodies.InlineTag to Unit.
InstructionInlineTags to Unit.
this.
this.
ReachableShadowFinder.reachableShadows
thisJoinPoint
and, if it is around-advice, proceed().RelAdviceDecl if the relational modifier is set or an AdviceDecl otherwise.
before(int x) // the "advice spec"
:
call(* fac(*)) && args(x) // pointcut
{ System.out.println(x);} // body
afterreturning or afterthrowing. afterreturning or afterthrowing.SymbolDecl that gives the warning that the advice never matches, in case
the synbol never matches.
SymbolDecl that gives the warning that the advice never matches, in case
the synbol never matches.
MethodCategory
says that it can be woven inside.
Constraint.applyDistributiveLaw() on all constraints and returns the result.
args condition pointcut.args pointcut.
AspectBody represents the body of an aspect
declaration.AspectBody represents the body of an aspect
declarationAspectDecl represents a top-level, member, or local class
declaration.AspectDecl is the definition of an aspect, abstract aspect,
or privileged.ContainsAspectInfo and
tells them to put their information into the GlobalAspectInfo.cast shadow pointcut.cflow condition pointcut.cflowbelow condition pointcut.cflowdepth pointcut.cflowdepth pointcut.ct implements all abstract methods required;
that is, if it is a concrete class, then it must implement all
interfaces and abstract methods that it or it's superclasses declare, and if
it is an abstract class then any methods that it overrides are overridden
correctly.
initialization shadow pointcut.Jimplify pass.soot.SootMethod
in each weaveable class to a MethodAdviceList for that method.
declare precedence declarations in the program.FlowInsensitiveAnalysis.call shadow pointcut with a constructor pattern.GlobalAspectInfo.true if the element is in the universe.
true if any element in the universe is mapped to this value.
true if according to this configuration, the final state
may have been reached with a variable binding compatible to the one of the
given shadow.
DemandCSPointsTo that first queries the on demand analysis with call graph refinement and in case it fails
then tries again without refinement.AdviceDecl which generates customized warnings, based on the waring type.PerSymbolAdviceDecl_c which generates customized warnings, based on the waring type.DeclareDecl represents a declare declaration.declare warning or declare error declaration.declare parents declarationdeclare parents declaration.
declare parents
declarations.declare parents ..declare parents extending a class.
declare parents ..declare parents implementing a list of interfaces.
declare precedence.
declare soft declaration.