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.
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.