org.eclipse.viatra.query.runtime.matchers.psystem.rewriters

Interface IVariableRenamer

All Known Implementing Classes:

IVariableRenamer.HierarchicalName, IVariableRenamer.SameName

public interface IVariableRenamer

Helper interface to ease the naming of the new variables during flattening

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	IVariableRenamer.HierarchicalName
static class	IVariableRenamer.SameName

Method Summary

Modifier and Type	Method and Description
java.lang.String	createVariableName(PVariable pVariable, PQuery query) Creates a variable name based on a given variable and a given query.

Method Detail

createVariableName

java.lang.String createVariableName(PVariable pVariable,
                                    PQuery query)

Creates a variable name based on a given variable and a given query. It only creates a String, doesn't set anything.

Parameters:

pVariable -

query -

Returns:

the new variable name as a String