SessionChangeListener.java

package jetbrains.mps.debug.api;

/*Generated by MPS */


public interface SessionChangeListener {
  void stateChanged(AbstractDebugSession session);
  void paused(AbstractDebugSession session);
  void resumed(AbstractDebugSession session);
  void muted(AbstractDebugSession session);
}