org.checkerframework.framework.util.defaults

Class Default

java.lang.Object

org.checkerframework.framework.util.defaults.Default

All Implemented Interfaces:

java.lang.Comparable<Default>

public class Default
extends java.lang.Object
implements java.lang.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 and Description
javax.lang.model.element.AnnotationMirror	anno
TypeUseLocation	location

Constructor Summary

Constructors

Constructor and Description
Default(javax.lang.model.element.AnnotationMirror anno, TypeUseLocation location)

Method Summary

Modifier and Type	Method and Description
int	compareTo(Default other)
boolean	equals(java.lang.Object thatObj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

anno

public final javax.lang.model.element.AnnotationMirror anno

location

public final TypeUseLocation location

Constructor Detail

Default

public Default(javax.lang.model.element.AnnotationMirror anno,
               TypeUseLocation location)

Method Detail

compareTo

public int compareTo(Default other)

Specified by:

compareTo in interface java.lang.Comparable<Default>

equals

public boolean equals(java.lang.Object thatObj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object