Package ConForM.CoopnTools.Pack

Class Summary
AddAuthorMenuItem Add author menu item.
AddCoopnMenuItem Add a spec item.
AddModuleMenuItem Add module menu item.
AddPackageMenuItem Add a package menu item.
AddSpecMenuItem Add a spec item.
AddSubPackageMenuItem Add a package menu item.
AuthorPopupMenu author popup menu.
CoopnAdtEvalMenuItem Coopn adt eval menu item.
CoopnCheckMenuItem Coopn check menu item.
CoopnESourceMenuItem Coopn expanded source menu item.
CoopnListingMenuItem Coopn listing menu item.
CoopnOpenMenuItem Open menu item.
CoopnPopupMenu specs package popup menu.
CoopnSourceMenuItem Coopn source menu item.
CoopnViewEGMenuItem View enrichment graph menu item.
CoopnViewMenuItem View (open in read only) menu item.
DelAuthorMenuItem Delete author menu item.
DelCoopnMenuItem Delete coopn menu item.
DelModuleMenuItem Delete module menu item.
DelPackageMenuItem Delete used package menu item.
DelSpecMenuItem Delete spec menu item.
DocConsultMenuItem Doc consult menu item.
DocGenerateMenuItem Doc generate menu item.
ModAuthorMenuItem Modify author menu item.
ModModuleMenuItem Modify module menu item.
ModulePopupMenu module popup menu.
OpenMenuItem Open menu item.
Pack Package tool.
PackEnv Package tool environment.
PackEnvMgr Package tool environment manager.
QuitMenuItem Quit menu item.
ReloadMenuItem Reload menu item.
SaveNowMenuItem Save now menu item.
ShowHelpMenuItem Show help menu item.
ShowVersionMenuItem Show version menu item.
SpecAdtEvalMenuItem Spec adt eval menu item.
SpecCheckMenuItem Coopn check menu item.
SpecOpenMenuItem Open menu item.
SpecPopupMenu specs package popup menu.
SpecSimMenuItem Spec simulation menu item.
SpecViewEGMenuItem View enrichment graph menu item.
SpecViewMenuItem View (open in read only) menu item.
UsedPopupMenu used package popup menu.
ViewMenuItem View (open in read only) menu item.