Package crypto.analysis
Class CrySLAnalysisListener
- java.lang.Object
-
- crypto.analysis.CrySLAnalysisListener
-
- All Implemented Interfaces:
ICrySLPerformanceListener,ICrySLResultsListener
- Direct Known Subclasses:
ErrorMarkerListener
public abstract class CrySLAnalysisListener extends Object implements ICrySLPerformanceListener, ICrySLResultsListener
-
-
Constructor Summary
Constructors Constructor Description CrySLAnalysisListener()
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface crypto.analysis.ICrySLPerformanceListener
afterAnalysis, afterConstraintCheck, afterPredicateCheck, beforeAnalysis, beforeConstraintCheck, beforePredicateCheck, boomerangQueryFinished, boomerangQueryStarted, ensuredPredicates, seedStarted
-
Methods inherited from interface crypto.analysis.ICrySLResultsListener
addProgress, checkedConstraints, collectedValues, discoveredSeed, onSecureObjectFound, onSeedFinished, onSeedTimeout, reportError
-
-