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.declaration;
12:
13: import de.uka.ilkd.key.java.PrettyPrinter;
14: import de.uka.ilkd.key.java.reference.TypeReference;
15: import de.uka.ilkd.key.java.visitor.Visitor;
16: import de.uka.ilkd.key.util.ExtList;
17:
18: /**
19: * Extends.
20: * @author <TT>AutoDoc</TT>
21: */
22:
23: public class Extends extends InheritanceSpecification {
24:
25: /**
26: * Extends.
27: */
28:
29: private Extends() {
30: }
31:
32: /**
33: * Extends.
34: * @param supertype a type reference.
35: */
36: public Extends(TypeReference super type) {
37: super (super type);
38: }
39:
40: /**
41: * Constructor for the transformation of COMPOST ASTs to KeY.
42: * @param children the children of this AST element as KeY classes. May
43: * include:
44: * several TypeReference (as references to the supertypes)
45: * a Comment
46: */
47: public Extends(ExtList children) {
48: super (children);
49: }
50:
51: /** calls the corresponding method of a visitor in order to
52: * perform some action/transformation on this element
53: * @param v the Visitor
54: */
55: public void visit(Visitor v) {
56: v.performActionOnExtends(this );
57: }
58:
59: public void prettyPrint(PrettyPrinter p) throws java.io.IOException {
60: p.printExtends(this);
61: }
62: }
|