|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use QedeqException | |
org.qedeq.kernel.bo.logic | Contains the logical abilities of the kernel. |
org.qedeq.kernel.bo.module | Business objects for qedeq modules. |
Uses of QedeqException in org.qedeq.kernel.bo.logic |
Subclasses of QedeqException in org.qedeq.kernel.bo.logic | |
class |
CheckException
This is an exception for logical errors within a QEDEQ module. |
class |
ElementCheckException
This is an exception for logical errors within a QEDEQ module. |
class |
FormulaCheckException
This is an exception for logical errors within a QEDEQ module. |
class |
TermCheckException
This is an exception for logical errors within a QEDEQ module. |
Uses of QedeqException in org.qedeq.kernel.bo.module |
Subclasses of QedeqException in org.qedeq.kernel.bo.module | |
class |
IllegalModuleDataException
Data validation error for a QEDEQ module. |
class |
ModuleDataException
Data validation error for a QEDEQ module. |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |