|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Namespace
Namespaces are used by a in order
to resolve to symbol references and function calls.
Parser
| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
Symbol resolveSymbol(String name)
name - a symbol name
null if this namespace does not
contain a corresponding symbol
Function resolveFunction(String name,
Term[] args)
name - a function nameargs - the argument list
null if this namespace does not
contain a corresponding function
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||