All Downloads are FREE. Search and download functionalities are using the official Maven repository.

framework.src.org.checkerframework.qualframework.util.ExtendedTypeVariable Maven / Gradle / Ivy

package org.checkerframework.qualframework.util;

import javax.lang.model.element.Element;

/** {@link ExtendedTypeMirror} variant for {@link javax.lang.model.type.TypeVariable}.
 *
 * Unlike {@link javax.lang.model.type.TypeVariable}, this interface does not
 * provide methods to obtain the upper and lower bounds of the type variable.
 * The bounds should be determined by inspecting the {@link Element} returned
 * by {@link asElement}. */
public interface ExtendedTypeVariable extends ExtendedReferenceType {
    /** Returns the element corresponding to this type variable. */
    Element asElement();

    /** Get the {@link ExtendedParameterDeclaration} for the declaration of
     * this type variable. */
    ExtendedParameterDeclaration getDeclaration();
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy