Package org.aspectj.weaver.patterns

Klasse WildTypePattern

java.lang.Object

org.aspectj.weaver.patterns.PatternNode

org.aspectj.weaver.patterns.TypePattern

org.aspectj.weaver.patterns.WildTypePattern

Alle implementierten Schnittstellen:

IHasPosition, IHasSourceLocation

public class WildTypePattern
extends TypePattern

The PatternParser always creates WildTypePatterns for type patterns in pointcut expressions (apart from *, which is sometimes directly turned into TypePattern.ANY). resolveBindings() tries to work out what we've really got and turn it into a type pattern that we can use for matching. This will normally be either an ExactTypePattern or a WildTypePattern. Here's how the process pans out for various generic and parameterized patterns: (see GenericsWildTypePatternResolvingTestCase) Foo where Foo exists and is generic Parser creates WildTypePattern namePatterns={Foo} resolveBindings resolves Foo to RT(Foo - raw) return ExactTypePattern(LFoo;) Foo<String> where Foo exists and String meets the bounds Parser creates WildTypePattern namePatterns = {Foo}, typeParameters=WTP{String} resolveBindings resolves typeParameters to ExactTypePattern(String) resolves Foo to RT(Foo) returns ExactTypePattern(PFoo<String>; - parameterized) Foo<Str*> where Foo exists and takes one bound Parser creates WildTypePattern namePatterns = {Foo}, typeParameters=WTP{Str*} resolveBindings resolves typeParameters to WTP{Str*} resolves Foo to RT(Foo) returns WildTypePattern(name = Foo, typeParameters = WTP{Str*} isGeneric=false) Fo*<String> Parser creates WildTypePattern namePatterns = {Fo*}, typeParameters=WTP{String} resolveBindings resolves typeParameters to ETP{String} returns WildTypePattern(name = Fo*, typeParameters = ETP{String} isGeneric=false) Foo<?> Foo<? extends Number> Foo<? extends Number+> Foo<? super Number>

Verschachtelte Klassen - Übersicht

Von Klasse geerbte verschachtelte Klassen/Schnittstellen org.aspectj.weaver.patterns.TypePattern

TypePattern.MatchKind

Feldübersicht

Felder

Modifizierer und Typ	Feld	Beschreibung
static boolean	boundscheckingoff

Von Klasse geerbte Felder org.aspectj.weaver.patterns.TypePattern

AND, annotationPattern, ANY, ANY_KEY, ANY_WITH_ANNO, BINDING, DYNAMIC, ELLIPSIS, ELLIPSIS_KEY, EXACT, HAS_MEMBER, includeSubtypes, isVarArgs, NO, NO_KEY, NOT, OR, STATIC, TYPE_CATEGORY, typeParameters, WILD

Von Klasse geerbte Felder org.aspectj.weaver.patterns.PatternNode

end, sourceContext, start

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim)
WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos)
WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg)
WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg, TypePatternList typeParams)
WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg, TypePatternList typeParams, TypePattern upperBound, TypePattern[] additionalInterfaceBounds, TypePattern lowerBound)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
Object	accept(PatternNodeVisitor visitor, Object data)
protected boolean	couldEverMatchSameTypesAs(TypePattern other)
boolean	equals(Object other)
NamePattern	extractName()
TypePattern[]	getAdditionalIntefaceBounds()
int	getDimensions()	Used in conjunction with checks on 'isStar()' to tell you if this pattern represents '*' or '*[]' which are different !
TypePattern	getLowerBound()
NamePattern[]	getNamePatterns()
TypePattern	getUpperBound()
boolean	hasFailedResolution()
int	hashCode()
boolean	isArray()
boolean	isStar()
protected boolean	matchesArray(UnresolvedType type)
protected boolean	matchesExactly(ResolvedType type)
protected boolean	matchesExactly(ResolvedType type, ResolvedType annotatedType)
FuzzyBoolean	matchesInstanceof(ResolvedType type)
boolean	maybeExtractName(String string)	Method maybeExtractName.
String	maybeGetCleanName()	If this type pattern has no '*' or '..' in it
String	maybeGetSimpleName()	If this type pattern has no '.' or '*' in it, then return a simple string otherwise, this will return null;
TypePattern	parameterizeWith(Map<String,UnresolvedType> typeVariableMap, World w)	return a version of this type pattern in which all type variable references have been replaced by their corresponding entry in the map.
static TypePattern	read(VersionedDataInputStream s, ISourceContext context)
static TypePattern	readTypePattern150(VersionedDataInputStream s, ISourceContext context)
static TypePattern	readTypePatternOldStyle(VersionedDataInputStream s, ISourceContext context)
TypePattern	resolveBindings(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)	Need to determine if I'm really a pattern or a reference to a formal We may wish to further optimize the case of pattern vs. non-pattern We will be replaced by what we return
void	setIsVarArgs(boolean isVarArgs)
static char[][]	splitNames(String s, boolean convertDollar)
String	toString()
void	write(CompressingDataOutputStream s)

Von Klasse geerbte Methoden org.aspectj.weaver.patterns.TypePattern

getAnnotationPattern, getExactType, getTypeParameters, isBangVoid, isEllipsis, isIncludeSubtypes, isStarAnnotation, isVarArgs, isVoid, matches, matchesStatically, matchesSubtypes, matchesSubtypes, notExactType, postRead, remapAdviceFormals, resolve, resolveExactType, setAnnotationTypePattern, setTypeParameters

Von Klasse geerbte Methoden org.aspectj.weaver.patterns.PatternNode

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

Von Klasse geerbte Methoden java.lang.Object

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

Felddetails

boundscheckingoff

public static boolean boundscheckingoff

Konstruktordetails

WildTypePattern

public WildTypePattern(List<NamePattern> names,
 boolean includeSubtypes,
 int dim)

WildTypePattern

public WildTypePattern(List<NamePattern> names,
 boolean includeSubtypes,
 int dim,
 int endPos)

WildTypePattern

public WildTypePattern(List<NamePattern> names,
 boolean includeSubtypes,
 int dim,
 int endPos,
 boolean isVarArg)

WildTypePattern

public WildTypePattern(List<NamePattern> names,
 boolean includeSubtypes,
 int dim,
 int endPos,
 boolean isVarArg,
 TypePatternList typeParams,
 TypePattern upperBound,
 TypePattern[] additionalInterfaceBounds,
 TypePattern lowerBound)

WildTypePattern

public WildTypePattern(List<NamePattern> names,
 boolean includeSubtypes,
 int dim,
 int endPos,
 boolean isVarArg,
 TypePatternList typeParams)

Methodendetails

getNamePatterns

public NamePattern[] getNamePatterns()

getUpperBound

public TypePattern getUpperBound()

getLowerBound

public TypePattern getLowerBound()

getAdditionalIntefaceBounds

public TypePattern[] getAdditionalIntefaceBounds()

setIsVarArgs

public void setIsVarArgs(boolean isVarArgs)

Setzt außer Kraft:

setIsVarArgs in Klasse TypePattern

couldEverMatchSameTypesAs

protected boolean couldEverMatchSameTypesAs(TypePattern other)

Setzt außer Kraft:

couldEverMatchSameTypesAs in Klasse TypePattern

splitNames

public static char[][] splitNames(String s,
 boolean convertDollar)

matchesExactly

protected boolean matchesExactly(ResolvedType type)

Angegeben von:

matchesExactly in Klasse TypePattern

Siehe auch:

• TypePattern.matchesExactly(ResolvedType)

matchesExactly

protected boolean matchesExactly(ResolvedType type,
 ResolvedType annotatedType)

Angegeben von:

matchesExactly in Klasse TypePattern

matchesArray

protected boolean matchesArray(UnresolvedType type)

Angegeben von:

matchesArray in Klasse TypePattern

getDimensions

public int getDimensions()

Used in conjunction with checks on 'isStar()' to tell you if this pattern represents '*' or '*[]' which are different !

Setzt außer Kraft:

getDimensions in Klasse TypePattern

isArray

public boolean isArray()

Setzt außer Kraft:

isArray in Klasse TypePattern

matchesInstanceof

public FuzzyBoolean matchesInstanceof(ResolvedType type)

Angegeben von:

matchesInstanceof in Klasse TypePattern

Siehe auch:

• TypePattern.matchesInstanceof(ResolvedType)

extractName

public NamePattern extractName()

maybeExtractName

public boolean maybeExtractName(String string)

Method maybeExtractName.

Parameter:

string -

Gibt zurück:

boolean

maybeGetSimpleName

public String maybeGetSimpleName()

If this type pattern has no '.' or '*' in it, then return a simple string otherwise, this will return null;

maybeGetCleanName

public String maybeGetCleanName()

If this type pattern has no '*' or '..' in it

parameterizeWith

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

Beschreibung aus Klasse kopiert: TypePattern

return a version of this type pattern in which all type variable references have been replaced by their corresponding entry in the map.

Angegeben von:

parameterizeWith in Klasse TypePattern

resolveBindings

public TypePattern resolveBindings(IScope scope,
 Bindings bindings,
 boolean allowBinding,
 boolean requireExactType)

Need to determine if I'm really a pattern or a reference to a formal We may wish to further optimize the case of pattern vs. non-pattern We will be replaced by what we return

Setzt außer Kraft:

resolveBindings in Klasse TypePattern

isStar

public boolean isStar()

Setzt außer Kraft:

isStar in Klasse TypePattern

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object

equals

public boolean equals(Object other)

Setzt außer Kraft:

equals in Klasse Object

hashCode

public int hashCode()

Setzt außer Kraft:

hashCode in Klasse Object

write

public void write(CompressingDataOutputStream s)
           throws IOException

Angegeben von:

write in Klasse PatternNode

Löst aus:

IOException

read

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

Löst aus:

IOException

readTypePattern150

public static TypePattern readTypePattern150(VersionedDataInputStream s,
 ISourceContext context)
                                      throws IOException

Löst aus:

IOException

readTypePatternOldStyle

public static TypePattern readTypePatternOldStyle(VersionedDataInputStream s,
 ISourceContext context)
                                           throws IOException

Löst aus:

IOException

accept

public Object accept(PatternNodeVisitor visitor,
 Object data)

Angegeben von:

accept in Klasse PatternNode

hasFailedResolution

public boolean hasFailedResolution()

Setzt außer Kraft:

hasFailedResolution in Klasse TypePattern