org.qedeq.kernel.bo.module
Interface ModuleConstantsExistenceChecker

All Superinterfaces:

ClassOperatorExistenceChecker, ExistenceChecker, FunctionExistenceChecker, IdentityOperatorExistenceChecker, PredicateExistenceChecker, RuleExistenceChecker

All Known Implementing Classes:

ModuleConstantsExistenceCheckerImpl

public interface ModuleConstantsExistenceChecker
extends ExistenceChecker

Contains methods for existence checking of various operands.

Author:

Michael Meyling

Field Summary

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

NAME_EQUAL

Method Summary

boolean	classOperatorExists() Check if the class operator is already defined.
boolean	functionExists(FunctionKey function) Check if a function is already defined.
FunctionConstant	get(FunctionKey function) Get function constant definition.
PredicateConstant	get(PredicateKey predicate) Get predicate constant definition.
Rule	get(RuleKey ruleKey) Get rule declaration.
KernelQedeqBo	getClassOperatorModule() Get QEDEQ module where the class operator is defined within.
FunctionConstant	getFunction(java.lang.String name, int arguments) Get function constant definition.
KernelQedeqBo	getIdentityOperatorModule() Get QEDEQ module where the identity operator is defined within.
RuleKey	getParentRuleKey(java.lang.String ruleName) Get maximum rule version that is defined in an imported module.
PredicateConstant	getPredicate(java.lang.String name, int arguments) Get predicate constant definition.
KernelQedeqBo	getQedeq(FunctionKey function) Get QEDEQ module where given function constant is defined.
KernelQedeqBo	getQedeq(PredicateKey predicate) Get QEDEQ module where given predicate constant is defined.
KernelQedeqBo	getQedeq(RuleKey ruleKey) Get QEDEQ module where given rule is defined.
RuleKey	getRuleKey(java.lang.String ruleName) Get maximum rule version that is defined in this or an imported module.
java.util.Map	getRules() Get map of all RuleKeys defined in this module or in one of the imported ones.
boolean	predicateExists(PredicateKey predicate) Check if a predicate is already defined.
void	setClassOperatorModule(KernelQedeqBo classOperatorModule, ModuleContext context) Set if the class operator is already defined.
void	setIdentityOperatorDefined(java.lang.String identityOperator, KernelQedeqBo identityOperatorModule, ModuleContext context) Set the identity operator.

Methods inherited from interface org.qedeq.kernel.bo.logic.common.PredicateExistenceChecker

isInitialPredicate, predicateExists

Methods inherited from interface org.qedeq.kernel.bo.logic.common.FunctionExistenceChecker

functionExists, isInitialFunction

Methods inherited from interface org.qedeq.kernel.bo.logic.common.IdentityOperatorExistenceChecker

getIdentityOperator, identityOperatorExists

Methods inherited from interface org.qedeq.kernel.bo.logic.common.RuleExistenceChecker

ruleExists

Method Detail

predicateExists

boolean predicateExists(PredicateKey predicate)

Description copied from interface: PredicateExistenceChecker

Check if a predicate is already defined.

Specified by:

predicateExists in interface PredicateExistenceChecker

Parameters:

predicate - Predicate.

Returns:

Predicate is defined.

functionExists

boolean functionExists(FunctionKey function)

Description copied from interface: FunctionExistenceChecker

Check if a function is already defined.

Specified by:

functionExists in interface FunctionExistenceChecker

Parameters:

function - Function.

Returns:

Functions is defined.

getQedeq

KernelQedeqBo getQedeq(FunctionKey function)

Get QEDEQ module where given function constant is defined.

Parameters:

function - Function we look for.

Returns:

QEDEQ module where function constant is defined.

getQedeq

KernelQedeqBo getQedeq(PredicateKey predicate)

Get QEDEQ module where given predicate constant is defined.

Parameters:

predicate - Predicate we look for.

Returns:

QEDEQ module where predicate constant is defined.x

getQedeq

KernelQedeqBo getQedeq(RuleKey ruleKey)

Get QEDEQ module where given rule is defined.

Parameters:

ruleKey - Rule we look for.

Returns:

QEDEQ module where rule is defined.x

getRuleKey

RuleKey getRuleKey(java.lang.String ruleName)

Get maximum rule version that is defined in this or an imported module.

Parameters:

ruleName - Rule we look for.

Returns:

Rule key with maximum version.x

getParentRuleKey

RuleKey getParentRuleKey(java.lang.String ruleName)

Get maximum rule version that is defined in an imported module.

Parameters:

ruleName - Rule we look for.

Returns:

Rule key with maximum version.

getRules

java.util.Map getRules()

Get map of all RuleKeys defined in this module or in one of the imported ones.

Returns:

Map of all defined rule keys mapping from RuleKey to KernelQedeqBo.

classOperatorExists

boolean classOperatorExists()

Description copied from interface: ClassOperatorExistenceChecker

Check if the class operator is already defined.

Specified by:

classOperatorExists in interface ClassOperatorExistenceChecker

Returns:

Class operator is defined.

setIdentityOperatorDefined

void setIdentityOperatorDefined(java.lang.String identityOperator,
                                KernelQedeqBo identityOperatorModule,
                                ModuleContext context)
                                throws IdentityOperatorAlreadyExistsException

Set the identity operator.

Parameters:

identityOperator - Operator name. Might be null.

identityOperatorModule - In this module the identity operator is defined.

context - Here we are within the module.

Throws:

IdentityOperatorAlreadyExistsException - Already defined.

setClassOperatorModule

void setClassOperatorModule(KernelQedeqBo classOperatorModule,
                            ModuleContext context)
                            throws ClassOperatorAlreadyExistsException

Set if the class operator is already defined.

Parameters:

classOperatorModule - Module where class operator is defined.

context - Context where we try to set new class operator.

Throws:

ClassOperatorAlreadyExistsException - Operator already defined.

getClassOperatorModule

KernelQedeqBo getClassOperatorModule()

Get QEDEQ module where the class operator is defined within.

Returns:

Class operator defining module.

getIdentityOperatorModule

KernelQedeqBo getIdentityOperatorModule()

Get QEDEQ module where the identity operator is defined within.

Returns:

Identity operator defining module.

get

PredicateConstant get(PredicateKey predicate)

Get predicate constant definition.

Parameters:

predicate - Get definition of this predicate.

Returns:

Definition.

getPredicate

PredicateConstant getPredicate(java.lang.String name,
                               int arguments)

Get predicate constant definition.

Parameters:

name - Name of predicate.

arguments - Arguments of predicate.

Returns:

Definition. Might be null.

get

FunctionConstant get(FunctionKey function)

Get function constant definition.

Parameters:

function - Get definition of this predicate.

Returns:

Definition. Might be null.

getFunction

FunctionConstant getFunction(java.lang.String name,
                             int arguments)

Get function constant definition.

Parameters:

name - Name of function.

arguments - Arguments of function.

Returns:

Definition. Might be null.

get

Rule get(RuleKey ruleKey)

Get rule declaration.

Parameters:

ruleKey - Get definition of this rule.

Returns:

Rule. Might be null.