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: * Implements.
20: *
21: */
22:
23: public class Implements extends InheritanceSpecification {
24:
25: /**
26: * Implements.
27: */
28:
29: public Implements() {
30: }
31:
32: /**
33: * Implements.
34: * @param supertype a type reference.
35: */
36:
37: public Implements(TypeReference super type) {
38: super (super type);
39: }
40:
41: /**
42: * Implements.
43: * @param typeRefs a type reference array.
44: */
45:
46: public Implements(TypeReference[] typeRefs) {
47: super (typeRefs);
48: }
49:
50: /**
51: * Implements.
52: * @param children containing the children. May include:
53: * a Comment,
54: * several TypeReference (as references to the supertypes)
55: *
56: */
57: public Implements(ExtList children) {
58: super (children);
59: }
60:
61: /** calls the corresponding method of a visitor in order to
62: * perform some action/transformation on this element
63: * @param v the Visitor
64: */
65: public void visit(Visitor v) {
66: v.performActionOnImplements(this );
67: }
68:
69: public void prettyPrint(PrettyPrinter p) throws java.io.IOException {
70: p.printImplements(this);
71: }
72: }
|