org.qedeq.kernel.bo.logic.common
Interface FormulaChecker

All Known Implementing Classes:

FormulaCheckerImpl

public interface FormulaChecker

A formula checker can check logical correctness of a formula or term.

Author:

Michael Meyling

Method Summary

LogicalCheckExceptionList	checkFormula(Element element, ModuleContext context) Checks if an Element is a formula.
LogicalCheckExceptionList	checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Checks if an Element is a formula.
LogicalCheckExceptionList	checkTerm(Element element, ModuleContext context) Check if Element is a term.
LogicalCheckExceptionList	checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.

Method Detail

checkFormula

LogicalCheckExceptionList checkFormula(Element element,
                                       ModuleContext context,
                                       ExistenceChecker existenceChecker)

Checks if an Element is a formula. If there are any errors the returned list (which is always not null) has a size greater zero.

Parameters:

element - Check this element.

context - For location information. Important for locating errors.

existenceChecker - Existence checker for operators.

Returns:

Collected errors if there are any. Not null.

checkFormula

LogicalCheckExceptionList checkFormula(Element element,
                                       ModuleContext context)

Checks if an Element is a formula. All predicates and functions are assumed to exist. If there are any errors the returned list (which is always not null) has a size greater zero. If the existence context is known you should use checkFormula(Element, ModuleContext, ExistenceChecker).

Parameters:

element - Check this element.

context - For location information. Important for locating errors.

Returns:

Collected errors if there are any. Not null.

checkTerm

LogicalCheckExceptionList checkTerm(Element element,
                                    ModuleContext context,
                                    ExistenceChecker existenceChecker)

Check if Element is a term. If there are any errors the returned list (which is always not null) has a size greater zero.

Parameters:

element - Check this element.

context - For location information. Important for locating errors.

existenceChecker - Existence checker for operators.

Returns:

Collected errors if there are any. Not null.

checkTerm

LogicalCheckExceptionList checkTerm(Element element,
                                    ModuleContext context)

Check if Element is a term. If there are any errors the returned list (which is always not null) has a size greater zero. If the existence context is known you should use checkTerm(Element, ModuleContext, ExistenceChecker).

Parameters:

element - Check this element.

context - For location information. Important for locating errors.

Returns:

Collected errors if there are any. Not null.