public class ParserSILKFilePreXML extends ParserDomainTheory
ParserDomainTheory
class
that reads in Domain Theories expressed in Horn Clauses. This one reads in a
SILK file which has been saved to disk in the OLD (pre-XML) format.
The Context-Free Grammar defining a *.silk file format is documented in
SILKFileGrammar
. It documents the NEW format.
When constructed with a Tokenizer
, this ParserSILKFilePreXML will
construct a Context
from the tokens found in the
Tokenizer's
input file.
This parser will theoretically never be needed. But just in case someone has an old-style SILK file they want to read into a modern version of SILKin, we keep it around.
cachedStdMacros, errorFound
Constructor and Description |
---|
ParserSILKFilePreXML(Tokenizer tok)
Construct a ParserSILKFilePreXML.
|
Modifier and Type | Method and Description |
---|---|
Context |
parseSILKFile() |
determinePrimitive, error, parseCBfromString, parseDomainTheory, parseDomainTheory, parseKinTerm, parseMacrosOnly, parseSingleClause, parseSingleClause, parseStandardMacros
public ParserSILKFilePreXML(Tokenizer tok)
tok
- a Tokenizer
which parses tokens from an input file on demand.public Context parseSILKFile() throws KSParsingErrorException, JavaSystemException, KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, KSDateParseException