Uses of Class
crypto.rules.CrySLException

Packages that use CrySLException

Package	Description
crypto.cryslhandler
crypto.rules

Uses of CrySLException in crypto.cryslhandler

Methods in crypto.cryslhandler that return CrySLException

Modifier and Type	Method	Description
static CrySLException	CrySLReaderUtils.toCrySLException(de.darmstadt.tu.crossing.crySL.ExceptionDeclaration exception)

Methods in crypto.cryslhandler that return types with arguments of type CrySLException

Modifier and Type	Method	Description
static Collection<CrySLException>	CrySLReaderUtils.resolveExceptions(de.darmstadt.tu.crossing.crySL.Exception exception)
static Stream<CrySLException>	CrySLReaderUtils.resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.Exception exception)
protected static Stream<CrySLException>	CrySLReaderUtils.resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.ExceptionAggregate exception)
protected static Stream<CrySLException>	CrySLReaderUtils.resolveExceptionsStream(de.darmstadt.tu.crossing.crySL.ExceptionDeclaration exception)

Uses of CrySLException in crypto.rules

Methods in crypto.rules that return CrySLException

Modifier and Type	Method	Description
CrySLException	CrySLExceptionConstraint.getException()	Returns the Exception thrown by the Exception.

Constructors in crypto.rules with parameters of type CrySLException

Constructor	Description
CrySLExceptionConstraint(CrySLMethod method, CrySLException exception)	Construct the CrySLExceptionConstraint given the method and the exception thrown thereby.