public class YAWLResetAnalyser
extends java.lang.Object
Constructor and Description |
---|
YAWLResetAnalyser() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
analyse(YSpecification specification,
YAnalyserOptions options,
java.util.Set<YAnalyserEventListener> listeners,
int maxMarkings) |
protected void |
announceProgressEvent(YAnalyserEvent event) |
protected void |
announceProgressEvent(YAnalyserEventType eventType,
java.lang.String source,
java.lang.String message) |
void |
announceProgressMessage(java.lang.String message) |
void |
cancel() |
boolean |
isCancelled() |
public java.lang.String analyse(YSpecification specification, YAnalyserOptions options, java.util.Set<YAnalyserEventListener> listeners, int maxMarkings)
public void cancel()
public boolean isCancelled()
public void announceProgressMessage(java.lang.String message)
protected void announceProgressEvent(YAnalyserEventType eventType, java.lang.String source, java.lang.String message)
protected void announceProgressEvent(YAnalyserEvent event)