Class GraphUpdatedEvent


  • public class GraphUpdatedEvent
    extends Object
    The Event that is emitted from the GraphEventEmitter, encapsulating a graph.
    Author:
    cl
    • Constructor Detail

      • GraphUpdatedEvent

        public GraphUpdatedEvent​(AutomatonGraph graph,
                                 javax.measure.Quantity<javax.measure.quantity.Time> elapsedTime)
        Creates a new GraphUpdatedEvent.
        Parameters:
        graph - The graph.
        elapsedTime - The time at which the update was emitted.
    • Method Detail

      • getGraph

        public AutomatonGraph getGraph()
        Returns the encapsulated graph.
        Returns:
        The encapsulated graph.
      • getElapsedTime

        public javax.measure.Quantity<javax.measure.quantity.Time> getElapsedTime()