01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10:
11: package de.uka.ilkd.key.java.abstraction;
12:
13: /**
14: A program model element that may contain class types.
15: */
16: public interface ClassTypeContainer extends ProgramModelElement {
17:
18: /**
19: Returns the class types locally defined within this container.
20: Returns inner types when this container is a class type.
21: @return an array of contained class types.
22: */
23: // ClassType[] getTypes();
24: /**
25: Returns the package this element is defined in. Packages
26: have no recursive scope and report themselves.
27: @return the package of this element.
28: */
29: // Package getPackage();
30: /**
31: Returns the enclosing package or class type, or method.
32: A package will report <tt>null</tt>, a methods its enclosing
33: class.
34: @return the container of this element.
35: */
36: // ClassTypeContainer getContainer();
37: }
|