Top Description Fields Constructors Methods
org.aspectj.weaver.patterns

public Class OrTypePattern

extends TypePattern
Class Inheritance
Imports
java.io.IOException, java.util.Map, org.aspectj.util.FuzzyBoolean, org.aspectj.weaver.CompressingDataOutputStream, .ISourceContext, .ResolvedType, .UnresolvedType, .VersionedDataInputStream, .World

left || right

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

Authors
Erik Hilsdale, Jim Hugunin

Field Summary

Modifier and TypeField and Description
private TypePattern
private TypePattern
Inherited from org.aspectj.weaver.patterns.TypePattern:
ANDannotationPatternANYANY_KEYANY_WITH_ANNOBINDINGDYNAMICELLIPSISELLIPSIS_KEYEXACTHAS_MEMBERincludeSubtypesisVarArgsNONO_KEYNOTORSTATICTYPE_CATEGORYtypeParametersWILD

Constructor Summary

AccessConstructor and Description
public

Method Summary

Modifier and TypeMethod and Description
public Object
protected boolean
public boolean
equals(Object
the reference object with which to compare.
obj
)

Overrides java.lang.Object.equals.

Indicates whether some other object is "equal to" this one.
public TypePattern
public TypePattern
public int
hashCode()

Overrides java.lang.Object.hashCode.

Returns a hash code value for the object.
public boolean
protected boolean
protected boolean
protected boolean
public FuzzyBoolean
public boolean
public TypePattern
parameterizeWith(Map<String, UnresolvedType> typeVariableMap, World w)

Implements abstract org.aspectj.weaver.patterns.TypePattern.parameterizeWith.

return a version of this type pattern in which all type variable references have been replaced by their corresponding entry in the map.
public static TypePattern
public TypePattern
resolveBindings(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)

Overrides org.aspectj.weaver.patterns.TypePattern.resolveBindings.

This can modify in place, or return a new TypePattern if the type changes.
public void
public void
public String
toString()

Overrides java.lang.Object.toString.

Returns a string representation of the object.
public Object
public void
Inherited from org.aspectj.weaver.patterns.TypePattern:
getAnnotationPatterngetDimensionsgetExactTypegetTypeParametershasFailedResolutionisArrayisBangVoidisEllipsisisIncludeSubtypesisStarisVarArgsisVoidmatchesmatchesSubtypesmatchesSubtypesnotExactTypepostReadremapAdviceFormalsresolveresolveExactTypesetTypeParameters

Field Detail

leftback to summary
private TypePattern left

Constructor Detail

OrTypePatternback to summary
public OrTypePattern(TypePattern left, TypePattern right)

Method Detail

acceptback to summary
public Object accept(PatternNodeVisitor visitor, Object data)

Implements abstract org.aspectj.weaver.patterns.PatternNode.accept.

couldEverMatchSameTypesAsback to summary
protected boolean couldEverMatchSameTypesAs(TypePattern other)

Overrides org.aspectj.weaver.patterns.TypePattern.couldEverMatchSameTypesAs.

equalsback to summary
public boolean equals(Object obj)

Overrides java.lang.Object.equals.

Doc from java.lang.Object.equals.

Indicates whether some other object is "equal to" this one.

The equals method implements an equivalence relation on non-null object references:

  • It is reflexive: for any non-null reference value x, x.equals(x) should return true.
  • It is symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true.
  • It is transitive: for any non-null reference values x, y, and z, if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.
  • It is consistent: for any non-null reference values x and y, multiple invocations of x.equals(y) consistently return true or consistently return false, provided no information used in equals comparisons on the objects is modified.
  • For any non-null reference value x, x.equals(null) should return false.

An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes.

Parameters
obj:Object

the reference object with which to compare.

Returns:boolean

true if this object is the same as the obj argument; false otherwise.

getLeftback to summary
public TypePattern getLeft()
getRightback to summary
public TypePattern getRight()
hashCodeback to summary
public int hashCode()

Overrides java.lang.Object.hashCode.

Doc from java.lang.Object.hashCode.

Returns a hash code value for the object. This method is supported for the benefit of hash tables such as those provided by java.util.HashMap.

The general contract of hashCode is:

  • Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
  • If two objects are equal according to the equals method, then calling the hashCode method on each of the two objects must produce the same integer result.
  • It is not required that if two objects are unequal according to the equals method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hash tables.
Returns:int

a hash code value for this object.

isStarAnnotationback to summary
public boolean isStarAnnotation()

Overrides org.aspectj.weaver.patterns.TypePattern.isStarAnnotation.

matchesArrayback to summary
protected boolean matchesArray(UnresolvedType type)

Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesArray.

Annotations
@Override
matchesExactlyback to summary
protected boolean matchesExactly(ResolvedType type)

Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesExactly.

matchesExactlyback to summary
protected boolean matchesExactly(ResolvedType type, ResolvedType annotatedType)

Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesExactly.

matchesInstanceofback to summary
public FuzzyBoolean matchesInstanceof(ResolvedType type)

Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesInstanceof.

matchesStaticallyback to summary
public boolean matchesStatically(ResolvedType type)

Overrides org.aspectj.weaver.patterns.TypePattern.matchesStatically.

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

Implements abstract org.aspectj.weaver.patterns.TypePattern.parameterizeWith.

Doc from org.aspectj.weaver.patterns.TypePattern.parameterizeWith.

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

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

Hides org.aspectj.weaver.patterns.TypePattern.read.

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

Overrides org.aspectj.weaver.patterns.TypePattern.resolveBindings.

Doc from org.aspectj.weaver.patterns.TypePattern.resolveBindings.

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

setAnnotationTypePatternback to summary
public void setAnnotationTypePattern(AnnotationTypePattern annPatt)

Overrides org.aspectj.weaver.patterns.TypePattern.setAnnotationTypePattern.

setIsVarArgsback to summary
public void setIsVarArgs(boolean isVarArgs)

Overrides org.aspectj.weaver.patterns.TypePattern.setIsVarArgs.

toStringback to summary
public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object.

Returns:String

a string representation of the object.

traverseback to summary
public Object traverse(PatternNodeVisitor visitor, Object data)

Overrides org.aspectj.weaver.patterns.PatternNode.traverse.

writeback to summary
public void write(CompressingDataOutputStream s) throws IOException

Implements abstract org.aspectj.weaver.patterns.PatternNode.write.