|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |