fmrisc.ProgramExplorer.Semantics

Class NewVariables

java.lang.Object

fmrisc.ProgramExplorer.Semantics.NewVariables

public final class NewVariables
extends java.lang.Object

Create new variables that are not used variables in an expression.

Constructor Summary

Constructors

Constructor and Description
NewVariables()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	newVariable(java.lang.String var, java.util.Collection<java.lang.String> used) Compute a new variable name derived from var that does not occur in used.
static java.lang.String[]	newVariables(VariableSymbol[] vars, java.lang.String suffix, java.util.Collection<java.lang.String> used) Compute unique and unused variable names.

Methods inherited from class java.lang.Object

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

Constructor Detail

NewVariables

public NewVariables()

Method Detail

newVariables

public static java.lang.String[] newVariables(VariableSymbol[] vars,
                                              java.lang.String suffix,
                                              java.util.Collection<java.lang.String> used)

Compute unique and unused variable names.

Parameters:

vars - a sequence of variables that are candidates for the result.

suffix - a suffix to be added to variable name.

used - a collection of already used (and thus forbidden) names (may be null, then denotes the empty set).

Returns:

an array that is as long as vars and holds at each position either the corresponding string of vars or a string that is derived from that string. It is ensured that no string in the result occurs in "used" or twice in the result.

newVariable

public static java.lang.String newVariable(java.lang.String var,
                                           java.util.Collection<java.lang.String> used)

Compute a new variable name derived from var that does not occur in used.

Parameters:

var - the name from which the result is derived.

used - a set of forbidden name.

Returns:

a name that is derived from var and does not occur in used.