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

Class IVariableRenamer.SameName

java.lang.Object

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

All Implemented Interfaces:

IVariableRenamer

Enclosing interface:

IVariableRenamer

public static class IVariableRenamer.SameName
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
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.

Methods inherited from class java.lang.Object

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

Constructor Details

SameName

public SameName()

Method Details

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