Class BaseTypeVisitor.FoundRequired

java.lang.Object
org.checkerframework.common.basetype.BaseTypeVisitor.FoundRequired
Enclosing class:
BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,?,?,?>>

protected static class BaseTypeVisitor.FoundRequired extends Object
Class that creates string representations of AnnotatedTypeMirrors which are only verbose if required to differentiate the two types.