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