de.uka.ilkd.key.java

Interface ProgramVariableName

All Superinterfaces:

ModelElement, ProgramElement, SourceElement, SVSubstitute, TerminalProgramElement

public interface ProgramVariableName
extends TerminalProgramElement

Method Summary

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit