public class NameUtils
extends java.lang.Object
Constructor and Description |
---|
NameUtils() |
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.
|
public static java.util.Set<VariableSymbol> getVariablePrefixSymbols(Name[] names)
names
- a sequence of names denoting variables (may be null)public static java.util.Set<ClassSymbol> getClassSymbols(Name[] names)
names
- a sequence of names denoting classes (may be null).public static java.util.Vector<TheorySymbol> getTheorySymbols(Name[] names)
names
- a sequence of names denoting theories (may be null).public static java.util.Set<Name> getNames(java.util.Collection<TheorySymbol> symbols)
symbols
- a collection of symbols.public static Name getVariable(Name name)
name
- a name containing a variable prefix.public static VariableSymbol getVariablePrefixSymbol(Name name)
name
- a name containing a variable prefix.public static int getVariablePosition(Name name)
name
- a name containing a variable prefix.public static Name uniqueName(Name name)
name
- the name of a variable.public static Name uniqueName(VariableSymbol symbol)
symbol
- the symbol of the program variable.