Class IVariableRenamer.HierarchicalName
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.rewriters.IVariableRenamer.HierarchicalName
-
- All Implemented Interfaces:
IVariableRenamer
- Enclosing interface:
- IVariableRenamer
public static class IVariableRenamer.HierarchicalName 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 HierarchicalName()
-
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.void
setCallCount(int callCount)
-
-
-
Method Detail
-
setCallCount
public void setCallCount(int callCount)
-
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
-
-