|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.bo.visitor.AbstractModuleVisitor org.qedeq.kernel.bo.control.QedeqBoFormalLogicChecker
Checks if all formulas of a QEDEQ module are well formed.
Method Summary | |
static void |
check(String globalContext,
QedeqBo qedeq)
Checks if all formulas of a QEDEQ module are well formed. |
boolean |
classOperatorExists()
Check if the class operator is already defined. |
boolean |
equalityOperatorExists()
Check if the equality operator is already defined. |
boolean |
functionExists(String name,
int arguments)
Check if a function is already defined. |
ModuleContext |
getCurrentContext()
Get current context within original. |
String |
getEqualityOperator()
Get equality operator. |
protected Qedeq |
getQedeqOriginal()
Get original qedeq module. |
boolean |
predicateExists(String name,
int arguments)
Check if a predicate is already defined. |
void |
setLocationWithinModule(String locationWithinModule)
Set location information where are we within the orginal module. |
void |
visitEnter(Axiom axiom)
Visit certain element. |
void |
visitEnter(FunctionDefinition definition)
Visit certain element. |
void |
visitEnter(PredicateDefinition definition)
Visit certain element. |
void |
visitEnter(Proposition proposition)
Visit certain element. |
void |
visitEnter(Rule rule)
Visit certain element. |
Methods inherited from class org.qedeq.kernel.bo.visitor.AbstractModuleVisitor |
visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitEnter, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave, visitLeave |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static void check(String globalContext, QedeqBo qedeq) throws ModuleDataException
globalContext
- Module location information.qedeq
- Basic qedeq module object.
ModuleDataException
- Major problem occured.public final void visitEnter(Axiom axiom) throws ModuleDataException
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
ModuleDataException
public final void visitEnter(PredicateDefinition definition) throws ModuleDataException
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
ModuleDataException
public final void visitEnter(FunctionDefinition definition) throws ModuleDataException
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
ModuleDataException
public final void visitEnter(Proposition proposition) throws ModuleDataException
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
ModuleDataException
public final void visitEnter(Rule rule) throws ModuleDataException
QedeqVisitor
visitEnter
in interface QedeqVisitor
visitEnter
in class AbstractModuleVisitor
ModuleDataException
public void setLocationWithinModule(String locationWithinModule)
locationWithinModule
- Location within module.public final ModuleContext getCurrentContext()
protected final Qedeq getQedeqOriginal()
public boolean predicateExists(String name, int arguments)
PredicateExistenceChecker
predicateExists
in interface PredicateExistenceChecker
name
- Predicate name.arguments
- Number of operands for the predicate.
public boolean functionExists(String name, int arguments)
FunctionExistenceChecker
functionExists
in interface FunctionExistenceChecker
name
- Function name.arguments
- Number of operands for the function.
public boolean classOperatorExists()
ClassOperatorExistenceChecker
classOperatorExists
in interface ClassOperatorExistenceChecker
public boolean equalityOperatorExists()
EqualityOperatorExistenceChecker
equalityOperatorExists
in interface EqualityOperatorExistenceChecker
public String getEqualityOperator()
EqualityOperatorExistenceChecker
getEqualityOperator
in interface EqualityOperatorExistenceChecker
null
if !EqualityOperatorExistenceChecker.equalityOperatorExists()
.
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |