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.reference;
12:
13: import de.uka.ilkd.key.java.ArrayOfExpression;
14: import de.uka.ilkd.key.java.Expression;
15: import de.uka.ilkd.key.java.PrettyPrinter;
16: import de.uka.ilkd.key.java.visitor.Visitor;
17: import de.uka.ilkd.key.util.ExtList;
18:
19: /**
20: * This constructor reference.
21: *
22: */
23:
24: public class ThisConstructorReference extends
25: SpecialConstructorReference {
26:
27: /**
28: * This constructor reference.
29: */
30: public ThisConstructorReference() {
31: super ();
32: }
33:
34: /**
35: * This constructor reference.
36: * @param arguments an expression mutable list.
37: */
38:
39: public ThisConstructorReference(Expression[] arguments) {
40: super (arguments);
41: }
42:
43: /**
44: * This constructor reference.
45: * @param arguments an expression mutable list.
46: */
47: public ThisConstructorReference(ArrayOfExpression arguments) {
48: super (arguments);
49: }
50:
51: /**
52: * Constructor for the transformation of COMPOST ASTs to KeY.
53: * @param children the children of this AST element as KeY classes.
54: * May contain:
55: * several of Expression (as initializers of the array),
56: * Comments
57: * Must contain:
58: * execution context
59: */
60: public ThisConstructorReference(ExtList children) {
61: super (children);
62: }
63:
64: /** calls the corresponding method of a visitor in order to
65: * perform some action/transformation on this element
66: * @param v the Visitor
67: */
68: public void visit(Visitor v) {
69: v.performActionOnThisConstructorReference(this );
70: }
71:
72: public void prettyPrint(PrettyPrinter p) throws java.io.IOException {
73: p.printThisConstructorReference(this);
74: }
75: }
|