fmrisc.ProgramExplorer.Syntax

Class NameUtils

java.lang.Object

fmrisc.ProgramExplorer.Syntax.NameUtils

public class NameUtils
extends java.lang.Object

Utilities related to names.

Constructor Summary

Constructors

Constructor and Description
NameUtils()

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.Set<ClassSymbol>	getClassSymbols(Name[] names) Get set of class symbols denoted by names.
static java.util.Set<Name>	getNames(java.util.Collection<TheorySymbol> symbols) Get names of symbols.
static java.util.Vector<TheorySymbol>	getTheorySymbols(Name[] names) Get vector of theory symbols denoted by names.
static Name	getVariable(Name name) Determine variable prefix of name.
static int	getVariablePosition(Name name) Determine variable prefix of name.
static VariableSymbol	getVariablePrefixSymbol(Name name) Determine variable prefix symbol of name.
static java.util.Set<VariableSymbol>	getVariablePrefixSymbols(Name[] names) Get set of variable symbols denoted by name.
static Name	uniqueName(Name name) Get unique name by adding optional prefix.
static Name	uniqueName(VariableSymbol symbol) Get unique reference to program variable.

Methods inherited from class java.lang.Object

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

Constructor Detail

NameUtils

public NameUtils()

Method Detail

getVariablePrefixSymbols

public static java.util.Set<VariableSymbol> getVariablePrefixSymbols(Name[] names)

Get set of variable symbols denoted by name.

Parameters:

names - a sequence of names denoting variables (may be null)

Returns:

a set of the symbols denoted by the name.

getClassSymbols

public static java.util.Set<ClassSymbol> getClassSymbols(Name[] names)

Get set of class symbols denoted by names.

Parameters:

names - a sequence of names denoting classes (may be null).

Returns:

a collection of the symbols denoted by the name.

getTheorySymbols

public static java.util.Vector<TheorySymbol> getTheorySymbols(Name[] names)

Get vector of theory symbols denoted by names.

Parameters:

names - a sequence of names denoting theories (may be null).

Returns:

a collection of the symbols denoted by the name.

getNames

public static java.util.Set<Name> getNames(java.util.Collection<TheorySymbol> symbols)

Get names of symbols.

Parameters:

symbols - a collection of symbols.

Returns:

the set of names of the symbols.

getVariable

public static Name getVariable(Name name)

Determine variable prefix of name.

Parameters:

name - a name containing a variable prefix.

Returns:

the variable prefix of the name (null, if there is none)

getVariablePrefixSymbol

public static VariableSymbol getVariablePrefixSymbol(Name name)

Determine variable prefix symbol of name.

Parameters:

name - a name containing a variable prefix.

Returns:

the symbol of the variable prefix of the name (null, if there is none)

getVariablePosition

public static int getVariablePosition(Name name)

Determine variable prefix of name.

Parameters:

name - a name containing a variable prefix.

Returns:

the position of the variable in the name (-1, if there is no such variable)

uniqueName

public static Name uniqueName(Name name)

Get unique name by adding optional prefix.

Parameters:

name - the name of a variable.

Returns:

its unique name (add package/class/object prefix, if necessary).

uniqueName

public static Name uniqueName(VariableSymbol symbol)

Get unique reference to program variable.

Parameters:

symbol - the symbol of the program variable.

Returns:

the name by which it can be referenced.