Package ConForM.CoopnTools.Spec

Class Summary
AddClassCreationVarMenuItem Add menu item.
AddClassDestructionVarMenuItem Add menu item.
AddClassGateVarMenuItem Add menu item.
AddClassMethodVarMenuItem Add menu item.
AddConstraintMenuItem Add constraint menu item.
AddContextGateVarMenuItem Add menu item.
AddContextMethodVarMenuItem Add menu item.
AddGenVarMenuItem Add menu item.
AddModuleMenuItem Add module menu item.
AddObjVarMenuItem Add menu item.
AddOpVarMenuItem Add menu item.
AddScenarioMenuItem Add scenario menu item.
AddSortVarMenuItem Add menu item.
AddTermVarMenuItem Add menu item.
AddTestMenuItem Add test menu item.
AddTypeVarMenuItem Add menu item.
AdtEvalMenuItem Adt Evaluator menu item.
CheckMenuItem Quit menu item.
ClassCreationVarPopupMenu classCreation variable popup menu.
ClassDestructionVarPopupMenu classDestruction variable popup menu.
ClassGateVarPopupMenu classGate variable popup menu.
ClassMethodVarPopupMenu classMethod variable popup menu.
ConstraintEditMenuItem Constraint edition menu item.
ConstraintEditROMenuItem Constraint edition read-only menu item.
ConstraintPopupMenu source popup menu.
ContextGateVarPopupMenu contextGate variable popup menu.
ContextMethodVarPopupMenu contextMethod variable 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.
CoopnSourceMenuItem Coopn source menu item.
CoopnViewEGMenuItem View enrichment graph menu item.
CoopnViewMenuItem View (open in read only) menu item.
DelClassCreationVarMenuItem Delete menu item.
DelClassDestructionVarMenuItem Delete menu item.
DelClassGateVarMenuItem Delete menu item.
DelClassMethodVarMenuItem Delete menu item.
DelConstraintMenuItem Delete constraint menu item.
DelContextGateVarMenuItem Delete menu item.
DelContextMethodVarMenuItem Delete menu item.
DelGenVarMenuItem Delete menu item.
DelModuleMenuItem Delete module menu item.
DelObjVarMenuItem Delete menu item.
DelOpVarMenuItem Delete menu item.
DelScenarioMenuItem Delete scenario menu item.
DelSortVarMenuItem Delete menu item.
DelTermVarMenuItem Delete menu item.
DelTestMenuItem Delete test menu item.
DelTypeVarMenuItem Delete menu item.
GenVarPopupMenu gen variable popup menu.
HLPNTranslationMenuItem Adt Evaluator menu item.
ModClassCreationVarMenuItem Modify menu item.
ModClassDestructionVarMenuItem Modify menu item.
ModClassGateVarMenuItem Modify menu item.
ModClassMethodVarMenuItem Modify menu item.
ModContextGateVarMenuItem Modify menu item.
ModContextMethodVarMenuItem Modify menu item.
ModGenVarMenuItem Modify menu item.
ModObjVarMenuItem Modify menu item.
ModOpVarMenuItem Modify menu item.
ModSortVarMenuItem Modify menu item.
ModTermVarMenuItem Modify menu item.
ModTypeVarMenuItem Modify menu item.
ObjVarPopupMenu obj variable popup menu.
OpVarPopupMenu op variable popup menu.
ProtoBuildMenuItem Prototype menu item.
ProtoEvalMenuItem Prototype evaluation menu item.
ProtoInterpretMenuItem Prototype evaluation menu item.
ProtoMenuItem Prototype menu item.
QuitMenuItem Quit menu item.
ReloadMenuItem Reload menu item.
SaveNowMenuItem Save now menu item.
ScenarioPopupMenu source popup menu.
ScenarioSimulMenuItem Scenario simulation menu item.
ShowHelpMenuItem Show help menu item.
ShowVersionMenuItem Show version menu item.
SimulMenuItem Simultation menu item.
SortVarPopupMenu sort variable popup menu.
SourcePopupMenu source popup menu.
Spec Specification tool.
SpecEnv Specification tool environment.
SpecEnvMgr Spec tool environment manager.
TermVarPopupMenu term variable popup menu.
TestOpenMenuItem Test set open menu item.
TestPopupMenu source popup menu.
TestSetMenuItem Test set menu item.
TypeVarPopupMenu type variable popup menu.
ViewEGMenuItem View enrichment graph menu item.