Package tools.refinery.interpreter.matchers.psystem.rewriters

Class IVariableRenamer.HierarchicalName

java.lang.Object

tools.refinery.interpreter.matchers.psystem.rewriters.IVariableRenamer.HierarchicalName

All Implemented Interfaces:

IVariableRenamer

Enclosing interface:

IVariableRenamer

public static class IVariableRenamer.HierarchicalName
extends Object
implements IVariableRenamer

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.interpreter.matchers.psystem.rewriters.IVariableRenamer

IVariableRenamer.HierarchicalName, IVariableRenamer.SameName

Constructor Summary

Constructors

Constructor	Description
HierarchicalName()

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.
void	setCallCount(int callCount)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

HierarchicalName

public HierarchicalName()

Method Details

setCallCount

public void setCallCount(int callCount)

createVariableName

public 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 interface IVariableRenamer

Parameters:

pVariable -

query -

Returns:

the new variable name as a String