public class InnerVariableNamer extends VariableNamer
VariableNamer.BasenameAndIndex, VariableNamer.IndProgramElementName
map, renamingHistory, services
Constructor and Description |
---|
InnerVariableNamer(Services services) |
Modifier and Type | Method and Description |
---|---|
private int |
getMaxCounterInGlobalsAndProgram(java.lang.String basename,
java.lang.Iterable<ProgramElementName> globals,
ProgramElement program,
PosInProgram posOfDeclaration)
returns the maximum counter for the passed basename in the passed globals
and the passed program
|
ProgramVariable |
rename(ProgramVariable var,
Goal goal,
PosInOccurrence posOfFind)
intended to be called when symbolically executing a variable declaration;
resolves any naming conflicts between the new variable and other global
variables by renaming the new variable and / or other variables
|
createName, getBasename, getBasenameAndIndex, getMaxCounterInGlobals, getMaxCounterInProgram, getNameProposalForSchemaVariable, getProgramFromPIO, getProposal, getRenamingMap, getSuggestiveNameProposalForProgramVariable, getSuggestiveNameProposalForSchemaVariable, getTemporaryNameProposal, isUniqueInGlobals, isUniqueInProgram, isUniqueNameForSchemaVariable, parseName, parseName, parseName, parseName, setSuggestiveEnabled, wrapGlobals, wrapGlobals
public InnerVariableNamer(Services services)
private int getMaxCounterInGlobalsAndProgram(java.lang.String basename, java.lang.Iterable<ProgramElementName> globals, ProgramElement program, PosInProgram posOfDeclaration)
public ProgramVariable rename(ProgramVariable var, Goal goal, PosInOccurrence posOfFind)
VariableNamer
rename
in class VariableNamer
var
- the new program variablegoal
- the goalposOfFind
- the PosInOccurrence of the currently executed program