org.checkerframework.framework.type

Class AnnotatedTypeParameterBounds

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeParameterBounds

public class AnnotatedTypeParameterBounds
extends java.lang.Object

Represents upper and lower bounds, each an AnnotatedTypeMirror.

Constructor Summary

Constructors

Constructor and Description
AnnotatedTypeParameterBounds(AnnotatedTypeMirror upper, AnnotatedTypeMirror lower)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
AnnotatedTypeMirror	getLowerBound()
AnnotatedTypeMirror	getUpperBound()
int	hashCode()
java.lang.String	toString()
java.lang.String	toString(boolean verbose) Return a possibly-verbose string representation of this.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotatedTypeParameterBounds

public AnnotatedTypeParameterBounds(AnnotatedTypeMirror upper,
                                    AnnotatedTypeMirror lower)

Method Detail

getUpperBound

public AnnotatedTypeMirror getUpperBound()

getLowerBound

public AnnotatedTypeMirror getLowerBound()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public java.lang.String toString(boolean verbose)

Return a possibly-verbose string representation of this.

Parameters:

verbose - if true, returned representation is verbose

Returns:

a possibly-verbose string representation of this

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object