1 /*
   2  * Copyright (c) 2005, 2017, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.  Oracle designates this
   8  * particular file as subject to the "Classpath" exception as provided
   9  * by Oracle in the LICENSE file that accompanied this code.
  10  *
  11  * This code is distributed in the hope that it will be useful, but WITHOUT
  12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  14  * version 2 for more details (a copy is included in the LICENSE file that
  15  * accompanied this code).
  16  *
  17  * You should have received a copy of the GNU General Public License version
  18  * 2 along with this work; if not, write to the Free Software Foundation,
  19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  20  *
  21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  22  * or visit www.oracle.com if you need additional information or have any
  23  * questions.
  24  */
  25 
  26 package javax.lang.model.element;
  27 
  28 import java.util.List;
  29 import javax.lang.model.type.*;
  30 import javax.lang.model.util.*;
  31 
  32 /**
  33  * Represents a class or interface program element.  Provides access
  34  * to information about the type and its members.  Note that an enum
  35  * type is a kind of class and an annotation type is a kind of
  36  * interface.
  37  *
  38  * <p> While a {@code TypeElement} represents a class or interface
  39  * <i>element</i>, a {@link DeclaredType} represents a class
  40  * or interface <i>type</i>, the latter being a use
  41  * (or <i>invocation</i>) of the former.
  42  * The distinction is most apparent with generic types,
  43  * for which a single element can define a whole
  44  * family of types.  For example, the element
  45  * {@code java.util.Set} corresponds to the parameterized types
  46  * {@code java.util.Set<String>} and {@code java.util.Set<Number>}
  47  * (and many others), and to the raw type {@code java.util.Set}.
  48  *
  49  * <p> Each method of this interface that returns a list of elements
  50  * will return them in the order that is natural for the underlying
  51  * source of program information.  For example, if the underlying
  52  * source of information is Java source code, then the elements will be
  53  * returned in source code order.
  54  *
  55  * @author Joseph D. Darcy
  56  * @author Scott Seligman
  57  * @author Peter von der Ah&eacute;
  58  * @see DeclaredType
  59  * @since 1.6
  60  */
  61 public interface TypeElement extends Element, Parameterizable, QualifiedNameable {
  62     /**
  63      * Returns the fields, methods, constructors, and member types
  64      * that are directly declared in this class or interface.
  65      *
  66      * This includes any {@linkplain Elements.Origin#MANDATED
  67      * mandated} elements such as the (implicit) default constructor
  68      * and the implicit {@code values} and {@code valueOf} methods of
  69      * an enum type.
  70      *
  71      * @apiNote As a particular instance of the {@linkplain
  72      * javax.lang.model.element general accuracy requirements} and the
  73      * ordering behavior required of this interface, the list of
  74      * enclosed elements will be returned in the natural order for the
  75      * originating source of information about the type.  For example,
  76      * if the information about the type is originating from a source
  77      * file, the elements will be returned in source code order.
  78      * (However, in that case the the ordering of elements, such as a
  79      * default constructor, is not specified.)
  80      *
  81      * @return the enclosed elements in proper order, or an empty list if none
  82      *
  83      * @jls 8.8.9 Default Constructor
  84      * @jls 8.9.3 Enum Members 
  85      */
  86     @Override
  87     List<? extends Element> getEnclosedElements();
  88 
  89     /**
  90      * Returns the <i>nesting kind</i> of this type element.
  91      *
  92      * @return the nesting kind of this type element
  93      */
  94     NestingKind getNestingKind();
  95 
  96     /**
  97      * Returns the fully qualified name of this type element.
  98      * More precisely, it returns the <i>canonical</i> name.
  99      * For local and anonymous classes, which do not have canonical names,
 100      * an empty name is returned.
 101      *
 102      * <p>The name of a generic type does not include any reference
 103      * to its formal type parameters.
 104      * For example, the fully qualified name of the interface
 105      * {@code java.util.Set<E>} is "{@code java.util.Set}".
 106      * Nested types use "{@code .}" as a separator, as in
 107      * "{@code java.util.Map.Entry}".
 108      *
 109      * @return the fully qualified name of this class or interface, or
 110      * an empty name if none
 111      *
 112      * @see Elements#getBinaryName
 113      * @jls 6.7 Fully Qualified Names and Canonical Names
 114      */
 115     Name getQualifiedName();
 116 
 117     /**
 118      * Returns the simple name of this type element.
 119      *
 120      * For an anonymous class, an empty name is returned.
 121      *
 122      * @return the simple name of this class or interface,
 123      * an empty name for an anonymous class
 124      *
 125      */
 126     @Override
 127     Name getSimpleName();
 128 
 129     /**
 130      * Returns the direct superclass of this type element.
 131      * If this type element represents an interface or the class
 132      * {@code java.lang.Object}, then a {@link NoType}
 133      * with kind {@link TypeKind#NONE NONE} is returned.
 134      *
 135      * @return the direct superclass, or a {@code NoType} if there is none
 136      */
 137     TypeMirror getSuperclass();
 138 
 139     /**
 140      * Returns the interface types directly implemented by this class
 141      * or extended by this interface.
 142      *
 143      * @return the interface types directly implemented by this class
 144      * or extended by this interface, or an empty list if there are none
 145      */
 146     List<? extends TypeMirror> getInterfaces();
 147 
 148     /**
 149      * Returns the formal type parameters of this type element
 150      * in declaration order.
 151      *
 152      * @return the formal type parameters, or an empty list
 153      * if there are none
 154      */
 155     List<? extends TypeParameterElement> getTypeParameters();
 156 
 157     /**
 158      * Returns the package of a top-level type and returns the
 159      * immediately lexically enclosing element for a {@linkplain
 160      * NestingKind#isNested nested} type.
 161      *
 162      * @return the package of a top-level type, the immediately
 163      * lexically enclosing element for a nested type
 164      */
 165     @Override
 166     Element getEnclosingElement();
 167 }