Package tools.refinery.interpreter.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	Description
static class	IVariableRenamer.HierarchicalName
static class	IVariableRenamer.SameName

Method Summary

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

Method Details

createVariableName

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