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: /** represents a name of a program variable
11: */package de.uka.ilkd.key.java;
12:
13: public interface ProgramVariableName extends
14: de.uka.ilkd.key.java.TerminalProgramElement {
15:
16: // public Comment[] getComments();
17:
18: // public SourceElement getFirstElement();
19:
20: // public SourceElement getLastElement();
21:
22: // public void prettyPrint(PrettyPrinter w) throws java.io.IOException;
23:
24: // public void visit(de.uka.ilkd.key.java.Visitor v);
25:
26: // public Position getStartPosition();
27:
28: // public Position getEndPosition();
29:
30: // public Position getRelativePosition();
31:
32: }
|