Class IVariableRenamer.SameName
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IVariableRenamer.SameName
-
- All Implemented Interfaces:
IVariableRenamer
- Enclosing interface:
- IVariableRenamer
public static class IVariableRenamer.SameName extends java.lang.Object implements IVariableRenamer
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IVariableRenamer
IVariableRenamer.HierarchicalName, IVariableRenamer.SameName
-
-
Constructor Summary
Constructors Constructor Description SameName()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
public java.lang.String createVariableName(PVariable pVariable, PQuery query)
Description copied from interface:IVariableRenamer
Creates a variable name based on a given variable and a given query. It only creates a String, doesn't set anything.- Specified by:
createVariableName
in interfaceIVariableRenamer
- Returns:
- the new variable name as a String
-
-