org.eclipse.viatra.query.runtime.matchers.psystem.rewriters

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 and Description
SameName()

Method Summary

Modifier and Type	Method and Description
java.lang.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 Detail

SameName

public SameName()

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

Returns:

the new variable name as a String