Package org.aspectj.weaver.patterns

Class OrTypePattern

java.lang.Object

org.aspectj.weaver.patterns.PatternNode

org.aspectj.weaver.patterns.TypePattern

org.aspectj.weaver.patterns.OrTypePattern

All Implemented Interfaces:

IHasPosition, IHasSourceLocation

public class OrTypePattern
extends TypePattern

left || right

any binding to formals is explicitly forbidden for any composite by the language

Author:

Erik Hilsdale, Jim Hugunin

Nested Class Summary

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

TypePattern.MatchKind

Field Summary

Fields inherited from class 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

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

end, sourceContext, start

Constructor Summary

Constructors

Constructor	Description
OrTypePattern(TypePattern left, TypePattern right)

Method Summary

Modifier and Type	Method	Description
Object	accept(PatternNodeVisitor visitor, Object data)
protected boolean	couldEverMatchSameTypesAs(TypePattern other)
boolean	equals(Object obj)
TypePattern	getLeft()
TypePattern	getRight()
int	hashCode()
boolean	isStarAnnotation()
protected boolean	matchesArray(UnresolvedType type)
protected boolean	matchesExactly(ResolvedType type)
protected boolean	matchesExactly(ResolvedType type, ResolvedType annotatedType)
FuzzyBoolean	matchesInstanceof(ResolvedType type)
boolean	matchesStatically(ResolvedType type)
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)
TypePattern	resolveBindings(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)	This can modify in place, or return a new TypePattern if the type changes.
void	setAnnotationTypePattern(AnnotationTypePattern annPatt)
void	setIsVarArgs(boolean isVarArgs)
String	toString()
Object	traverse(PatternNodeVisitor visitor, Object data)
void	write(CompressingDataOutputStream s)

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

getAnnotationPattern, getDimensions, getExactType, getTypeParameters, hasFailedResolution, isArray, isBangVoid, isEllipsis, isIncludeSubtypes, isStar, isVarArgs, isVoid, matches, matchesSubtypes, matchesSubtypes, notExactType, postRead, remapAdviceFormals, resolve, resolveExactType, setTypeParameters

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

Constructor Details

OrTypePattern

public OrTypePattern(TypePattern left,
 TypePattern right)

Method Details

getRight

public TypePattern getRight()

getLeft

public TypePattern getLeft()

couldEverMatchSameTypesAs

protected boolean couldEverMatchSameTypesAs(TypePattern other)

Overrides:

couldEverMatchSameTypesAs in class TypePattern

matchesInstanceof

public FuzzyBoolean matchesInstanceof(ResolvedType type)

Specified by:

matchesInstanceof in class TypePattern

matchesExactly

protected boolean matchesExactly(ResolvedType type)

Specified by:

matchesExactly in class TypePattern

matchesExactly

protected boolean matchesExactly(ResolvedType type,
 ResolvedType annotatedType)

Specified by:

matchesExactly in class TypePattern

matchesArray

protected boolean matchesArray(UnresolvedType type)

Specified by:

matchesArray in class TypePattern

matchesStatically

public boolean matchesStatically(ResolvedType type)

Overrides:

matchesStatically in class TypePattern

setIsVarArgs

public void setIsVarArgs(boolean isVarArgs)

Overrides:

setIsVarArgs in class TypePattern

setAnnotationTypePattern

public void setAnnotationTypePattern(AnnotationTypePattern annPatt)

Overrides:

setAnnotationTypePattern in class TypePattern

write

public void write(CompressingDataOutputStream s)
           throws IOException

Specified by:

write in class PatternNode

Throws:

IOException

read

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

Throws:

IOException

resolveBindings

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

Description copied from class: TypePattern

This can modify in place, or return a new TypePattern if the type changes.

Overrides:

resolveBindings in class TypePattern

parameterizeWith

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

Description copied from class: TypePattern

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

Specified by:

parameterizeWith in class TypePattern

toString

public String toString()

Overrides:

toString in class Object

isStarAnnotation

public boolean isStarAnnotation()

Overrides:

isStarAnnotation in class TypePattern

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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