![](http://www.java2java.com/style/Empty.gif) ![](http://www.java2java.com/style/Empty.gif) ![](http://www.java2java.com/style/Empty.gif) | ![](http://www.java2java.com/style/ThreeWay.gif) | public class ProgramElementName extends Name implements TerminalProgramElement,Label,ReferenceSuffix,MethodName(Code)(Java Doc)
| ![](http://www.java2java.com/style/Horizontal.gif) | public interface TerminalProgramElement extends ProgramElement(Code)(Java Doc)
| ![](http://www.java2java.com/style/Horizontal.gif) | public interface Label extends TerminalProgramElement(Code)(Java Doc)
| ![](http://www.java2java.com/style/Horizontal.gif) | public interface ReferenceSuffix extends ModelElement,ProgramElement,SourceElement(Code)(Java Doc)
| ![](http://www.java2java.com/style/Horizontal.gif) | public interface MethodName extends de.uka.ilkd.key.java.TerminalProgramElement(Code)(Java Doc)
|