Interface Namespace

  • All Known Subinterfaces:
    WritableNamespace

    public interface Namespace
    Namespaces are used by a Parser in order to resolve to symbol references and function calls.
    Version:
    $Revision$ $Date$
    • Method Detail

      • resolveSymbol

        Symbol resolveSymbol​(String name)
        Resolves the given name in order to find a matching symbol.
        Parameters:
        name - a symbol name
        Returns:
        the symbol or null if this namespace does not contain a corresponding symbol
      • resolveFunction

        Function resolveFunction​(String name,
                                 Term[] args)
        Resolves the given name and argument list in order to find a matching function.
        Parameters:
        name - a function name
        args - the argument list
        Returns:
        the function or null if this namespace does not contain a corresponding function