Class BaseTypeVisitor.FoundRequired
- java.lang.Object
-
- org.checkerframework.common.basetype.BaseTypeVisitor.FoundRequired
-
- Enclosing class:
- BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,?,?,?>>
protected static class BaseTypeVisitor.FoundRequired extends java.lang.Object
Class that creates string representations ofAnnotatedTypeMirror
s which are only verbose if required to differentiate the two types.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static BaseTypeVisitor.FoundRequired
of(AnnotatedTypeMirror found, AnnotatedTypeMirror required)
Creates string representations ofAnnotatedTypeMirror
s which are only verbose if required to differentiate the two types.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.
-
-
-
Method Detail
-
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
-
-