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 Summary

    Modifier and Type
    Method
    Description
    resolveFunction(String name, Term[] args)
    Resolves the given name and argument list in order to find a matching function.
    Resolves the given name in order to find a matching symbol.
  • Method Details

    • 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