Package org.aspectj.weaver.patterns

Class CflowPointcut

java.lang.Object

org.aspectj.weaver.patterns.PatternNode

org.aspectj.weaver.patterns.Pointcut

org.aspectj.weaver.patterns.CflowPointcut

All Implemented Interfaces:

IHasPosition, IHasSourceLocation

public class CflowPointcut
extends Pointcut

Nested Class Summary

Nested classes/interfaces inherited from class org.aspectj.weaver.patterns.Pointcut

Pointcut.State

Field Summary

Fields

Modifier and Type	Field	Description
static final ResolvedPointcutDefinition	CFLOW_MARKER	Used to indicate that we're in the context of a cflow when concretizing if's Will be removed or replaced with something better when we handle this as a non-error

Fields inherited from class org.aspectj.weaver.patterns.Pointcut

AND, ANNOTATION, ARGS, ATARGS, ATTHIS_OR_TARGET, ATWITHIN, ATWITHINCODE, CFLOW, CONCRETE, EMPTY_STRING_ARRAY, HANDLER, hasBeenParameterized, IF, IF_FALSE, IF_TRUE, KINDED, lastMatchedShadowId, m_ignoreUnboundBindingForNames, NONE, NOT, OR, pointcutKind, REFERENCE, RESOLVED, state, SYMBOLIC, THIS_OR_TARGET, USER_EXTENSION, WITHIN, WITHINCODE

Fields inherited from class org.aspectj.weaver.patterns.PatternNode

end, sourceContext, start

Constructor Summary

Constructors

Constructor	Description
CflowPointcut(Pointcut entry, boolean isBelow, int[] freeVars)

Method Summary

Modifier and Type	Method	Description
Object	accept(PatternNodeVisitor visitor, Object data)
Pointcut	concretize1(ResolvedType inAspect, ResolvedType declaringType, IntMap bindings)	Resolves and removes ReferencePointcuts, replacing with basic ones
int	couldMatchKinds()	The set of ShadowKinds that this Pointcut could possibly match - an int whose bits are set according to the Kinds specified in Shadow.java
boolean	equals(Object other)
FuzzyBoolean	fastMatch(FastMatchInfo type)	Could I match any shadows in the code defined within this type?
protected Test	findResidueInternal(Shadow shadow, ExposedState state)
Pointcut	getEntry()
int	hashCode()
boolean	isCflowBelow()
protected FuzzyBoolean	matchInternal(Shadow shadow)
Pointcut	parameterizeWith(Map<String,UnresolvedType> typeVariableMap, World w)
static Pointcut	read(VersionedDataInputStream s, ISourceContext context)
void	resolveBindings(IScope scope, Bindings bindings)
String	toString()
Object	traverse(PatternNodeVisitor visitor, Object data)
void	write(CompressingDataOutputStream s)

Methods inherited from class org.aspectj.weaver.patterns.Pointcut

assertState, check, concretize, concretize, concretize, findResidue, fromString, getPointcutKind, getTypeVariablesInScope, isDeclare, makeMatchesNothing, match, postRead, resolve, setTypeVariablesInScope, shouldCopyLocationForConcretize

Methods inherited from class org.aspectj.weaver.patterns.PatternNode

copyLocationFrom, getEnd, getFileName, getSourceContext, getSourceLocation, getStart, readLocation, setLocation, writeLocation

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

CFLOW_MARKER

public static final ResolvedPointcutDefinition CFLOW_MARKER

Used to indicate that we're in the context of a cflow when concretizing if's Will be removed or replaced with something better when we handle this as a non-error

Constructor Details

CflowPointcut

public CflowPointcut(Pointcut entry,
 boolean isBelow,
 int[] freeVars)

Method Details

isCflowBelow

public boolean isCflowBelow()

couldMatchKinds

public int couldMatchKinds()

Description copied from class: Pointcut

The set of ShadowKinds that this Pointcut could possibly match - an int whose bits are set according to the Kinds specified in Shadow.java

Specified by:

couldMatchKinds in class Pointcut

getEntry

public Pointcut getEntry()

fastMatch

public FuzzyBoolean fastMatch(FastMatchInfo type)

Description copied from class: Pointcut

Could I match any shadows in the code defined within this type?

Specified by:

fastMatch in class Pointcut

matchInternal

protected FuzzyBoolean matchInternal(Shadow shadow)

Specified by:

matchInternal in class Pointcut

write

public void write(CompressingDataOutputStream s)
           throws IOException

Specified by:

write in class PatternNode

Throws:

IOException

read

public static Pointcut read(VersionedDataInputStream s,
 ISourceContext context)
                     throws IOException

Throws:

IOException

parameterizeWith

public Pointcut parameterizeWith(Map<String,UnresolvedType> typeVariableMap,
 World w)

Specified by:

parameterizeWith in class Pointcut

resolveBindings

public void resolveBindings(IScope scope,
 Bindings bindings)

Specified by:

resolveBindings in class Pointcut

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

findResidueInternal

protected Test findResidueInternal(Shadow shadow,
 ExposedState state)

Specified by:

findResidueInternal in class Pointcut

concretize1

public Pointcut concretize1(ResolvedType inAspect,
 ResolvedType declaringType,
 IntMap bindings)

Description copied from class: Pointcut

Resolves and removes ReferencePointcuts, replacing with basic ones

Specified by:

concretize1 in class Pointcut

Parameters:

inAspect - the aspect to resolve relative to

bindings - a Map from formal index in the current lexical context → formal index in the concrete advice that will run This must always return a new Pointcut object (even if the concretized Pointcut is identical to the resolved one). That behavior is assumed in many places. XXX fix implementors to handle state

accept

public Object accept(PatternNodeVisitor visitor,
 Object data)

Specified by:

accept in class PatternNode

traverse

public Object traverse(PatternNodeVisitor visitor,
 Object data)

Overrides:

traverse in class PatternNode