ConForM.CoopnTools.CoKer.SpecMgr
Interface SpecModuleObserver

All Known Implementing Classes:
ConstraintsMgr, EvalVar, EvalFrame, SimVar, Simulator, ModuleTracker

public interface SpecModuleObserver

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


Method Summary
 void notifySpecModuleChanged(java.lang.String specName, SpecModule module)
          Notification routine.
 

Method Detail

notifySpecModuleChanged

public void notifySpecModuleChanged(java.lang.String specName,
                                    SpecModule module)
Notification routine. This routine is called by the spec manager - if the file listener is registrated - each time the spec manager decides that the specification module is modified.
Parameters:
specName - the name of the spec module.
module - the modified specification module.