public class NamespaceImpl extends Object implements WritableNamespace
Namespace interface.| Constructor and Description |
|---|
NamespaceImpl() |
NamespaceImpl(Namespace defaultNamespace) |
| Modifier and Type | Method and Description |
|---|---|
void |
deregisterFunction(Function function) |
void |
deregisterSymbol(Symbol symbol) |
Function[] |
getAllFunctions() |
Symbol[] |
getAllSymbols() |
Namespace |
getDefaultNamespace() |
void |
registerFunction(Function function) |
void |
registerSymbol(Symbol symbol) |
Function |
resolveFunction(String name,
Term[] args)
Resolves the given name and argument list in order to find a matching function.
|
Symbol |
resolveSymbol(String name)
Resolves the given name in order to find a matching symbol.
|
public NamespaceImpl()
public NamespaceImpl(Namespace defaultNamespace)
public final Namespace getDefaultNamespace()
public final void registerSymbol(Symbol symbol)
registerSymbol in interface WritableNamespacepublic final void deregisterSymbol(Symbol symbol)
deregisterSymbol in interface WritableNamespacepublic final Symbol resolveSymbol(String name)
NamespaceresolveSymbol in interface Namespacename - a symbol namenull if this namespace does not
contain a corresponding symbolpublic final void registerFunction(Function function)
registerFunction in interface WritableNamespacepublic final void deregisterFunction(Function function)
deregisterFunction in interface WritableNamespacepublic final Function resolveFunction(String name, Term[] args)
NamespaceresolveFunction in interface Namespacename - a function nameargs - the argument listnull if this namespace does not
contain a corresponding functionpublic Symbol[] getAllSymbols()
getAllSymbols in interface WritableNamespacepublic final Function[] getAllFunctions()
getAllFunctions in interface WritableNamespaceCopyright © 2002–2014 Brockmann Consult GmbH. All rights reserved.