public class ParserSILKFile extends ParserDomainTheory
ParserDomainTheory
which reads in Domain Theories expressed in Horn Clauses. This one reads in a
SILK file which has been saved to disk in a *.silk format. The Context-Free
Grammar defining a *.silk file format is documented in
SILKFileGrammar
.
When constructed with a Tokenizer
, this
ParserSILKFile will construct a Context
from the tokens found
in the Tokenizer's
input file.
NOTE: All exception text in this class is intended for the developer in debugging. It is not translated.
cachedStdMacros, errorFound
Constructor and Description |
---|
ParserSILKFile(Tokenizer tok)
Construct a SILK File Parser.
|
Modifier and Type | Method and Description |
---|---|
Context |
parseSILKFile()
SILKFile -> Header, Body, "<SIL_KinData>".
|
determinePrimitive, error, parseCBfromString, parseDomainTheory, parseDomainTheory, parseKinTerm, parseMacrosOnly, parseSingleClause, parseSingleClause, parseStandardMacros
public ParserSILKFile(Tokenizer tok)
tok
- a Tokenizer
which parses tokens from an input
file on demand.public Context parseSILKFile() throws KSParsingErrorException, JavaSystemException, KSBadHornClauseException, KSInternalErrorException, KSConstraintInconsistency, KSDateParseException