edu.williams.cs.ljil.finitizer
Interface DiagramChangeListener

All Known Implementing Classes:
ProcessViewPane

public interface DiagramChangeListener

Author:
shimon Listener for changes to diagrams.

Method Summary
 void stepAdded(laser.littlejil.AbstractStep step, laser.littlejil.AbstractBinding parentBinding, laser.littlejil.Diagram diagram)
          Called AFTER the given step is added to a diagram.
 void stepRemoved(laser.littlejil.AbstractStep step, laser.littlejil.AbstractBinding parentBinding, laser.littlejil.Diagram olddiagram)
          Called BEFORE a step is removed from a diagram.
 

Method Detail

stepAdded

void stepAdded(laser.littlejil.AbstractStep step,
               laser.littlejil.AbstractBinding parentBinding,
               laser.littlejil.Diagram diagram)
Called AFTER the given step is added to a diagram.


stepRemoved

void stepRemoved(laser.littlejil.AbstractStep step,
                 laser.littlejil.AbstractBinding parentBinding,
                 laser.littlejil.Diagram olddiagram)
Called BEFORE a step is removed from a diagram.