Uses of Class
org.qedeq.kernel.se.common.SourceFileExceptionList

Packages that use SourceFileExceptionList

org.qedeq.kernel.bo.common	Basis classes for all packages.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.common	Common classes.
org.qedeq.kernel.xml.dao	Load and persist QEDEQ XML modules.
org.qedeq.kernel.xml.handler.common	Common handlers for parsing XML.
org.qedeq.kernel.xml.handler.parser	Functionality to parse XML operator lists.
org.qedeq.kernel.xml.parser	Connection to SAX XML parsers.

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.common

Methods in org.qedeq.kernel.bo.common that return SourceFileExceptionList

SourceFileExceptionList	QedeqBo.getErrors() Get error list.
SourceFileExceptionList	QedeqBo.getWarnings() Get warning list.

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module that return SourceFileExceptionList

SourceFileExceptionList	InternalKernelServices.createSourceFileExceptionList(int code, java.lang.String message, java.lang.String address, java.lang.Exception e) Creates a list with a SourceFileException with dummy position.
SourceFileExceptionList	InternalKernelServices.createSourceFileExceptionList(int code, java.lang.String message, java.lang.String address, java.io.IOException e) Creates a list with a SourceFileException with dummy position.
SourceFileExceptionList	InternalKernelServices.createSourceFileExceptionList(int code, java.lang.String message, java.lang.String address, java.lang.RuntimeException e) Creates a list with a SourceFileException with dummy position.

Methods in org.qedeq.kernel.bo.module with parameters of type SourceFileExceptionList

void	KernelQedeqBo.addPluginErrorsAndWarnings(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Add errors and warnings for service.
void	KernelQedeqBo.setDependencyFailureState(DependencyState loadRequiredFailed, SourceFileExceptionList sfl) Set dependency failure module state.
void	KernelQedeqBo.setFormallyProvedFailureState(FormallyProvedState state, SourceFileExceptionList sfl) Set logical formally proved module failure state.
void	KernelQedeqBo.setLoadingImportsFailureState(LoadingImportsState loadImportsFailed, SourceFileExceptionList sfl) Set failure module state.
void	KernelQedeqBo.setWellfFormedFailureState(WellFormedState stateExternalCheckingFailed, SourceFileExceptionList sfl) Set failure module state.

Methods in org.qedeq.kernel.bo.module that throw SourceFileExceptionList

KernelQedeqBo	InternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.
Qedeq	QedeqFileDao.loadQedeq(InternalServiceJob process, QedeqBo prop, java.io.File localFile) Load a QEDEQ module from file.
void	QedeqFileDao.saveQedeq(InternalServiceJob process, KernelQedeqBo prop, java.io.File localFile) Save a QEDEQ module as file.

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.service.basis

Methods in org.qedeq.kernel.bo.service.basis that return SourceFileExceptionList

SourceFileExceptionList	ControlVisitor.getErrorList() Get list of errors that occurred during visit.
SourceFileExceptionList	ModuleServicePluginResults.getErrors() Get list of all errors.
SourceFileExceptionList	ControlVisitor.getWarningList() Get list of warnings that occurred during visit.
SourceFileExceptionList	ModuleServicePluginResults.getWarnings() Get list of all warnings.

Methods in org.qedeq.kernel.bo.service.basis with parameters of type SourceFileExceptionList

void	ModuleServicePluginResults.addErrors(SourceFileExceptionList errors) Add errors.
void	ModuleServicePluginResults.addWarnings(SourceFileExceptionList warnings) Add warnings.

Methods in org.qedeq.kernel.bo.service.basis that throw SourceFileExceptionList

void	ModuleLabelsCreator.createLabels(InternalServiceJob process, ModuleLabels labels) Fill QEDEQ module labels.
void	ControlVisitor.traverse(InternalServiceJob process) Start traverse of QedeqBo.

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.service.internal

Methods in org.qedeq.kernel.bo.service.internal that return SourceFileExceptionList

SourceFileExceptionList	DefaultInternalKernelServices.createSourceFileExceptionList(int code, java.lang.String message, java.lang.String address, java.lang.Exception e)
SourceFileExceptionList	DefaultInternalKernelServices.createSourceFileExceptionList(int code, java.lang.String message, java.lang.String address, java.io.IOException e)
SourceFileExceptionList	DefaultInternalKernelServices.createSourceFileExceptionList(int code, java.lang.String message, java.lang.String address, java.lang.RuntimeException e)
SourceFileExceptionList	DefaultKernelQedeqBo.createSourceFileExceptionList(Service service, ModuleDataException exception) Create exception out of ModuleDataException.
SourceFileExceptionList	DefaultKernelQedeqBo.createSourceFileExceptionList(Service service, ModuleDataException exception, Qedeq qedeq) Create exception out of ModuleDataException.
SourceFileExceptionList	PluginResultManager.getAllErrors() Get all errors that occurred.
SourceFileExceptionList	PluginResultManager.getAllWarnings() Get all warnings that occurred.
SourceFileExceptionList	DefaultKernelQedeqBo.getErrors()
SourceFileExceptionList	StateManager.getErrors() Get all errors.
SourceFileExceptionList	DefaultKernelQedeqBo.getWarnings()
SourceFileExceptionList	StateManager.getWarnings() Get all warnings.

Methods in org.qedeq.kernel.bo.service.internal with parameters of type SourceFileExceptionList

void	DefaultKernelQedeqBo.addPluginErrorsAndWarnings(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings)
void	StateManager.addPluginResults(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Add the plugin execution errors and warnings.
void	PluginResultManager.addResult(ModuleService plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Add results of a plugin.
void	DefaultKernelQedeqBo.setDependencyFailureState(DependencyState state, SourceFileExceptionList e)
void	StateManager.setDependencyFailureState(DependencyState state, SourceFileExceptionList e) Set failure module state.
protected void	StateManager.setErrors(SourceFileExceptionList errors) Set SourceFileExceptionList.
void	DefaultKernelQedeqBo.setFormallyProvedFailureState(FormallyProvedState state, SourceFileExceptionList e)
void	StateManager.setFormallyProvedFailureState(FormallyProvedState state, SourceFileExceptionList e) Set failure module state.
void	DefaultKernelQedeqBo.setLoadingFailureState(LoadingState state, SourceFileExceptionList e) Set failure module state.
void	StateManager.setLoadingFailureState(LoadingState state, SourceFileExceptionList e) Set failure module state.
void	DefaultKernelQedeqBo.setLoadingImportsFailureState(LoadingImportsState state, SourceFileExceptionList e)
void	StateManager.setLoadingImportsFailureState(LoadingImportsState state, SourceFileExceptionList e) Set failure module state.
void	PluginResultManager.setResult(ModuleServicePlugin plugin, SourceFileExceptionList errors, SourceFileExceptionList warnings) Set a plugin execution results.
void	DefaultKernelQedeqBo.setWellfFormedFailureState(WellFormedState state, SourceFileExceptionList e)
void	StateManager.setWellFormedFailureState(WellFormedState state, SourceFileExceptionList e) Set failure module state.

Methods in org.qedeq.kernel.bo.service.internal that throw SourceFileExceptionList

KernelQedeqBo

DefaultInternalKernelServices.loadKernelModule(InternalServiceJob process, ModuleAddress parent, Specification spec) Load specified QEDEQ module from QEDEQ parent module.

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex that throw SourceFileExceptionList

static void	QedeqBoDuplicateLanguageChecker.check(InternalModuleServiceCall call) Checks if all formulas of a QEDEQ module are well formed.
java.io.InputStream	Qedeq2LatexExecutor.createLatex(InternalModuleServiceCall call, java.lang.String language, java.lang.String level) Get an input stream for the LaTeX creation.
java.io.File	Qedeq2LatexExecutor.generateLatex(InternalModuleServiceCall call, java.lang.String language, java.lang.String level) Gives a LaTeX representation of given QEDEQ module as InputStream.

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.service.logic

Methods in org.qedeq.kernel.bo.service.logic that throw SourceFileExceptionList

void	WellFormedCheckerExecutor.traverse(InternalServiceJob process)

Uses of SourceFileExceptionList in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode that throw SourceFileExceptionList

void	Qedeq2UnicodeVisitor.generateUtf8(InternalServiceJob process, AbstractOutput printer, java.lang.String language, java.lang.String level) Gives a UTF-8 representation of given QEDEQ module as InputStream.
java.lang.String	Qedeq2UnicodeTextExecutor.generateUtf8(InternalServiceJob process, java.lang.String language, java.lang.String level) Gives a UTF-8 representation of given QEDEQ module as InputStream.
java.lang.String	Qedeq2Utf8Executor.generateUtf8(InternalServiceJob process, java.lang.String language, java.lang.String level) Gives a UTF-8 representation of given QEDEQ module as InputStream.

Uses of SourceFileExceptionList in org.qedeq.kernel.se.common

Methods in org.qedeq.kernel.se.common with parameters of type SourceFileExceptionList

void	SourceFileExceptionList.add(SourceFileExceptionList e) Add exceptions of given list if they are not already included.

Constructors in org.qedeq.kernel.se.common with parameters of type SourceFileExceptionList

SourceFileExceptionList(SourceFileExceptionList e)
Constructor.

Uses of SourceFileExceptionList in org.qedeq.kernel.xml.dao

Methods in org.qedeq.kernel.xml.dao that throw SourceFileExceptionList

Qedeq	XmlQedeqFileDao.loadQedeq(InternalServiceJob process, QedeqBo prop, java.io.File file)
static void	Qedeq2Xml.print(InternalServiceJob process, ModuleService plugin, KernelQedeqBo bo, TextOutput printer) Prints a XML representation of given QEDEQ module into a given output stream.
void	XmlQedeqFileDao.saveQedeq(InternalServiceJob process, KernelQedeqBo prop, java.io.File localFile)

Uses of SourceFileExceptionList in org.qedeq.kernel.xml.handler.common

Methods in org.qedeq.kernel.xml.handler.common with parameters of type SourceFileExceptionList

void	SaxDefaultHandler.setExceptionList(SourceFileExceptionList errorList) Set parse exception list.

Uses of SourceFileExceptionList in org.qedeq.kernel.xml.handler.parser

Methods in org.qedeq.kernel.xml.handler.parser that throw SourceFileExceptionList

static java.util.List

LoadXmlOperatorListUtility.getOperatorList(InternalKernelServices services, java.io.File from) Get operator list out of XML file.

Uses of SourceFileExceptionList in org.qedeq.kernel.xml.parser

Methods in org.qedeq.kernel.xml.parser that return SourceFileExceptionList

SourceFileExceptionList

SaxParser.getExceptionList() Get errors that occurred during last parsing.

Methods in org.qedeq.kernel.xml.parser that throw SourceFileExceptionList

void	SaxParser.parse(java.io.File file, java.lang.String original) Parses the XML file.
void	SaxParser.parse(java.lang.String fileName, java.lang.String original) Parses XML file.

Constructors in org.qedeq.kernel.xml.parser with parameters of type SourceFileExceptionList

SaxErrorHandler(ModuleService plugin, java.lang.String url, SourceFileExceptionList list)
Constructor.