de.uka.ilkd.key.logic

Class VariableNamer.PermIndProgramElementName

java.lang.Object

de.uka.ilkd.key.logic.Name

de.uka.ilkd.key.logic.ProgramElementName

de.uka.ilkd.key.logic.VariableNamer.IndProgramElementName

de.uka.ilkd.key.logic.VariableNamer.PermIndProgramElementName

All Implemented Interfaces:

Label, ModelElement, ProgramElement, MethodName, ReferenceSuffix, SourceElement, TerminalProgramElement, SVSubstitute, Comparable<Name>

Enclosing class:

VariableNamer

private static class VariableNamer.PermIndProgramElementName
extends VariableNamer.IndProgramElementName

regular indexed ProgramElementName

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static char	SEPARATOR

Constructor Summary

Constructors

Constructor and Description
PermIndProgramElementName(String basename, int index, NameCreationInfo creationInfo)
PermIndProgramElementName(String basename, int index, NameCreationInfo creationInfo, Comment[] comments)

Method Summary

Methods inherited from class de.uka.ilkd.key.logic.VariableNamer.IndProgramElementName

getBaseName, getIndex

Methods inherited from class de.uka.ilkd.key.logic.ProgramElementName

equals, equalsModRenaming, getComments, getCreationInfo, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getProgramName, getQualifier, getRelativePosition, getStartPosition, hashCode, match, prettyPrint, visit

Methods inherited from class de.uka.ilkd.key.logic.Name

compareTo, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

SEPARATOR

static final char SEPARATOR

See Also:

Constant Field Values

Constructor Detail

PermIndProgramElementName

PermIndProgramElementName(String basename,
                          int index,
                          NameCreationInfo creationInfo)

PermIndProgramElementName

PermIndProgramElementName(String basename,
                          int index,
                          NameCreationInfo creationInfo,
                          Comment[] comments)