Class NotTypePattern

java.lang.Object

org.aspectj.weaver.patterns.PatternNode

org.aspectj.weaver.patterns.TypePattern

org.aspectj.weaver.patterns.NotTypePattern

All Implemented Interfaces:

IHasPosition, IHasSourceLocation

public class NotTypePattern
extends TypePattern

!TypePattern

any binding to formals is explicitly forbidden for any composite, ! is just the most obviously wrong case.

Author:

Erik Hilsdale, Jim Hugunin

Nested Class Summary

Nested classes/interfaces inherited from class TypePattern

TypePattern.MatchKind

Field Summary

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

end, sourceContext, start

Constructor Summary

Constructors

Constructor	Description
NotTypePattern(TypePattern pattern)

Method Summary

Modifier and Type	Method	Description
Object	accept(PatternNodeVisitor visitor, Object data)
protected boolean	couldEverMatchSameTypesAs(TypePattern other)
boolean	equals(Object obj)
TypePattern	getNegatedPattern()
int	hashCode()
boolean	isBangVoid()	For quickly recognizing the pattern '!void'
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 TypePattern

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

Methods inherited from class PatternNode

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

Methods inherited from class Object

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

Constructor Details

NotTypePattern

public NotTypePattern(TypePattern pattern)

Method Details

getNegatedPattern

public TypePattern getNegatedPattern()

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

setAnnotationTypePattern

public void setAnnotationTypePattern(AnnotationTypePattern annPatt)

Overrides:

setAnnotationTypePattern in class TypePattern

setIsVarArgs

public void setIsVarArgs(boolean isVarArgs)

Overrides:

setIsVarArgs 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

isBangVoid

public boolean isBangVoid()

Description copied from class: TypePattern

For quickly recognizing the pattern '!void'

Overrides:

isBangVoid 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

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 TypePattern