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

Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation

Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Framework to type check Java source code. Please see artifact: org.checkerframework:checker

There is a newer version: 3.45.0

Show newest version

package org.checkerframework.qualframework.util;

import java.util.List;
import javax.lang.model.element.Element;

/** {@link ExtendedTypeMirror} variant for {@link javax.lang.model.type.DeclaredType}. */
public interface ExtendedDeclaredType extends ExtendedReferenceType {
    /** Returns the element corresponding to this type. */
    Element asElement();
    /** Returns the type of the innermost enclosing instance, or a {@link
     * ExtendedNoType} of kind NONE if there is no enclosing
     * instance.  Only types corresponding to inner classes have an enclosing
     * instance. */
    ExtendedTypeMirror getEnclosingType();
    /**
     * Returns the actual type arguments of this type. For a type nested within
     * a parameterized type (such as
     * Outer<String>.Inner<Number>), only the type
     * arguments of the innermost type are included.
     */
    List getTypeArguments();
}