Class BaseTypeVisitor.FoundRequired
java.lang.Object
org.checkerframework.common.basetype.BaseTypeVisitor.FoundRequired
- Enclosing class:
BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,
?, ?, ?>>
Class that creates string representations of
AnnotatedTypeMirror
s which are only
verbose if required to differentiate the two types.-
Field Summary
Fields -
Method Summary
Modifier and TypeMethodDescriptionof
(AnnotatedTypeMirror found, AnnotatedTypeMirror required) Creates string representations ofAnnotatedTypeMirror
s which are only verbose if required to differentiate the two types.of
(AnnotatedTypeMirror found, AnnotatedTypeParameterBounds required) Creates string representations ofAnnotatedTypeMirror
andAnnotatedTypeParameterBounds
s which are only verbose if required to differentiate the two types.
-
Field Details
-
found
The found type's string representation. -
required
The required type's string representation.
-
-
Method Details
-
of
public static BaseTypeVisitor.FoundRequired of(AnnotatedTypeMirror found, AnnotatedTypeMirror required) Creates string representations ofAnnotatedTypeMirror
s which are only verbose if required to differentiate the two types.- Parameters:
found
- the found annotationrequired
- the required annotation- Returns:
- a string representation of the two annotations
-
of
public static BaseTypeVisitor.FoundRequired of(AnnotatedTypeMirror found, AnnotatedTypeParameterBounds required) Creates string representations ofAnnotatedTypeMirror
andAnnotatedTypeParameterBounds
s which are only verbose if required to differentiate the two types.- Parameters:
found
- the found annotationrequired
- the required annotation- Returns:
- a string representation of the two annotations
-