public final class DefaultTermParser
extends java.lang.Object
Constructor and Description |
---|
DefaultTermParser() |
Modifier and Type | Method and Description |
---|---|
Term |
parse(java.io.Reader in,
Sort sort,
Services services,
Namespace<QuantifiableVariable> var_ns,
Namespace<Function> func_ns,
Namespace<Sort> sort_ns,
Namespace<IProgramVariable> progVar_ns,
AbbrevMap scm)
The method reads the input and parses a term with the
specified namespaces.
|
Term |
parse(java.io.Reader in,
Sort sort,
Services services,
NamespaceSet nss,
AbbrevMap scm)
The method reads the input and parses a term with the
specified namespaces.
|
Sequent |
parseSeq(java.io.Reader in,
Services services,
NamespaceSet nss,
AbbrevMap scm)
The method reads the input and parses a sequent with the
specified namespaces.
|
public Term parse(java.io.Reader in, Sort sort, Services services, Namespace<QuantifiableVariable> var_ns, Namespace<Function> func_ns, Namespace<Sort> sort_ns, Namespace<IProgramVariable> 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(java.io.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.public Sequent parseSeq(java.io.Reader in, Services services, NamespaceSet nss, AbbrevMap scm) throws ParserException
ParserException
- The method throws a ParserException, if
the input could not be parsed correctly