it.unibz.inf.ontop.utils

Interface VariableGenerator

All Known Implementing Classes:

LegacyVariableGenerator, VariableGeneratorImpl

public interface VariableGenerator

Generates new variables that are guaranteed to not conflict with already variables in a given scope. The typical scope for variables is the body of a rule. Do not expect implementations to be thread-safe! See CoreUtilsFactory for building new instances

Method Summary

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.

Method Detail

registerAdditionalVariables

void registerAdditionalVariables(Collection<Variable> additionalVariables)

Declares additional variables as known.

generateNewVariableFromVar

Variable generateNewVariableFromVar(Variable previousVariable)

Registers the previous variable and creates a new non-conflicting one by reusing (part of) its name

generateNewVariableIfConflicting

Variable generateNewVariableIfConflicting(Variable previousVariable)

Generates a new variable if a conflict is detected.

generateNewVariable

Variable generateNewVariable()

Generates a new non-conflicting variable.

generateNewVariable

Variable generateNewVariable(String suggestedString)

Creates a variable with the suggested string if no conflict is detected. However, generates a variable with a close but different name.

getKnownVariables

com.google.common.collect.ImmutableSet<Variable> getKnownVariables()

createSnapshot

VariableGenerator createSnapshot()

Instant snapshot of variable it knows.