Package org.oristool.analyzer

Interface AnalyzerObserver

All Known Subinterfaces:
StopCriterion
All Known Implementing Classes:
AlwaysFalseStopCriterion, AndStopCriterion, EventNameStopCriterion, IterationsNumberStopCriterion, MarkingConditionStopCriterion, MonitorStopCriterion, OrStopCriterion, RegenerativeStopCriterion, StateStopCriterion, TimeBoundStopCriterion
public interface AnalyzerObserver
Common interface of observers of the analyzer execution.

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    notifyNodeAdded(Succession succession)
    Notifies the observer that the analyzer has added the child node of the given succession to the graph.
    default void
    notifySuccessionCreated(Succession succession)
    Notifies the observer that the analyzer has created the given succession after firing one of the events in the extracted succession.
    default void
    notifySuccessionExtracted(Succession succession)
    Notifies the observer that the analyzer has extracted the given succession from the policy.
    default void
    notifySuccessionInserted(Succession succession)
    Notifies the observer that the analyzer has inserted the given succession into the policy queue.
    default void
    notifySuccessionPostProcessed(Succession succession)
    Notifies the observer that the analyzer has post-processed the given succession.
    default void
    notifySuccessionPreProcessed(Succession succession)
    Notifies the observer that the analyzer has pre-processed the given succession.

  • Method Details

    • notifySuccessionExtracted

      default void notifySuccessionExtracted(Succession succession)
      Notifies the observer that the analyzer has extracted the given succession from the policy.
      Parameters:
      succession - succession extracted by the analyzer

    • notifySuccessionPreProcessed

      default void notifySuccessionPreProcessed(Succession succession)
      Notifies the observer that the analyzer has pre-processed the given succession.
      Parameters:
      succession - succession pre-processed by the analyzer

    • notifyNodeAdded

      default void notifyNodeAdded(Succession succession)
      Notifies the observer that the analyzer has added the child node of the given succession to the graph.
      Parameters:
      succession - succession added to the graph by the analyzer

    • notifySuccessionCreated

      default void notifySuccessionCreated(Succession succession)
      Notifies the observer that the analyzer has created the given succession after firing one of the events in the extracted succession.
      Parameters:
      succession - succession created by the analyzer

    • notifySuccessionPostProcessed

      default void notifySuccessionPostProcessed(Succession succession)
      Notifies the observer that the analyzer has post-processed the given succession.
      Parameters:
      succession - succession post-processed by the analyzer

    • notifySuccessionInserted

      default void notifySuccessionInserted(Succession succession)
      Notifies the observer that the analyzer has inserted the given succession into the policy queue.
      Parameters:
      succession - succession added by the analyzer to the policy queue