|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.qedeq.kernel.xml.mapper.ModuleDataException2XmlFileException
Converts a ModuleDataException into a
SourceFileException.
| Method Summary | |
static SourceArea |
createSourceArea(Qedeq qedeq,
ModuleContext context)
Get area in XML source file for QEDEQ module context. |
static SourceFileExceptionList |
createXmlFileExceptionList(ModuleDataException exception,
Qedeq qedeq)
Create exception out of ModuleDataException. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public static final SourceFileExceptionList createXmlFileExceptionList(ModuleDataException exception,
Qedeq qedeq)
ModuleDataException.
exception - Take this exception.qedeq - Take this QEDEQ module.
public static SourceArea createSourceArea(Qedeq qedeq,
ModuleContext context)
qedeq - Look at this QEDEQ module.context - Search for this context.
null.
|
Hilbert II - Version 0.03.08 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| ©left GNU General Public Licence All Rights Reserved. |