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.ModelElement;
14: import de.uka.ilkd.key.java.ProgramElement;
15: import de.uka.ilkd.key.java.Reference;
16: import de.uka.ilkd.key.java.SourceElement;
17:
18: /**
19: * Reference suffix. There are only few pure suffices, e.g.
20: * {@link SuperConstructorReference}.
21: * This interface does not extend {@link Reference}, as
22: * {@link recoder.java.expression.ParenthesizedExpression} is a qualifier
23: * but not a reference per se.
24: */
25:
26: public interface ReferenceSuffix extends ModelElement, ProgramElement,
27: SourceElement {
28:
29: /**
30: * @return the prefix in the access path, or null if there is none.
31: */
32: // ReferencePrefix getReferencePrefix();
33: }
|