de.uka.ilkd.key.logic

Class VariableNamer.IndProgramElementName

java.lang.Object

de.uka.ilkd.key.logic.Name

de.uka.ilkd.key.logic.ProgramElementName

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

All Implemented Interfaces:

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

Direct Known Subclasses:

VariableNamer.PermIndProgramElementName, VariableNamer.TempIndProgramElementName

Enclosing class:

VariableNamer

public abstract static class VariableNamer.IndProgramElementName
extends ProgramElementName

ProgramElementName carrying an additional index

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	basename
private int	index

Constructor Summary

Constructors

Constructor and Description
IndProgramElementName(java.lang.String name, java.lang.String basename, int index, NameCreationInfo creationInfo)
IndProgramElementName(java.lang.String name, java.lang.String basename, int index, NameCreationInfo creationInfo, Comment[] comments)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getBaseName()
int	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

basename

private final java.lang.String basename

index

private final int index

Constructor Detail

IndProgramElementName

IndProgramElementName(java.lang.String name,
                      java.lang.String basename,
                      int index,
                      NameCreationInfo creationInfo)

IndProgramElementName

IndProgramElementName(java.lang.String name,
                      java.lang.String basename,
                      int index,
                      NameCreationInfo creationInfo,
                      Comment[] comments)

Method Detail

getBaseName

public java.lang.String getBaseName()

getIndex

public int getIndex()