Package org.checkerframework.framework.util.defaults

Class Default

java.lang.Object

org.checkerframework.framework.util.defaults.Default

All Implemented Interfaces:

Comparable<Default>

public class Default
extends Object
implements Comparable<Default>

Represents a mapping from an Annotation to a TypeUseLocation it should be applied to during defaulting. The Comparable ordering of this class first tests location then tests annotation ordering (via AnnotationUtils).

It also has a handy toString method that is useful for debugging.

Field Summary

Fields

Modifier and Type	Field	Description
final AnnotationMirror	anno	The default annotation mirror.
final TypeUseLocation	location	The type use location.

Constructor Summary

Constructors

Constructor	Description
Default(AnnotationMirror anno, TypeUseLocation location)	Construct a Default object.

Method Summary

Modifier and Type	Method	Description
int	compareTo(Default other)
boolean	equals(@Nullable Object thatObj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

anno

public final AnnotationMirror anno

The default annotation mirror.

location

public final TypeUseLocation location

The type use location.

Constructor Details

Default

public Default(AnnotationMirror anno,
 TypeUseLocation location)

Construct a Default object.

Parameters:

anno - the default annotation mirror

location - the type use location

Method Details

compareTo

public int compareTo(Default other)

Specified by:

compareTo in interface Comparable<Default>

equals

public boolean equals(@Nullable Object thatObj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object