ConForM.CoopnTools.CoKer.ConstraintsMgr
Interface ConstraintsModuleObserver


public interface ConstraintsModuleObserver

Constraints module observer. This interface define observers, which are notified by the constraints manager when a specification module is changed.


Method Summary
 void notifyConsModuleChanged(java.lang.String consName, ConstraintsModule module)
          Notification routine.
 

Method Detail

notifyConsModuleChanged

public void notifyConsModuleChanged(java.lang.String consName,
                                    ConstraintsModule module)
Notification routine. This routine is called by the cons manager - if the file listener is registrated - each time the cons manager decides that the constraints module is modified.
Parameters:
consName - the name of the cons module.
module - the modified constraints module.