Package crypto.cryslhandler

Class ExceptionsReader

java.lang.Object

crypto.cryslhandler.ExceptionsReader

public abstract class ExceptionsReader
extends Object

Helper class to derive CrySLExceptionConstraint's from the events.

Constructor Summary

Constructors

Constructor	Description
ExceptionsReader()

Method Summary

Modifier and Type	Method	Description
static List<CrySLExceptionConstraint>	getExceptionConstraints(de.darmstadt.tu.crossing.crySL.EventsBlock eventsBlock)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExceptionsReader

public ExceptionsReader()

Method Detail

getExceptionConstraints

public static List<CrySLExceptionConstraint> getExceptionConstraints(de.darmstadt.tu.crossing.crySL.EventsBlock eventsBlock)