Package org.checkerframework.common.basetype

Class BaseTypeVisitor.FoundRequired

java.lang.Object

org.checkerframework.common.basetype.BaseTypeVisitor.FoundRequired

Enclosing class:

BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,?,?,?>>

protected static final class BaseTypeVisitor.FoundRequired
extends Object

Class that creates string representations of AnnotatedTypeMirrors which are only verbose if required to differentiate the two types.

It is protected so that a subclass that reports one of the message keys that take a found/required pair, such as override.receiver, renders the pair the same way that this class does.

Field Summary

Fields

Modifier and Type	Field	Description
final String	found	The found type.
final String	required	The required type.

Method Summary

Modifier and Type	Method	Description
static BaseTypeVisitor.FoundRequired	of(AnnotatedTypeMirror found, AnnotatedTypeMirror required)	Creates string representations of AnnotatedTypeMirrors which are only verbose if required to differentiate the two types.
static BaseTypeVisitor.FoundRequired	of(AnnotatedTypeMirror found, AnnotatedTypeParameterBounds required)	Creates string representations of AnnotatedTypeMirror and AnnotatedTypeParameterBoundss which are only verbose if required to differentiate the two types.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

found

public final String found

The found type.

required

public final String required

The required type.

Method Details

of

public static BaseTypeVisitor.FoundRequired of(AnnotatedTypeMirror found,
 AnnotatedTypeMirror required)

Creates string representations of AnnotatedTypeMirrors which are only verbose if required to differentiate the two types.

Parameters:

found - the found type

required - the required type

Returns:

a FoundRequired for the two types

of

public static BaseTypeVisitor.FoundRequired of(AnnotatedTypeMirror found,
 AnnotatedTypeParameterBounds required)

Creates string representations of AnnotatedTypeMirror and AnnotatedTypeParameterBoundss which are only verbose if required to differentiate the two types.

Parameters:

found - the found type

required - the required bounds

Returns:

a FoundRequired for the type and the bounds