Package crypto.cryslhandler
Class ExceptionsReader
- java.lang.Object
-
- crypto.cryslhandler.ExceptionsReader
-
public abstract class ExceptionsReader extends Object
Helper class to deriveCrySLExceptionConstraint's from the events.
-
-
Constructor Summary
Constructors Constructor Description ExceptionsReader()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static Collection<CrySLExceptionConstraint>getExceptionConstraints(de.darmstadt.tu.crossing.crySL.EventsBlock eventsBlock)
-
-
-
Method Detail
-
getExceptionConstraints
public static Collection<CrySLExceptionConstraint> getExceptionConstraints(de.darmstadt.tu.crossing.crySL.EventsBlock eventsBlock)
-
-