Uses of Class
com.articulate.sigma.ErrRec
Packages that use ErrRec
Package
Description
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 ErrRecModifier and TypeMethodDescriptionstatic ErrRecKifFileChecker.parseKifError(String raw, String fileName) static ErrRecTPTPFileChecker.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 ErrRecModifier and TypeMethodDescriptionCheck KIF content without a filename.Runs syntax and semantic checks on KIF content, returning diagnostics.Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.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 ErrRecModifier and TypeMethodDescriptionstatic voidKifFileChecker.CheckExistentialInAntecedent(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs) Check for existential quantifiers in antecedents (illegal).KifFileChecker.CheckFormulaPreprocess(String fileName, KB kb, Formula f, int formulaStartLine, List<ErrRec> msgs) Run FormulaPreprocessor and record errors/warnings.static voidKifFileChecker.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 voidKifFileChecker.CheckOrphanVars(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs) Check for disconnected variable groupsstatic voidKifFileChecker.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 voidKifFileChecker.CheckSingleUseVariables(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs) Check for variables that appear only once in a formula.static voidKifFileChecker.CheckSUMOtoTFAformErrors(String fileName, KB kb, Formula f, int formulaStartLine, Set<Formula> processed, List<ErrRec> msgs) Correct invocation of SUMO→TFA translation errors.static voidKifFileChecker.CheckSyntaxErrors(String contents, String fileName, List<ErrRec> msgs) Check for syntax errors during parsing.static voidKifFileChecker.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 voidKifFileChecker.CheckUnquantInConsequent(String fileName, Formula f, String formulaText, int formulaStartLine, List<ErrRec> msgs) Check for unquantified variables appearing in the consequent of implications.static KIFKifFileChecker.StringToKif(String contents, String fileName, List<ErrRec> errorList) Convert raw KIF string into a KIF object, collecting parse errors.