Uses of Class
com.articulate.sigma.ErrRec

Packages that use ErrRec

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Uses of ErrRec in com.articulate.sigma

Methods in com.articulate.sigma that return ErrRec

Modifier and Type	Method	Description
static ErrRec	KifFileChecker.parseKifError(String raw, String fileName)
static ErrRec	TPTPFileChecker.parseTPTP4XOutputToErrRec(String fileName, String tptpOutput, int severity)	Extract a single ErrRec from a chunk of TPTP4X output.

Methods in com.articulate.sigma that return types with arguments of type ErrRec

Modifier and Type	Method	Description
static List<ErrRec>	KifFileChecker.check(String contents)	Check KIF content without a filename.
static List<ErrRec>	KifFileChecker.check(String contents, String fileName)	Runs syntax and semantic checks on KIF content, returning diagnostics.
static List<ErrRec>	TPTPFileChecker.check(String contents)	Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.
static List<ErrRec>	TPTPFileChecker.check(String contents, String fileName)	Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.
static List<ErrRec>	TPTPFileChecker.checkWithAntlr(String contents, String fileName)	Parse TPTP text using the ANTLR-based TPTPVisitor.

Method parameters in com.articulate.sigma with type arguments of type ErrRec

Modifier and Type	Method	Description
static void	KifFileChecker.CheckExistentialInAntecedent(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs)	Check for existential quantifiers in antecedents (illegal).
static Set<Formula>	KifFileChecker.CheckFormulaPreprocess(String fileName, KB kb, Formula f, int formulaStartLine, List<ErrRec> msgs)	Run FormulaPreprocessor and record errors/warnings.
static void	KifFileChecker.CheckIsValidFormula(String fileName, Formula f, int formulaStartLine, KB kb, String formulaText, List<ErrRec> msgs)	Check if the formula is structurally valid in the KB.
static void	KifFileChecker.CheckOrphanVars(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs)	Check for disconnected variable groups
static void	KifFileChecker.CheckQuantifiedVariableNotInStatement(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs)	Check for quantified variables that do not appear in the statement body.
static void	KifFileChecker.CheckSingleUseVariables(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs)	Check for variables that appear only once in a formula.
static void	KifFileChecker.CheckSUMOtoTFAformErrors(String fileName, KB kb, Formula f, int formulaStartLine, Set<Formula> processed, List<ErrRec> msgs)	Correct invocation of SUMO→TFA translation errors.
static void	KifFileChecker.CheckSyntaxErrors(String contents, String fileName, List<ErrRec> msgs)	Check for syntax errors during parsing.
static void	KifFileChecker.CheckTermsBelowEntity(String fileName, Formula f, int formulaStartLine, String formulaText, KB kb, Set<String> localIndividuals, Set<String> localSubclasses, List<ErrRec> msgs)	Check that all terms are below Entity in the KB hierarchy.
static void	KifFileChecker.CheckUnquantInConsequent(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs)	Check for unquantified variables appearing in the consequent of implications.
static KIF	KifFileChecker.StringToKif(String contents, String fileName, List<ErrRec> errorList)	Convert raw KIF string into a KIF object, collecting parse errors.