org.qedeq.kernel.bo.control
Class ModuleConstantsExistenceChecker

java.lang.Object
  org.qedeq.kernel.bo.logic.DefaultExistenceChecker
      org.qedeq.kernel.bo.control.ModuleConstantsExistenceChecker

All Implemented Interfaces:

ClassOperatorExistenceChecker, EqualityOperatorExistenceChecker, ExistenceChecker, FunctionExistenceChecker, PredicateExistenceChecker

public class ModuleConstantsExistenceChecker

extends DefaultExistenceChecker

Checks if all formulas of a QEDEQ module are well formed.

Version:

$Revision: 1.1 $

Field Summary

Fields inherited from interface org.qedeq.kernel.bo.logic.ExistenceChecker

NAME_EQUAL

Constructor Summary

ModuleConstantsExistenceChecker(ModuleProperties prop)
Constructor.

Method Summary

boolean	functionExists(String name, int arguments) Check if a function is already defined.
void	init() Check if required QEDEQ modules mix without problems.
boolean	predicateExists(String name, int arguments) Check if a predicate is already defined.

Methods inherited from class org.qedeq.kernel.bo.logic.DefaultExistenceChecker

add, add, classOperatorExists, clear, equalityOperatorExists, functionExists, get, get, getFunction, getIdentityOperator, getPredicate, predicateExists, setClassOperatorExists, setIdentityOperatorDefined

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ModuleConstantsExistenceChecker

public ModuleConstantsExistenceChecker(ModuleProperties prop)
                                throws ModuleDataException

Constructor.

Parameters:

prop - QEDEQ module properties object.

Throws:

ModuleDataException - Referenced QEDEQ modules are already inconsistent: they doesn't mix.

Method Detail

init

public void init()
          throws ModuleDataException

Check if required QEDEQ modules mix without problems. If for example the identity operator is defined in two different modules in two different ways we have got a problem. Also the basic properties (for example DefaultExistenceChecker.setIdentityOperatorDefined(boolean, String) and DefaultExistenceChecker.setClassOperatorExists(boolean)) are set accordingly.

Throws:

ModuleDataException - Required modules doesn't mix.

predicateExists

public boolean predicateExists(String name,
                               int arguments)

Description copied from interface: PredicateExistenceChecker

Check if a predicate is already defined.

Specified by:

predicateExists in interface PredicateExistenceChecker

Overrides:

predicateExists in class DefaultExistenceChecker

functionExists

public boolean functionExists(String name,
                              int arguments)

Description copied from interface: FunctionExistenceChecker

Check if a function is already defined.

Specified by:

functionExists in interface FunctionExistenceChecker

Overrides:

functionExists in class DefaultExistenceChecker