| de.uka.ilkd.key.parser.SimpleTermParser
All known Subclasses: de.uka.ilkd.key.parser.DefaultTermParser,
| SimpleTermParser | | public interface SimpleTermParser (Code) | | A simple interface to parse arbitrary terms.
author:
Hubert Schmid |
| Method Summary | |
| Term | parse(Reader in, Sort sort, Services services, Namespace varNS, 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. |
| parse | | Term parse(Reader in, Sort sort, Services services, Namespace varNS, Namespace func_ns, Namespace sort_ns, Namespace progVar_ns, AbbrevMap scm) throws ParserException(Code) | | The method reads the input and parses a term with the
specified namespaces. The method ensures, that the term has the
specified sort.
Parameters:
sort - The expected sort of the term. The parsed term of the specified sort.
throws:
ParserException - The method throws a ParserException, ifthe input could not be parsed correctly or the term has aninvalid sort. |
| parse | | Term parse(Reader in, Sort sort, Services services, NamespaceSet nss, AbbrevMap scm) throws ParserException(Code) | | The method reads the input and parses a term with the
specified namespaces. The method ensures, that the term has the
specified sort.
Parameters:
sort - The expected sort of the term. The parsed term of the specified sort.
throws:
ParserException - The method throws a ParserException, ifthe input could not be parsed correctly or the term has aninvalid sort. |
|
|