-
Notifications
You must be signed in to change notification settings - Fork 39
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
091c1ea
commit 7b7987a
Showing
7 changed files
with
203 additions
and
90 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
63 changes: 63 additions & 0 deletions
63
...one-contrib/src/main/java/tech/picnic/errorprone/bugpatterns/util/MoreTypePredicates.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,63 @@ | ||
package tech.picnic.errorprone.bugpatterns.util; | ||
|
||
import com.google.errorprone.VisitorState; | ||
import com.google.errorprone.predicates.TypePredicate; | ||
import com.google.errorprone.predicates.TypePredicates; | ||
import com.google.errorprone.suppliers.Supplier; | ||
import com.google.errorprone.util.ASTHelpers; | ||
import com.sun.tools.javac.code.Type; | ||
import com.sun.tools.javac.util.List; | ||
|
||
/** | ||
* A collection of general-purpose {@link TypePredicate}s. | ||
* | ||
* <p>These methods are additions to the ones found in {@link TypePredicates}. | ||
*/ | ||
// XXX: The methods in this class are tested only indirectly. Consider adding a dedicated test | ||
// class, or make sure that each method is explicitly covered by a tested analog in `MoreMatchers`. | ||
public final class MoreTypePredicates { | ||
private MoreTypePredicates() {} | ||
|
||
/** | ||
* Returns a {@link TypePredicate} that matches types that are annotated with the indicated | ||
* annotation type. | ||
* | ||
* @param annotationType The fully-qualified name of the annotation type. | ||
* @return A {@link TypePredicate} that matches appropriate types. | ||
*/ | ||
public static TypePredicate hasAnnotation(String annotationType) { | ||
return (type, state) -> ASTHelpers.hasAnnotation(type.tsym, annotationType, state); | ||
} | ||
|
||
/** | ||
* Returns a {@link TypePredicate} that matches subtypes of the type returned by the specified | ||
* {@link Supplier}. | ||
* | ||
* @implNote This method does not use {@link ASTHelpers#isSubtype(Type, Type, VisitorState)}, as | ||
* that method performs type erasure. | ||
* @param bound The {@link Supplier} that returns the type to match against. | ||
* @return A {@link TypePredicate} that matches appropriate subtypes. | ||
*/ | ||
public static TypePredicate isSubTypeOf(Supplier<Type> bound) { | ||
Supplier<Type> memoizedType = VisitorState.memoize(bound); | ||
return (type, state) -> { | ||
Type boundType = memoizedType.get(state); | ||
return boundType != null && state.getTypes().isSubtype(type, boundType); | ||
}; | ||
} | ||
|
||
/** | ||
* Returns a {@link TypePredicate} that matches generic types with a type parameter that matches | ||
* the specified {@link TypePredicate} at the indicated index. | ||
* | ||
* @param index The index of the type parameter to match against. | ||
* @param predicate The {@link TypePredicate} to match against the type parameter. | ||
* @return A {@link TypePredicate} that matches appropriate generic types. | ||
*/ | ||
public static TypePredicate hasTypeParameter(int index, TypePredicate predicate) { | ||
return (type, state) -> { | ||
List<Type> typeArguments = type.getTypeArguments(); | ||
return typeArguments.size() > index && predicate.apply(typeArguments.get(index), state); | ||
}; | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.