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 WritableNamespace
public final void deregisterSymbol(Symbol symbol)
deregisterSymbol
in interface WritableNamespace
public final Symbol resolveSymbol(String name)
Namespace
resolveSymbol
in interface Namespace
name
- a symbol namenull
if this namespace does not
contain a corresponding symbolpublic final void registerFunction(Function function)
registerFunction
in interface WritableNamespace
public final void deregisterFunction(Function function)
deregisterFunction
in interface WritableNamespace
public final Function resolveFunction(String name, Term[] args)
Namespace
resolveFunction
in interface Namespace
name
- a function nameargs
- the argument listnull
if this namespace does not
contain a corresponding functionpublic Symbol[] getAllSymbols()
getAllSymbols
in interface WritableNamespace
public final Function[] getAllFunctions()
getAllFunctions
in interface WritableNamespace
Copyright © 2002–2014 Brockmann Consult GmbH. All rights reserved.