AnnotatedTypeParameterBounds.java

package org.checkerframework.framework.type;

public class AnnotatedTypeParameterBounds {
    private final AnnotatedTypeMirror upper;
    private final AnnotatedTypeMirror lower;

    public AnnotatedTypeParameterBounds(AnnotatedTypeMirror upper, AnnotatedTypeMirror lower) {
        this.upper = upper;
        this.lower = lower;
    }

    public AnnotatedTypeMirror getUpperBound() {
        return upper;
    }

    public AnnotatedTypeMirror getLowerBound() {
        return lower;
    }

    @Override
    public String toString() {
        return "[extends " + upper + " super " + lower + "]";
    }

    @Override
    public int hashCode() {
        return 17 * upper.hashCode() + 37 * lower.hashCode();
    }

    @Override
    public boolean equals(Object obj) {
        if (!(obj instanceof AnnotatedTypeParameterBounds)) {
            return false;
        }
        AnnotatedTypeParameterBounds other = (AnnotatedTypeParameterBounds) obj;
        return this.upper == null
                ? other.upper == null
                : this.upper.equals(other.upper) && this.lower == null
                        ? other.lower == null
                        : this.lower.equals(other.lower);
    }
}