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

Packages that use SourceFileException

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.logic	Contains logical services.
org.qedeq.kernel.se.common	Common classes.

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

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

SourceFileException

KernelQedeqBo.createSourceFileException(Service service, ModuleDataException exception) Create exception out of ModuleDataException.

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

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

protected void

ControlVisitor.addError(SourceFileException sf) Add exception to error collection.

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

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

SourceFileException

DefaultKernelQedeqBo.createSourceFileException(Service service, ModuleDataException exception)

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

Methods in org.qedeq.kernel.bo.service.logic with parameters of type SourceFileException

protected void	WellFormedCheckerExecutor.addError(SourceFileException me)
protected void	FormalProofCheckerExecutor.addError(SourceFileException me)

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

Methods in org.qedeq.kernel.se.common that return SourceFileException

SourceFileException	SourceFileExceptionList.get(int i) Get i-th exception.
SourceFileException[]	SourceFileExceptionList.toArray() Get all exceptions.

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

void	SourceFileExceptionList.add(SourceFileException e) Add exception.

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

SourceFileExceptionList(SourceFileException e)
Constructor.