public final class DefaultTermParser extends Object
Constructor and Description |
---|
DefaultTermParser() |
Modifier and Type | Method and Description |
---|---|
Term |
parse(Reader in,
Sort sort,
Services services,
Namespace var_ns,
Namespace func_ns,
Namespace sort_ns,
Namespace progVar_ns,
AbbrevMap scm)
The method reads the input and parses a term with the
specified namespaces.
|
Term |
parse(Reader in,
Sort sort,
Services services,
NamespaceSet nss,
AbbrevMap scm)
The method reads the input and parses a term with the
specified namespaces.
|
public Term parse(Reader in, Sort sort, Services services, Namespace var_ns, Namespace func_ns, Namespace sort_ns, Namespace progVar_ns, AbbrevMap scm) throws ParserException
sort
- The expected sort of the term.ParserException
- The method throws a ParserException, if
the input could not be parsed correctly or the term has an
invalid sort.public Term parse(Reader in, Sort sort, Services services, NamespaceSet nss, AbbrevMap scm) throws ParserException
sort
- The expected sort of the term; must not be null.ParserException
- The method throws a ParserException, if
the input could not be parsed correctly or the term has an
invalid sort.