|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.bo.logic.FormulaChecker
This class deals with Element
s which represent a
formula. It has methods to check those elements for certain criteria.
LATER mime 20070307: here are sometimes error messages that get concatenated with
an ElementList.getOperator()
string. Perhaps these
strings must be translated into the original input format and a mapping must be done.
Field Summary |
Fields inherited from interface org.qedeq.kernel.bo.logic.Operators |
CLASS, CONJUNCTION_OPERATOR, DISJUNCTION_OPERATOR, EQUIVALENCE_OPERATOR, EXISTENTIAL_QUANTIFIER_OPERATOR, FUNCTION_CONSTANT, FUNCTION_VARIABLE, IMPLICATION_OPERATOR, NEGATION_OPERATOR, PREDICATE_CONSTANT, PREDICATE_VARIABLE, SUBJECT_VARIABLE, UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR, UNIVERSAL_QUANTIFIER_OPERATOR |
Method Summary | |
static void |
checkFormula(Element element,
ModuleContext context)
Is Element a formula? |
static void |
checkFormula(Element element,
ModuleContext context,
ExistenceChecker existenceChecker)
Is Element a formula? |
static void |
checkTerm(Element element,
ModuleContext context)
Is Element a term? |
static void |
checkTerm(Element element,
ModuleContext context,
ExistenceChecker existenceChecker)
Is Element a term? |
static ElementSet |
getBoundSubjectVariables(Element element)
Return all bound subject variables of an element. |
protected ModuleContext |
getCurrentContext()
Get current context within original. |
protected void |
setLocationWithinModule(String locationWithinModule)
Set location information where are we within the original module. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static final void checkFormula(Element element, ModuleContext context) throws LogicalCheckException
Element
a formula?
element
- Check this element.context
- For location information. Important for locating errors.
LogicalCheckException
- It is no formula.public static final void checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) throws LogicalCheckException
Element
a formula?
element
- Check this element.context
- For location information. Important for locating errors.existenceChecker
- Existence checker for operators.
LogicalCheckException
- It is no formula.public static final void checkTerm(Element element, ModuleContext context) throws LogicalCheckException
Element
a term?
element
- Check this element.context
- For location information. Important for locating errors.
LogicalCheckException
- It is no term.public static final void checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) throws LogicalCheckException
Element
a term?
element
- Check this element.context
- For location information. Important for locating errors.existenceChecker
- Existence checker for operators.
LogicalCheckException
- It is no term.public static final ElementSet getBoundSubjectVariables(Element element)
element
- Work on this element.
protected void setLocationWithinModule(String locationWithinModule)
locationWithinModule
- Location within module.protected final ModuleContext getCurrentContext()
|
Hilbert II - Version 0.03.04 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |