public class LegacyVariableGenerator extends Object implements VariableGenerator
| Modifier and Type | Method and Description |
|---|---|
VariableGenerator |
createSnapshot()
Instant snapshot of variable it knows.
|
Variable |
generateNewVariable()
Generates a new non-conflicting variable.
|
Variable |
generateNewVariable(String suggestedString)
Creates a variable with the suggested string if no conflict is detected.
|
Variable |
generateNewVariableFromVar(Variable previousVariable)
Registers the previous variable and creates a new non-conflicting one by reusing (part of) its name
|
Variable |
generateNewVariableIfConflicting(Variable previousVariable)
Generates a new variable if a conflict is detected.
|
com.google.common.collect.ImmutableSet<Variable> |
getKnownVariables() |
void |
registerAdditionalVariables(Collection<Variable> additionalVariables)
Declares additional variables as known.
|
public void registerAdditionalVariables(Collection<Variable> additionalVariables)
VariableGeneratorregisterAdditionalVariables in interface VariableGeneratorpublic Variable generateNewVariableFromVar(Variable previousVariable)
VariableGeneratorgenerateNewVariableFromVar in interface VariableGeneratorpublic Variable generateNewVariableIfConflicting(Variable previousVariable)
VariableGeneratorgenerateNewVariableIfConflicting in interface VariableGeneratorpublic Variable generateNewVariable()
VariableGeneratorgenerateNewVariable in interface VariableGeneratorpublic Variable generateNewVariable(String suggestedString)
VariableGeneratorgenerateNewVariable in interface VariableGeneratorpublic com.google.common.collect.ImmutableSet<Variable> getKnownVariables()
getKnownVariables in interface VariableGeneratorpublic VariableGenerator createSnapshot()
VariableGeneratorcreateSnapshot in interface VariableGeneratorCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.