AspectJ Weaver 1.9.20.1 · org.aspectj.weaver.patterns.WildTypePattern

Modifier and Type	Class and Description
pack-priv static class	WildTypePattern.VerifyBoundsForTypePattern By capturing the verification in this class, rather than performing it in verifyTypeParameters(), we can cope with situations where the interactions between generics and declare parents would otherwise cause us problems.

Modifier and Type	Field and Description
pack-priv TypePattern[]	additionalInterfaceBounds
public static boolean	boundscheckingoff
pack-priv int	dim
pack-priv int	ellipsisCount
private boolean	failedResolution
private static final String	GENERIC_WILDCARD_CHARACTER
private static final String	GENERIC_WILDCARD_SIGNATURE_CHARACTER
pack-priv String[]	importedPrefixes
private boolean	isGeneric
pack-priv String[]	knownMatches
pack-priv TypePattern	lowerBound
private NamePattern[]	namePatterns
pack-priv TypePattern	upperBound
private static final byte	VERSION

Access	Constructor and Description
pack-priv	WildTypePattern(NamePattern[] namePatterns, boolean includeSubtypes, int dim, boolean isVarArgs, TypePatternList typeParams)
public	WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim)
public	WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos)
public	WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg)
public	WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg, TypePatternList typeParams, TypePattern upperBound, TypePattern[] additionalInterfaceBounds, TypePattern lowerBound)
public	WildTypePattern(List<NamePattern> names, boolean includeSubtypes, int dim, int endPos, boolean isVarArg, TypePatternList typeParams)

Method Summary

Modifier and Type	Method and Description
public Object	accept(PatternNodeVisitor visitor, Object data) Implements abstract org.aspectj.weaver.patterns.PatternNode.accept.
protected boolean	couldEverMatchSameTypesAs(TypePattern other) Overrides org.aspectj.weaver.patterns.TypePattern.couldEverMatchSameTypesAs.
public boolean	equals(Object the reference object with which to compare. other) Overrides java.lang.Object.equals. Indicates whether some other object is "equal to" this one.
public NamePattern	extractName()
public TypePattern[]	getAdditionalIntefaceBounds()
public int	getDimensions() Overrides org.aspectj.weaver.patterns.TypePattern.getDimensions. Used in conjunction with checks on 'isStar()' to tell you if this pattern represents '' or '[]' which are different !
public TypePattern	getLowerBound()
public NamePattern[]	getNamePatterns()
public TypePattern	getUpperBound()
public boolean	hasFailedResolution() Overrides org.aspectj.weaver.patterns.TypePattern.hasFailedResolution.
public int	hashCode() Overrides java.lang.Object.hashCode. Returns a hash code value for the object.
private boolean	innerMatchesExactly(String s, boolean isAnonymous, boolean convertDollar)
private static boolean	inStar(final NamePattern[] pattern, final char[][] target, int pi, int ti, final int pLeft, int tLeft, int starsLeft)
public boolean	isArray() Overrides org.aspectj.weaver.patterns.TypePattern.isArray.
private boolean	isNamePatternStar()
public boolean	isStar() Overrides org.aspectj.weaver.patterns.TypePattern.isStar.
private int	lastIndexOfDotOrDollar(String string)
private UnresolvedType	lookupTypeInScope(IScope scope, String typeName, IHasPosition location)
private ResolvedType	lookupTypeInWorld(World world, String typeName)
private ResolvedType	lookupTypeInWorldIncludingPrefixes(World world, String typeName, String[] prefixes) Searches the world for the ResolvedType with the given typeName.
protected boolean	matchesArray(UnresolvedType type) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesArray.
private boolean	matchesBounds(ResolvedType aType, TypePattern.MatchKind staticOrDynamic)
protected boolean	matchesExactly(ResolvedType type) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesExactly.
protected boolean	matchesExactly(ResolvedType type, ResolvedType annotatedType) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesExactly.
private boolean	matchesExactlyByName(String targetTypeName, boolean isAnonymous, boolean isNested)
public FuzzyBoolean	matchesInstanceof(ResolvedType type) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesInstanceof.
private boolean	matchesParameters(ResolvedType aType, TypePattern.MatchKind staticOrDynamic)
public boolean	Returns: boolean maybeExtractName(String string) Method maybeExtractName.
public String	maybeGetCleanName() If this type pattern has no '*' or '..' in it
public String	maybeGetSimpleName() If this type pattern has no '.' or '*' in it, then return a simple string otherwise, this will return null;
private TypePattern	maybeResolveToAnyPattern(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)
private TypePattern	maybeResolveToBindingTypePattern(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)
private static boolean	outOfStar(final NamePattern[] pattern, final char[][] target, int pi, int ti, int pLeft, int tLeft, final int starsLeft)
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.
private String[]	Returns: those possible matches which I match exactly the last element of preMatch(String[] possibleMatches)
public static TypePattern	read(VersionedDataInputStream s, ISourceContext context) Hides org.aspectj.weaver.patterns.TypePattern.read.
public static TypePattern	readTypePattern150(VersionedDataInputStream s, ISourceContext context)
public static TypePattern	readTypePatternOldStyle(VersionedDataInputStream s, ISourceContext context)
public TypePattern	resolveBindings(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType) Overrides org.aspectj.weaver.patterns.TypePattern.resolveBindings. 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
private TypePattern	resolveBindingsForExactType(IScope scope, UnresolvedType aType, String fullyQualifiedName, boolean requireExactType)
private TypePattern	resolveBindingsForMissingType(ResolvedType typeFoundInWholeWorldSearch, String nameWeLookedFor, IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)
private TypePattern	resolveBindingsForTypeVariable(IScope scope, UnresolvedTypeVariableReferenceType tvrType) We resolved the type to a type variable declared in the pointcut designator.
private TypePattern	resolveBindingsFromFullyQualifiedTypeName(String fullyQualifiedName, IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)
private TypePattern	resolveGenericWildcard(IScope scope, UnresolvedType aType)
private TypePattern	resolveParameterizedType(IScope scope, UnresolvedType aType, boolean requireExactType)
public void	setIsVarArgs(boolean isVarArgs) Overrides org.aspectj.weaver.patterns.TypePattern.setIsVarArgs.
public static char[][]	splitNames(String s, boolean convertDollar)
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.
private boolean	verifyTypeParameters(ResolvedType baseType, IScope scope, boolean requireExactType) When this method is called, we have resolved the base type to an exact type.
public void	write(CompressingDataOutputStream s) Implements abstract org.aspectj.weaver.patterns.PatternNode.write.

additionalInterfaceBounds	back to summary
pack-priv TypePattern[] additionalInterfaceBounds

boundscheckingoff	back to summary
public static boolean boundscheckingoff

dim	back to summary
pack-priv int dim

ellipsisCount	back to summary
pack-priv int ellipsisCount

failedResolution	back to summary
private boolean failedResolution

GENERIC_WILDCARD_CHARACTER	back to summary
private static final String GENERIC_WILDCARD_CHARACTER

GENERIC_WILDCARD_SIGNATURE_CHARACTER	back to summary
private static final String GENERIC_WILDCARD_SIGNATURE_CHARACTER

importedPrefixes	back to summary
pack-priv String[] importedPrefixes

isGeneric	back to summary
private boolean isGeneric

knownMatches	back to summary
pack-priv String[] knownMatches

lowerBound	back to summary
pack-priv TypePattern lowerBound

namePatterns	back to summary
private NamePattern[] namePatterns

upperBound	back to summary
pack-priv TypePattern upperBound

VERSION	back to summary
private static final byte VERSION

WildTypePattern	back to summary
pack-priv WildTypePattern(NamePattern[] namePatterns, boolean includeSubtypes, int dim, boolean isVarArgs, TypePatternList typeParams)

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

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

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

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

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

Method Detail

accept	back to summary
public Object accept(PatternNodeVisitor visitor, Object data) Implements abstract org.aspectj.weaver.patterns.PatternNode.accept. Annotations @Override

back to summary

public Object accept(PatternNodeVisitor visitor, Object data)

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

Annotations

@Override

couldEverMatchSameTypesAs	back to summary
protected boolean couldEverMatchSameTypesAs(TypePattern other) Overrides org.aspectj.weaver.patterns.TypePattern.couldEverMatchSameTypesAs. Annotations @Override

couldEverMatchSameTypesAs

back to summary

protected boolean couldEverMatchSameTypesAs(TypePattern other)

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

Annotations

@Override

equals back to summary

equals	back to summary
public boolean equals(Object other) 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 other:Object the reference object with which to compare. Returns:boolean `true` if this object is the same as the obj argument; `false` otherwise. Annotations @Override

public boolean equals(Object other)

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

other:Object: the reference object with which to compare.

Returns:boolean

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

Annotations

@Override

extractName	back to summary
public NamePattern extractName()

getAdditionalIntefaceBounds	back to summary
public TypePattern[] getAdditionalIntefaceBounds()

getDimensions	back to summary
public int getDimensions() Overrides org.aspectj.weaver.patterns.TypePattern.getDimensions. Used in conjunction with checks on 'isStar()' to tell you if this pattern represents '' or '[]' which are different !

getDimensions

back to summary

public int getDimensions()

Overrides org.aspectj.weaver.patterns.TypePattern.getDimensions.

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

getLowerBound	back to summary
public TypePattern getLowerBound()

getNamePatterns	back to summary
public NamePattern[] getNamePatterns()

getUpperBound	back to summary
public TypePattern getUpperBound()

hasFailedResolution	back to summary
public boolean hasFailedResolution() Overrides org.aspectj.weaver.patterns.TypePattern.hasFailedResolution.

hashCode back to summary

hashCode	back 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. Annotations @Override

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.

Annotations

@Override

innerMatchesExactly	back to summary
private boolean innerMatchesExactly(String s, boolean isAnonymous, boolean convertDollar)

inStar	back to summary
private static boolean inStar(final NamePattern[] pattern, final char[][] target, int pi, int ti, final int pLeft, int tLeft, int starsLeft)

isArray	back to summary
public boolean isArray() Overrides org.aspectj.weaver.patterns.TypePattern.isArray. Annotations @Override

isArray

back to summary

public boolean isArray()

Overrides org.aspectj.weaver.patterns.TypePattern.isArray.

Annotations

@Override

isNamePatternStar	back to summary
private boolean isNamePatternStar()

isStar	back to summary
public boolean isStar() Overrides org.aspectj.weaver.patterns.TypePattern.isStar. Annotations @Override

isStar

back to summary

public boolean isStar()

Overrides org.aspectj.weaver.patterns.TypePattern.isStar.

Annotations

@Override

lastIndexOfDotOrDollar	back to summary
private int lastIndexOfDotOrDollar(String string)

lookupTypeInScope	back to summary
private UnresolvedType lookupTypeInScope(IScope scope, String typeName, IHasPosition location)

lookupTypeInWorld	back to summary
private ResolvedType lookupTypeInWorld(World world, String typeName)

lookupTypeInWorldIncludingPrefixes	back to summary
private ResolvedType lookupTypeInWorldIncludingPrefixes(World world, String typeName, String[] prefixes) Searches the world for the ResolvedType with the given typeName. If one isn't found then for each of the supplied prefixes, it prepends the typeName with the prefix and searches the world for the ResolvedType with this new name. If one still isn't found then a MissingResolvedTypeWithKnownSignature is returned with the originally requested typeName (this ensures the typeName makes sense).

lookupTypeInWorldIncludingPrefixes

back to summary

private ResolvedType lookupTypeInWorldIncludingPrefixes(World world, String typeName, String[] prefixes)

Searches the world for the ResolvedType with the given typeName. If one isn't found then for each of the supplied prefixes, it prepends the typeName with the prefix and searches the world for the ResolvedType with this new name. If one still isn't found then a MissingResolvedTypeWithKnownSignature is returned with the originally requested typeName (this ensures the typeName makes sense).

matchesArray	back to summary
protected boolean matchesArray(UnresolvedType type) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesArray. Annotations @Override

matchesArray

back to summary

protected boolean matchesArray(UnresolvedType type)

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

Annotations

@Override

matchesBounds	back to summary
private boolean matchesBounds(ResolvedType aType, TypePattern.MatchKind staticOrDynamic)

matchesExactly back to summary

matchesExactly	back to summary
protected boolean matchesExactly(ResolvedType type) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesExactly. Annotations @Override See Also `org.aspectj.weaver.patterns.TypePattern#matchesExactly(ResolvedType)`

protected boolean matchesExactly(ResolvedType type)

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

Annotations

@Override

matchesExactly	back to summary
protected boolean matchesExactly(ResolvedType type, ResolvedType annotatedType) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesExactly. Annotations @Override

matchesExactly

back to summary

protected boolean matchesExactly(ResolvedType type, ResolvedType annotatedType)

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

Annotations

@Override

matchesExactlyByName	back to summary
private boolean matchesExactlyByName(String targetTypeName, boolean isAnonymous, boolean isNested)

matchesInstanceof back to summary

matchesInstanceof	back to summary
public FuzzyBoolean matchesInstanceof(ResolvedType type) Implements abstract org.aspectj.weaver.patterns.TypePattern.matchesInstanceof. Annotations @Override See Also `org.aspectj.weaver.patterns.TypePattern#matchesInstanceof(ResolvedType)`

public FuzzyBoolean matchesInstanceof(ResolvedType type)

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

Annotations

@Override

matchesParameters	back to summary
private boolean matchesParameters(ResolvedType aType, TypePattern.MatchKind staticOrDynamic)

maybeExtractName

back to summary

public boolean maybeExtractName(String string)

Method maybeExtractName.

Returns:boolean: boolean

maybeGetCleanName	back to summary
public String maybeGetCleanName() If this type pattern has no '*' or '..' in it

maybeGetSimpleName	back to summary
public String maybeGetSimpleName() If this type pattern has no '.' or '*' in it, then return a simple string otherwise, this will return null;

maybeResolveToAnyPattern	back to summary
private TypePattern maybeResolveToAnyPattern(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)

maybeResolveToBindingTypePattern	back to summary
private TypePattern maybeResolveToBindingTypePattern(IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)

outOfStar	back to summary
private static boolean outOfStar(final NamePattern[] pattern, final char[][] target, int pi, int ti, int pLeft, int tLeft, final int starsLeft)

parameterizeWith

back 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.

Annotations

@Override

preMatch	back to summary
private String[] preMatch(String[] possibleMatches) Returns:String[] those possible matches which I match exactly the last element of

read	back to summary
public static TypePattern read(VersionedDataInputStream s, ISourceContext context) throws IOException Hides org.aspectj.weaver.patterns.TypePattern.read.

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

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

resolveBindings

back to summary

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

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

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

Annotations

@Override

resolveBindingsForExactType	back to summary
private TypePattern resolveBindingsForExactType(IScope scope, UnresolvedType aType, String fullyQualifiedName, boolean requireExactType)

resolveBindingsForMissingType	back to summary
private TypePattern resolveBindingsForMissingType(ResolvedType typeFoundInWholeWorldSearch, String nameWeLookedFor, IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)

resolveBindingsForTypeVariable	back to summary
private TypePattern resolveBindingsForTypeVariable(IScope scope, UnresolvedTypeVariableReferenceType tvrType) We resolved the type to a type variable declared in the pointcut designator. Now we have to create either an exact type pattern or a wild type pattern for it, with upper and lower bounds set accordingly. XXX none of this stuff gets serialized yet

resolveBindingsFromFullyQualifiedTypeName	back to summary
private TypePattern resolveBindingsFromFullyQualifiedTypeName(String fullyQualifiedName, IScope scope, Bindings bindings, boolean allowBinding, boolean requireExactType)

resolveGenericWildcard	back to summary
private TypePattern resolveGenericWildcard(IScope scope, UnresolvedType aType)

resolveParameterizedType	back to summary
private TypePattern resolveParameterizedType(IScope scope, UnresolvedType aType, boolean requireExactType)

setIsVarArgs

back to summary

public void setIsVarArgs(boolean isVarArgs)

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

Annotations

@Override

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

toString

back 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.

Annotations

@Override

verifyTypeParameters

back to summary

private boolean verifyTypeParameters(ResolvedType baseType, IScope scope, boolean requireExactType)

When this method is called, we have resolved the base type to an exact type. We also have a set of type patterns for the parameters. Time to perform some basic checks: - can the base type be parameterized? (is it generic) - can the type parameter pattern list match the number of parameters on the base type - do all parameter patterns meet the bounds of the respective type variables If any of these checks fail, a warning message is issued and we return false.

write

back to summary

public void write(CompressingDataOutputStream s) throws IOException

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

Annotations

@Override

Modifier and Type	Field and Description
private final ResolvedType	genericType
private final boolean	requireExactType
private final IScope	scope
private final ISourceLocation	sLoc
private TypePatternList	typeParameters

public Class WildTypePattern

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

pack-priv Class WildTypePattern.VerifyBoundsForTypePattern

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail