diff --git a/src/ui/MainGUI.java b/src/ui/MainGUI.java
index a9212a3a59ff84075db38f3dbdcfa4024413cf36..a1b42e8bd0a17e9767f402018f6472328a0b2bfd 100644
--- a/src/ui/MainGUI.java
+++ b/src/ui/MainGUI.java
@@ -8266,929 +8266,9 @@ System.err.println("@@@@@@@@@@ I an here @@@@@@@@@@@@");
tdp1.stopAddingConnector();
}
+ ActionPerformer.actionPerformed(this, evt, command, tdp1);
- // Compare the action command to the known actions.
- if (command.equals(actions[TGUIAction.ACT_NEW].getActionCommand())) {
- newProject();
- } else if (command.equals(actions[TGUIAction.ACT_NEW_DESIGN].getActionCommand())) {
- newDesign();
- } else if (command.equals(actions[TGUIAction.ACT_NEW_ANALYSIS].getActionCommand())) {
- newAnalysis();
- } else if (command.equals(actions[TGUIAction.ACT_OPEN].getActionCommand())) {
- openProject();
- } else if (command.equals(actions[TGUIAction.ACT_MERGE].getActionCommand())) {
- mergeProject();
- } else if (command.equals(actions[TGUIAction.ACT_OPEN_LAST].getActionCommand())) {
- openLastProject();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE].getActionCommand())) {
- saveProject();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_AS].getActionCommand())) {
- saveAsProject();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_TIF].getActionCommand())) {
- saveTIF();
- } else if (command.equals(actions[TGUIAction.ACT_OPEN_TIF].getActionCommand())) {
- openTIF();
- } else if (command.equals(actions[TGUIAction.ACT_OPEN_SD].getActionCommand())) {
- openSD();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_LOTOS].getActionCommand())) {
- saveLastLotos();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_DTA].getActionCommand())) {
- saveLastDTA();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_RG].getActionCommand())) {
- saveLastRG();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_TLSA].getActionCommand())) {
- saveLastTLSA();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_AUT].getActionCommand())) {
- saveLastRGAUT();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_AUTPROJ].getActionCommand())) {
- saveLastRGAUTProj();
- } else if (command.equals(actions[TGUIAction.ACT_SAVE_AUTMODIFIED].getActionCommand())) {
- saveLastModifiedRG();
- } else if (command.equals(actions[TGUIAction.ACT_EXPORT_LIB].getActionCommand())) {
- exportLibrary();
- } else if (command.equals(actions[TGUIAction.ACT_IMPORT_LIB].getActionCommand())) {
- importLibrary();
- } else if (command.equals(actions[TGUIAction.ACT_QUIT].getActionCommand())) {
- quitApplication();
- } else if (command.equals(actions[TGUIAction.ACT_CUT].getActionCommand())) {
- cut();
- } else if (command.equals(actions[TGUIAction.ACT_COPY].getActionCommand())) {
- copy();
- } else if (command.equals(actions[TGUIAction.ACT_PASTE].getActionCommand())) {
- paste();
- } else if (command.equals(actions[TGUIAction.ACT_DELETE].getActionCommand())) {
- delete();
- } else if (command.equals(actions[TGUIAction.ACT_ZOOM_MORE].getActionCommand())) {
- zoomMore();
- } else if (command.equals(actions[TGUIAction.ACT_ZOOM_LESS].getActionCommand())) {
- zoomLess();
- } else if (command.equals(actions[TGUIAction.ACT_BACKWARD].getActionCommand())) {
- backward();
- } else if (command.equals(actions[TGUIAction.ACT_FORWARD].getActionCommand())) {
- forward();
- } else if (command.equals(actions[TGUIAction.ACT_FIRST_DIAG].getActionCommand())) {
- firstDiag();
- } else if (command.equals(actions[TGUIAction.ACT_BACK_DIAG].getActionCommand())) {
- backDiag();
- } else if (command.equals(actions[TGUIAction.ACT_NEXT_DIAG].getActionCommand())) {
- nextDiag();
- } else if (command.equals(actions[TGUIAction.ACT_LAST_DIAG].getActionCommand())) {
- lastDiag();
- } else if (command.equals(actions[TGUIAction.ACT_ABOUT].getActionCommand())) {
- aboutVersion();
- }
- //@author: Huy TRUONG.
- //open a external search box for ACT_EXTERNAL_SEARCH
- else if (command.equals(actions[TGUIAction.ACT_EXTERNAL_SEARCH].getActionCommand())) {
- showExternalSearch();}
- else if (command.equals(actions[TGUIAction.ACT_INTERNAL_SEARCH].getActionCommand())) {
- doInternalSearch();
- //--
-
- } else if (command.equals(actions[TGUIAction.ACT_TTOOL_CONFIGURATION].getActionCommand())) {
- showTToolConfiguration();
- } else if (command.equals(actions[TGUIAction.ACT_TURTLE_WEBSITE].getActionCommand())) {
- aboutTURTLE();
- } else if (command.equals(actions[TGUIAction.ACT_TURTLE_DOCUMENTATION].getActionCommand())) {
- helpTURTLE();
- } else if (command.equals(actions[TGUIAction.ACT_SYSMLSEC_DOCUMENTATION].getActionCommand())) {
- helpSysMLSec();
- } else if (command.equals(actions[TGUIAction.ACT_DIPLODOCUS_DOCUMENTATION].getActionCommand())) {
- helpDIPLODOCUS();
- } else if (command.equals(actions[TGUIAction.ACT_MODEL_CHECKING].getActionCommand())) {
- modelChecking();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_RTLOTOS].getActionCommand())) {
- generateRTLOTOS();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_LOTOS].getActionCommand())) {
- generateLOTOS();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_AUT].getActionCommand())) {
- generateAUT();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_AUTS].getActionCommand())) {
- generateAUTS();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_UPPAAL].getActionCommand())) {
- generateUPPAAL();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_PROVERIF].getActionCommand())) {
- generateProVerif();
- } else if (command.equals(actions[TGUIAction.ACT_DSE].getActionCommand())) {
- dse();
- } else if (command.equals(actions[TGUIAction.ACT_AVATAR_MODEL_CHECKER].getActionCommand())) {
- avatarModelChecker();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_JAVA].getActionCommand())) {
- generateJava();
- } else if (command.equals(actions[TGUIAction.ACT_SIMU_JAVA].getActionCommand())) {
- simuJava();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_SYSTEMC].getActionCommand())) {
- generateSystemC();
- } else if (command.equals(actions[TGUIAction.ACT_SIMU_SYSTEMC].getActionCommand())) {
- interactiveSimulationSystemC();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_TMLTXT].getActionCommand())) {
- generateTMLTxt();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_CCODE].getActionCommand())) {
- generateCCode();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_DESIGN].getActionCommand())) {
- generateDesign();
- } else if (command.equals(actions[TGUIAction.ACT_CHECKCODE].getActionCommand())) {
- checkCode();
- } else if (command.equals(actions[TGUIAction.ACT_SIMULATION].getActionCommand())) {
- simulation();
- } else if (command.equals(actions[TGUIAction.ACT_VALIDATION].getActionCommand())) {
- formalValidation();
- } else if (command.equals(actions[TGUIAction.ACT_ONECLICK_LOTOS_RG].getActionCommand())) {
- oneClickLOTOSRG();
- } else if (command.equals(actions[TGUIAction.ACT_ONECLICK_RTLOTOS_RG].getActionCommand())) {
- oneClickRTLOTOSRG();
- } else if (command.equals(actions[TGUIAction.ACT_PROJECTION].getActionCommand())) {
- projection();
- } else if (command.equals(actions[TGUIAction.ACT_GRAPH_MODIFICATION].getActionCommand())) {
- modifyGraph();
- } else if (command.equals(actions[TGUIAction.ACT_BISIMULATION].getActionCommand())) {
- bisimulation();
- } else if (command.equals(actions[TGUIAction.ACT_BISIMULATION_CADP].getActionCommand())) {
- bisimulationCADP();
- } else if (command.equals(actions[TGUIAction.ACT_DEADLOCK_SEEKER_AUT].getActionCommand())) {
- seekDeadlockAUT();
- } else if (command.equals(actions[TGUIAction.ACT_DEADLOCK_SEEKER_SAVED_AUT].getActionCommand())) {
- seekDeadlockSavedAUT();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_STAT_AUT].getActionCommand())) {
- statAUT();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_STAT_AUTDIPLODOCUS].getActionCommand())) {
- statAUTDiplodocus();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_STAT_AUTPROJ].getActionCommand())) {
- statAUTProj();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_STAT_SAVED_AUT].getActionCommand())) {
- statSavedAUT();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_PM_AUT].getActionCommand())) {
- pmAUT();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_PM_AUTPROJ].getActionCommand())) {
- pmAUTProj();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_PM_SAVED_AUT].getActionCommand())) {
- pmSavedAUT();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_RTLOTOS].getActionCommand())) {
- showFormalSpecification();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_JAVA].getActionCommand())) {
- showJavaCode();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_BIRDEYES].getActionCommand())) {
- showBirdEyesView();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_BIRDEYES_EMB].getActionCommand())) {
- showEmbeddedBirdEyesView();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_WAVE].getActionCommand())) {
- showWave();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_SUGGESTED_DESIGN].getActionCommand())) {
- showSuggestedDesign();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_SIM].getActionCommand())) {
- showSimulationTrace();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_SIM_CHRONO].getActionCommand())) {
- showSimulationTraceChrono();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_DTADOT].getActionCommand())) {
- showDTA();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_RGDOT].getActionCommand())) {
- showRG();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_TLSADOT].getActionCommand())) {
- showTLSA();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_RGAUTDOT].getActionCommand())) {
- showRGAut();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_RGAUTPROJDOT].getActionCommand())) {
- showRGAutProj();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_MODIFIEDAUTDOT].getActionCommand())) {
- showModifiedAUTDOT();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_RG_DIPLODOCUS].getActionCommand())) {
- showRGDiplodocus();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_SAVED_LOT].getActionCommand())) {
- showSavedRTLOTOS();
- } else if (command.equals(actions[TGUIAction.ACT_VIEW_SAVED_DOT].getActionCommand())) {
- showGGraph();
- } else if (command.equals(actions[TGUIAction.ACT_SCREEN_CAPTURE].getActionCommand())) {
- screenCapture();
- } else if (command.equals(actions[TGUIAction.ACT_TTOOL_WINDOW_CAPTURE].getActionCommand())) {
- windowCapture();
- } else if (command.equals(actions[TGUIAction.ACT_DIAGRAM_CAPTURE].getActionCommand())) {
- diagramCapture();
- } else if (command.equals(actions[TGUIAction.ACT_SVG_DIAGRAM_CAPTURE].getActionCommand())) {
- svgDiagramCapture();
- } else if (command.equals(actions[TGUIAction.ACT_ALL_DIAGRAM_CAPTURE].getActionCommand())) {
- allDiagramCapture();
- } else if (command.equals(actions[TGUIAction.ACT_ALL_DIAGRAM_CAPTURE_SVG].getActionCommand())) {
- allDiagramCaptureSvg();
- } else if (command.equals(actions[TGUIAction.ACT_SELECTED_CAPTURE].getActionCommand())) {
- selectedCapture();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_DOC].getActionCommand())) {
- generateDocumentation();
- } else if (command.equals(actions[TGUIAction.ACT_GEN_DOC_REQ].getActionCommand())) {
- generateDocumentationReq();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_ATTRIBUTES].getActionCommand())) {
- toggleAttributes();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_DIPLO_ID].getActionCommand())) {
- toggleDiploIDs();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_TEPE_ID].getActionCommand())) {
- toggleTEPEIDs();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_AVATAR_ID].getActionCommand())) {
- toggleAVATARIDs();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_GATES].getActionCommand())) {
- toggleGates();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_SYNCHRO].getActionCommand())) {
- toggleSynchro();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_CHANNELS].getActionCommand())) {
- toggleChannels();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_EVENTS].getActionCommand())) {
- toggleEvents();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_REQUESTS].getActionCommand())) {
- toggleRequests();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_JAVA].getActionCommand())) {
- toggleJava();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_INTERNAL_COMMENT].getActionCommand())) {
- toggleInternalComment();
- } else if (command.equals(actions[TGUIAction.ACT_TOGGLE_ATTR].getActionCommand())) {
- toggleAttr();
- } else if (command.equals(actions[TGUIAction.ACT_ENHANCE].getActionCommand())) {
- enhanceDiagram();
- } else if (command.equals(actions[TGUIAction.ACT_NC].getActionCommand())) {
- NC();
- } else if (command.equals(actions[TGUIAction.EXTERNAL_ACTION_1].getActionCommand())) {
- executeUserCommand(ConfigurationTTool.ExternalCommand1Host, ConfigurationTTool.ExternalCommand1);
- } else if (command.equals(actions[TGUIAction.EXTERNAL_ACTION_2].getActionCommand())) {
- executeUserCommand(ConfigurationTTool.ExternalCommand2Host, ConfigurationTTool.ExternalCommand2);
- } else if (command.equals(actions[TGUIAction.CONNECTOR_COMMENT].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_COMMENT);
- } else if (command.equals(actions[TGUIAction.TCD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.UML_NOTE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.UML_NOTE);
- } else if (command.equals(actions[TGUIAction.PRAGMA].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PRAGMA);
- } else if (command.equals(actions[TGUIAction.SAFETY_PRAGMA].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SAFETY_PRAGMA);
-
- // AVATAR actions
- } else if (command.equals(actions[TGUIAction.ACT_AVATAR_SIM].getActionCommand())) {
- avatarSimulation();
- } else if (command.equals(actions[TGUIAction.ACT_AVATAR_FV_UPPAAL].getActionCommand())) {
- avatarUPPAALVerification();
- } else if (command.equals(actions[TGUIAction.ACT_AVATAR_FV_PROVERIF].getActionCommand())) {
- avatarProVerifVerification();
- } else if (command.equals(actions[TGUIAction.ACT_AVATAR_FV_STATICANALYSIS].getActionCommand())) {
- avatarStaticAnalysis();
- } else if (command.equals(actions[TGUIAction.ACT_AVATAR_EXECUTABLE_GENERATION].getActionCommand())) {
- avatarExecutableCodeGeneration();
-
- // AVATAR BD
- } else if (command.equals(actions[TGUIAction.ABD_BLOCK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARBD_BLOCK);
- } else if (command.equals(actions[TGUIAction.ABD_CRYPTOBLOCK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARBD_CRYPTOBLOCK);
- } else if (command.equals(actions[TGUIAction.ABD_DATATYPE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARBD_DATATYPE);
- } else if (command.equals(actions[TGUIAction.ABD_COMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARBD_COMPOSITION_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ABD_PORT_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARBD_PORT_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ABD_LIBRARYFUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARBD_LIBRARYFUNCTION);
- } else if (command.equals(actions[TGUIAction.ABD_CRYPTOLIBRARYFUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARBD_CRYPTOLIBRARYFUNCTION);
- } else if (command.equals(actions[TGUIAction.AVATAR_FIREWALL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATAR_FIREWALL);
-
- // AVATAR SMD
- } else if (command.equals(actions[TGUIAction.ASMD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.ASMD_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_START_STATE);
- } else if (command.equals(actions[TGUIAction.ASMD_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.ASMD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARSMD_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ASMD_SEND_SIGNAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_SEND_SIGNAL);
- } else if (command.equals(actions[TGUIAction.ASMD_RECEIVE_SIGNAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_RECEIVE_SIGNAL);
- } else if (command.equals(actions[TGUIAction.ASMD_LIBRARY_FUNCTION_CALL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_LIBRARY_FUNCTION_CALL);
- } else if (command.equals(actions[TGUIAction.ASMD_PARALLEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_PARALLEL);
- } else if (command.equals(actions[TGUIAction.ASMD_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_STATE);
- } else if (command.equals(actions[TGUIAction.ASMD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_CHOICE);
- } else if (command.equals(actions[TGUIAction.ASMD_RANDOM].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_RANDOM);
- } else if (command.equals(actions[TGUIAction.ASMD_SET_TIMER].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_SET_TIMER);
- } else if (command.equals(actions[TGUIAction.ASMD_RESET_TIMER].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_RESET_TIMER);
- } else if (command.equals(actions[TGUIAction.ASMD_EXPIRE_TIMER].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARSMD_EXPIRE_TIMER);
-
- // AVATAR MAD
- } else if (command.equals(actions[TGUIAction.AMAD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.AMAD_ASSUMPTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARMAD_ASSUMPTION);
- } else if (command.equals(actions[TGUIAction.AMAD_DIAGRAM_REFERENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARMAD_DIAGRAM_REFERENCE);
- } else if (command.equals(actions[TGUIAction.AMAD_ELEMENT_REFERENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARMAD_ELEMENT_REFERENCE);
- } else if (command.equals(actions[TGUIAction.AMAD_COMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARMAD_COMPOSITION_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.AMAD_VERSIONING_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARMAD_VERSIONING_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.AMAD_IMPACT_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARMAD_IMPACT_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.AMAD_MEET_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARMAD_MEET_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.AMAD_BELONGSTOCOMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARMAD_BELONGSTOCOMPOSITION_CONNECTOR);
-
- // AVATAR RD
- } else if (command.equals(actions[TGUIAction.ARD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.ARD_REQUIREMENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARRD_REQUIREMENT);
- } else if (command.equals(actions[TGUIAction.ARD_PROPERTY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARRD_PROPERTY);
- } else if (command.equals(actions[TGUIAction.ARD_ELEMENT_REFERENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AVATARRD_ELEMENT_REFERENCE);
- } else if (command.equals(actions[TGUIAction.ARD_DERIVE_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARRD_DERIVE_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ARD_REFINE_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARRD_REFINE_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ARD_VERIFY_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARRD_VERIFY_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ARD_SATISFY_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARRD_SATISFY_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ARD_COPY_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARRD_COPY_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ARD_COMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AVATARRD_COMPOSITION_CONNECTOR);
-
- // AVATAR PD
- } else if (command.equals(actions[TGUIAction.APD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.APD_BLOCK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_BLOCK);
- } else if (command.equals(actions[TGUIAction.APD_LOGICAL_CONSTRAINT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_LOGICAL_CONSTRAINT);
- } else if (command.equals(actions[TGUIAction.APD_TEMPORAL_CONSTRAINT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_TEMPORAL_CONSTRAINT);
- } else if (command.equals(actions[TGUIAction.APD_ATTRIBUTE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_ATTRIBUTE);
- } else if (command.equals(actions[TGUIAction.APD_SIGNAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_SIGNAL);
- } else if (command.equals(actions[TGUIAction.APD_ALIAS].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_ALIAS);
- } else if (command.equals(actions[TGUIAction.APD_BOOLEQ].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_BOOLEQ);
- } else if (command.equals(actions[TGUIAction.APD_ATTRIBUTE_SETTING].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_ATTRIBUTE_SETTING);
- } else if (command.equals(actions[TGUIAction.APD_PROPERTY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_PROPERTY);
- } else if (command.equals(actions[TGUIAction.APD_PROPERTY_RELATION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.APD_PROPERTY_RELATION);
- }
-
- else if (command.equals(actions[TGUIAction.APD_ATTRIBUTE_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.APD_ATTRIBUTE_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.APD_SIGNAL_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.APD_SIGNAL_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.APD_PROPERTY_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.APD_PROPERTY_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.APD_COMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.APD_COMPOSITION_CONNECTOR);
-
- // AVATAR CD
- } else if (command.equals(actions[TGUIAction.ACD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.ACD_BLOCK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ACD_BLOCK);
- } else if (command.equals(actions[TGUIAction.ACD_ACTOR_STICKMAN].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ACD_ACTOR_STICKMAN);
- } else if (command.equals(actions[TGUIAction.ACD_ACTOR_BOX].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ACD_ACTOR_BOX);
-
- } else if (command.equals(actions[TGUIAction.ACD_ASSOCIATION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.ACD_ASSOCIATION_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ACD_COMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.ACD_COMPOSITION_CONNECTOR);
-
- // AVATAR AD
- } else if (command.equals(actions[TGUIAction.AAD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.AAD_ASSOCIATION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.AAD_ASSOCIATION_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.AAD_START_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_START_STATE);
- } else if (command.equals(actions[TGUIAction.AAD_STOP_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.AAD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_CHOICE);
- } else if (command.equals(actions[TGUIAction.AAD_JUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_JUNCTION);
- } else if (command.equals(actions[TGUIAction.AAD_PARALLEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_PARALLEL);
- } else if (command.equals(actions[TGUIAction.AAD_ACTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_ACTION);
- } else if (command.equals(actions[TGUIAction.AAD_ACTIVITY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_ACTIVITY);
- } else if (command.equals(actions[TGUIAction.AAD_STOP_FLOW].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_STOP_FLOW);
- } else if (command.equals(actions[TGUIAction.AAD_SEND_SIGNAL_ACTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_SEND_SIGNAL_ACTION);
- } else if (command.equals(actions[TGUIAction.AAD_ACCEPT_EVENT_ACTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_ACCEPT_EVENT_ACTION);
- } else if (command.equals(actions[TGUIAction.AAD_PARTITION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.AAD_PARTITION);
- } else if (command.equals(actions[TGUIAction.AAD_ALIGN_PARTITION].getActionCommand())) {
- alignPartitions();
-
- // Avatar DD
- } else if (command.equals(actions[TGUIAction.ADD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
-
- // julien --------------------------------------------------------------
- } else if (command.equals(actions[TGUIAction.DEPLOY_AVATAR_DIAGRAM].getActionCommand())){
- avatarddExecutableCodeGeneration();
- } else if (command.equals(actions[TGUIAction.EXTRAC_DEPLOY_PARAM_TO_FILE].getActionCommand())){
- extracDeploymentDiagramToFile();
- // -------------------------------------------------------------------------
-
-
- } else if (command.equals(actions[TGUIAction.ADD_LINK].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.ADD_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ADD_CPUNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_CPUNODE);
- } else if (command.equals(actions[TGUIAction.ADD_BUSNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_BUSNODE);
- }
- else if (command.equals(actions[TGUIAction.ADD_VGMNNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_VGMNNODE);
- }
- else if (command.equals(actions[TGUIAction.ADD_CROSSBARNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_CROSSBARNODE);
- }
- else if (command.equals(actions[TGUIAction.ADD_BRIDGENODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_BRIDGENODE);
- } else if (command.equals(actions[TGUIAction.ADD_TTYNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_TTYNODE);
- } else if (command.equals(actions[TGUIAction.ADD_RAMNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_RAMNODE);
- } else if (command.equals(actions[TGUIAction.ADD_ROMNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_ROMNODE);
- } else if (command.equals(actions[TGUIAction.ADD_DMANODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_DMANODE);
- } else if (command.equals(actions[TGUIAction.ADD_ICUNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_ICUNODE);
- } else if (command.equals(actions[TGUIAction.ADD_COPROMWMRNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_COPROMWMRNODE);
- } else if (command.equals(actions[TGUIAction.ADD_TIMERNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_TIMERNODE);
- } else if (command.equals(actions[TGUIAction.ADD_BLOCKARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_ARTIFACT);
- } else if (command.equals(actions[TGUIAction.ADD_CHANNELARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ADD_CHANNELARTIFACT);
-
- } else if (command.equals(actions[TGUIAction.TCD_ASSOCIATION].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_ASSOCIATION);
- } else if (command.equals(actions[TGUIAction.TCD_CONNECTOR_ATTRIBUTE].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_ATTRIBUTE);
- } else if (command.equals(actions[TGUIAction.TCD_ASSOCIATION_NAVIGATION].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_ASSOCIATION_NAVIGATION);
- } else if (command.equals(actions[TGUIAction.TCD_NEW_TCLASS].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_TCLASS);
- } else if (command.equals(actions[TGUIAction.TCD_NEW_TOBJECT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_TOBJECT);
- } else if (command.equals(actions[TGUIAction.TCD_NEW_TDATA].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_TDATA);
- } else if (command.equals(actions[TGUIAction.TCD_PARALLEL_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_PARALLEL_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TCD_SYNCHRO_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_SYNCHRO_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TCD_INVOCATION_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_INVOCATION_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TCD_SEQUENCE_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_SEQUENCE_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TCD_PREEMPTION_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TCD_PREEMPTION_OPERATOR);
- } else if (command.equals(actions[TGUIAction.AD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.AD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_AD_DIAGRAM);
- } else if (command.equals(actions[TGUIAction.AD_ACTION_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_ACTION_STATE);
- } else if (command.equals(actions[TGUIAction.AD_ARRAY_GET].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_ARRAY_GET);
- } else if (command.equals(actions[TGUIAction.AD_ARRAY_SET].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_ARRAY_SET);
- } else if (command.equals(actions[TGUIAction.AD_PARALLEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_PARALLEL);
- } else if (command.equals(actions[TGUIAction.AD_SEQUENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_SEQUENCE);
- } else if (command.equals(actions[TGUIAction.AD_PREEMPTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_PREEMPTION);
- } else if (command.equals(actions[TGUIAction.AD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_CHOICE);
- } else if (command.equals(actions[TGUIAction.AD_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_START_STATE);
- } else if (command.equals(actions[TGUIAction.AD_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.AD_JUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_JUNCTION);
- } else if (command.equals(actions[TGUIAction.AD_DETERMINISTIC_DELAY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_DETERMINISTIC_DELAY);
- } else if (command.equals(actions[TGUIAction.AD_NON_DETERMINISTIC_DELAY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_NON_DETERMINISTIC_DELAY);
- } else if (command.equals(actions[TGUIAction.AD_DELAY_NON_DETERMINISTIC_DELAY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_DELAY_NON_DETERMINISTIC_DELAY);
- } else if (command.equals(actions[TGUIAction.AD_TIME_LIMITED_OFFER].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_TIME_LIMITED_OFFER);
- } else if (command.equals(actions[TGUIAction.AD_TIME_LIMITED_OFFER_WITH_LATENCY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_TIME_LIMITED_OFFER_WITH_LATENCY);
- } else if (command.equals(actions[TGUIAction.AD_TIME_CAPTURE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TAD_TIME_CAPTURE);
- } else if (command.equals(actions[TGUIAction.IOD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.IOD_CONNECTOR].getActionCommand())) {
- //TraceManager.addDev("Connector interaction");
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_INTERACTION);
- } else if (command.equals(actions[TGUIAction.IOD_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_START_STATE);
- } else if (command.equals(actions[TGUIAction.IOD_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.IOD_PARALLEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_PARALLEL);
- } else if (command.equals(actions[TGUIAction.IOD_PREEMPTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_PREEMPTION);
- } else if (command.equals(actions[TGUIAction.IOD_SEQUENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_SEQUENCE);
- } else if (command.equals(actions[TGUIAction.IOD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_CHOICE);
- } else if (command.equals(actions[TGUIAction.IOD_JUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_JUNCTION);
- } else if (command.equals(actions[TGUIAction.IOD_REF_SD].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_REF_SD);
- } else if (command.equals(actions[TGUIAction.IOD_REF_IOD].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.IOD_REF_IOD);
- } else if (command.equals(actions[TGUIAction.SD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.SD_INSTANCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_INSTANCE);
- } else if (command.equals(actions[TGUIAction.SD_CONNECTOR_MESSAGE_SYNC].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_MESSAGE_SYNC_SD);
- } else if (command.equals(actions[TGUIAction.SD_CONNECTOR_MESSAGE_ASYNC].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_MESSAGE_ASYNC_SD);
- } else if (command.equals(actions[TGUIAction.SD_ABSOLUTE_TIME_CONSTRAINT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_ABSOLUTE_TIME_CONSTRAINT);
- } else if (command.equals(actions[TGUIAction.SD_RELATIVE_TIME_CONSTRAINT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_RELATIVE_TIME_CONSTRAINT);
- } else if (command.equals(actions[TGUIAction.SD_RELATIVE_TIME_CONSTRAINT_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_RELATIVE_TIME_SD);
- } else if (command.equals(actions[TGUIAction.SD_ACTION_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_ACTION_STATE);
- } else if (command.equals(actions[TGUIAction.SD_GUARD].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_GUARD);
- } else if (command.equals(actions[TGUIAction.SD_TIME_INTERVAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_TIME_INTERVAL);
- } else if (command.equals(actions[TGUIAction.SD_TIMER_SETTING].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_TIMER_SETTING);
- } else if (command.equals(actions[TGUIAction.SD_TIMER_EXPIRATION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_TIMER_EXPIRATION);
- } else if (command.equals(actions[TGUIAction.SD_TIMER_CANCELLATION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_TIMER_CANCELLATION);
- } else if (command.equals(actions[TGUIAction.SD_COREGION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.SD_COREGION);
- } else if (command.equals(actions[TGUIAction.SD_ALIGN_INSTANCES].getActionCommand())) {
- alignInstances();
- } else if (command.equals(actions[TGUIAction.UCD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.UCD_ACTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.UCD_ACTOR);
- } else if (command.equals(actions[TGUIAction.UCD_ACTORBOX].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.UCD_ACTORBOX);
- } else if (command.equals(actions[TGUIAction.UCD_USECASE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.UCD_USECASE);
- } else if (command.equals(actions[TGUIAction.UCD_BORDER].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.UCD_BORDER);
- } else if (command.equals(actions[TGUIAction.UCD_CONNECTOR_ACTOR_UC].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_ACTOR_UCD);
- } else if (command.equals(actions[TGUIAction.UCD_CONNECTOR_INCLUDE].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_INCLUDE_UCD);
- } else if (command.equals(actions[TGUIAction.UCD_CONNECTOR_EXTEND].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_EXTEND_UCD);
- } else if (command.equals(actions[TGUIAction.UCD_CONNECTOR_SPECIA].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_SPECIA_UCD);
- } else if (command.equals(actions[TGUIAction.TDD_LINK].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_NODE_DD);
- } else if (command.equals(actions[TGUIAction.TDD_NODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TDD_NODE);
- } else if (command.equals(actions[TGUIAction.TDD_ARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TDD_ARTIFACT);
- } else if (command.equals(actions[TGUIAction.NCDD_LINK].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_NODE_NC);
- } else if (command.equals(actions[TGUIAction.NCDD_EQNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.NCDD_EQNODE);
- } else if (command.equals(actions[TGUIAction.NCDD_SWITCHNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.NCDD_SWITCHNODE);
- } else if (command.equals(actions[TGUIAction.NCDD_TRAFFIC_ARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.NCDD_TRAFFIC_ARTIFACT);
- } else if (command.equals(actions[TGUIAction.NCDD_ROUTE_ARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.NCDD_ROUTE_ARTIFACT);
- } else if (command.equals(actions[TGUIAction.TMLTD_TASK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLTD_TASK);
- } else if (command.equals(actions[TGUIAction.EBRDD_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_START_STATE);
- } else if (command.equals(actions[TGUIAction.EBRDD_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.EBRDD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_EBRDD);
- } else if (command.equals(actions[TGUIAction.EBRDD_CONNECTOR_ERC].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_EBRDD_ERC);
- } else if (command.equals(actions[TGUIAction.EBRDD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_CHOICE);
- } else if (command.equals(actions[TGUIAction.EBRDD_ERC].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_ERC);
- } else if (command.equals(actions[TGUIAction.EBRDD_ESO].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_ESO);
- } else if (command.equals(actions[TGUIAction.EBRDD_ERB].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_ERB);
- } else if (command.equals(actions[TGUIAction.EBRDD_SEQUENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_SEQUENCE);
- } else if (command.equals(actions[TGUIAction.EBRDD_ACTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_ACTION);
- } else if (command.equals(actions[TGUIAction.EBRDD_FOR_LOOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_FOR_LOOP);
- } else if (command.equals(actions[TGUIAction.EBRDD_VARIABLE_DECLARATION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.EBRDD_VARIABLE_DECLARATION);
- } else if (command.equals(actions[TGUIAction.TMLAD_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_START_STATE);
- } else if (command.equals(actions[TGUIAction.TMLAD_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.TMLAD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_TMLAD);
- } else if (command.equals(actions[TGUIAction.TMLTD_ASSOC].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_TML_ASSOCIATION_NAV);
- } else if (command.equals(actions[TGUIAction.TMLTD_CHANNEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLTD_CHANNEL_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TMLTD_REQ].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLTD_REQUEST_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TMLTD_EVENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLTD_EVENT_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TMLTD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_TML_COMPOSITION_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TMLTD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.TMLCTD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.TMLAD_WRITE_CHANNEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_WRITE_CHANNEL);
- } else if (command.equals(actions[TGUIAction.TMLAD_SEND_REQUEST].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_SEND_REQUEST);
- } else if (command.equals(actions[TGUIAction.TMLAD_READ_REQUEST_ARG].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_READ_REQUEST_ARG);
- } else if (command.equals(actions[TGUIAction.TMLAD_SEND_EVENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_SEND_EVENT);
- } else if (command.equals(actions[TGUIAction.TMLAD_WAIT_EVENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_WAIT_EVENT);
- } else if (command.equals(actions[TGUIAction.TMLAD_NOTIFIED_EVENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_NOTIFIED_EVENT);
- } else if (command.equals(actions[TGUIAction.TMLAD_READ_CHANNEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_READ_CHANNEL);
- } else if (command.equals(actions[TGUIAction.TMLAD_ACTION_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_ACTION_STATE);
- } else if (command.equals(actions[TGUIAction.TMLAD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_CHOICE);
- } else if (command.equals(actions[TGUIAction.TMLAD_EXECI].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_EXECI);
- } else if (command.equals(actions[TGUIAction.TMLAD_EXECI_INTERVAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_EXECI_INTERVAL);
- } else if (command.equals(actions[TGUIAction.TMLAD_EXECC].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_EXECC);
- } else if (command.equals(actions[TGUIAction.TMLAD_EXECC_INTERVAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_EXECC_INTERVAL);
- } else if (command.equals(actions[TGUIAction.TMLAD_DELAY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_DELAY);
- } else if (command.equals(actions[TGUIAction.TMLAD_INTERVAL_DELAY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_INTERVAL_DELAY);
- } else if (command.equals(actions[TGUIAction.TMLAD_FOR_LOOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_FOR_LOOP);
- } else if (command.equals(actions[TGUIAction.TMLAD_FOR_STATIC_LOOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_FOR_STATIC_LOOP);
- } else if (command.equals(actions[TGUIAction.TMLAD_FOR_EVER_LOOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_FOR_EVER_LOOP);
- } else if (command.equals(actions[TGUIAction.TMLAD_SEQUENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_SEQUENCE);
- } else if (command.equals(actions[TGUIAction.TMLAD_UNORDERED_SEQUENCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_UNORDERED_SEQUENCE);
- } else if (command.equals(actions[TGUIAction.TMLAD_SELECT_EVT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_SELECT_EVT);
- } else if (command.equals(actions[TGUIAction.TMLAD_RANDOM].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_RANDOM);
- } else if (command.equals(actions[TGUIAction.TMLAD_ENCRYPT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_ENCRYPT);
- } else if (command.equals(actions[TGUIAction.TMLAD_DECRYPT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLAD_DECRYPT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_CCOMPONENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_CCOMPONENT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_CREMOTECOMPONENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_CREMOTECOMPONENT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_PCOMPONENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_PCOMPONENT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_RCOMPONENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_RCOMPONENT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_CPORT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_CPORT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_FORK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_FORK);
- } else if (command.equals(actions[TGUIAction.TMLCTD_JOIN].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_JOIN);
- } else if (command.equals(actions[TGUIAction.TMLCTD_COPORT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCTD_COPORT);
- } else if (command.equals(actions[TGUIAction.TMLCTD_PORT_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_PORT_TMLC);
-
- } else if (command.equals(actions[TGUIAction.TMLARCHI_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_LINK].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_NODE_TMLARCHI);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_CPUNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_CPUNODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_BUSNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_BUSNODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_CPNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_CPNODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_BRIDGENODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_BRIDGENODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_HWANODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_HWANODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_MEMORYNODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_MEMORYNODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_DMANODE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_DMANODE);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_ARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_ARTIFACT);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_COMMUNICATION_ARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_COMMUNICATION_ARTIFACT);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_KEY].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_KEY);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_FIREWALL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_FIREWALL);
- } else if (command.equals(actions[TGUIAction.TMLARCHI_PORT_ARTIFACT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLARCHI_PORT_ARTIFACT);
-
-
-
- // Communication patterns
- } else if (command.equals(actions[TGUIAction.TMLCP_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.TMLCP_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_TMLCP);
- } else if (command.equals(actions[TGUIAction.TMLCP_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_CHOICE);
- } else if (command.equals(actions[TGUIAction.TMLCP_FORK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_FORK);
- } else if (command.equals(actions[TGUIAction.TMLCP_JOIN].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_JOIN);
- } else if (command.equals(actions[TGUIAction.TMLCP_REF_CP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_REF_CP);
- } else if (command.equals(actions[TGUIAction.TMLCP_REF_SD].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_REF_SD);
- } else if (command.equals(actions[TGUIAction.TMLCP_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_START_STATE);
- } else if (command.equals(actions[TGUIAction.TMLCP_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.TMLCP_JUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_JUNCTION);
- } else if (command.equals(actions[TGUIAction.TMLCP_FOR_LOOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLCP_FOR_LOOP);
- } else if (command.equals(actions[TGUIAction.TMLSD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.TMLSD_MESSAGE_ASYNC].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_MESSAGE_ASYNC_TMLSD);
- } else if (command.equals(actions[TGUIAction.TMLSD_STORAGE_INSTANCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLSD_STORAGE_INSTANCE);
- } else if (command.equals(actions[TGUIAction.TMLSD_CONTROLLER_INSTANCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLSD_CONTROLLER_INSTANCE);
- } else if (command.equals(actions[TGUIAction.TMLSD_TRANSFER_INSTANCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLSD_TRANSFER_INSTANCE);
- } else if (command.equals(actions[TGUIAction.TMLSD_ACTION_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TMLSD_ACTION_STATE);
-
-
- // Attack Tree Diagrams
- } else if (command.equals(actions[TGUIAction.ATD_BLOCK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ATD_BLOCK);
- } else if (command.equals(actions[TGUIAction.ATD_ATTACK].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ATD_ATTACK);
- } else if (command.equals(actions[TGUIAction.ATD_CONSTRAINT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.ATD_CONSTRAINT);
- } else if (command.equals(actions[TGUIAction.ATD_COMPOSITION_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.ATD_COMPOSITION_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.ATD_ATTACK_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.ATD_ATTACK_CONNECTOR);
-
- // TURTLE-OS
- } else if (command.equals(actions[TGUIAction.TOS_TCLASS].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSCD_TCLASS);
- } else if (command.equals(actions[TGUIAction.TOS_CONNECTOR_ATTRIBUTE].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.TOS_CONNECTOR_ATTRIBUTE);
- } else if (command.equals(actions[TGUIAction.TOS_ASSOCIATION].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.TOS_CONNECTOR_ASSOCIATION);
- } else if (command.equals(actions[TGUIAction.TOS_ASSOCIATION_NAVIGATION].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.TOS_CONNECTOR_ASSOCIATION_NAVIGATION);
- } else if (command.equals(actions[TGUIAction.TOS_CALL_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSCD_CALL_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TOS_EVT_OPERATOR].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSCD_EVT_OPERATOR);
- } else if (command.equals(actions[TGUIAction.TOSAD_ACTION_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_ACTION_STATE);
- } else if (command.equals(actions[TGUIAction.TOSAD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_CHOICE);
- } else if (command.equals(actions[TGUIAction.TOSAD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.TOSAD_CONNECTOR);
- } else if (command.equals(actions[TGUIAction.TOSAD_INT_TIME_INTERVAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_INT_TIME_INTERVAL);
- } else if (command.equals(actions[TGUIAction.TOSAD_JUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_JUNCTION);
- } else if (command.equals(actions[TGUIAction.TOSAD_START_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_START_STATE);
- } else if (command.equals(actions[TGUIAction.TOSAD_STOP_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.TOSAD_TIME_INTERVAL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TOSAD_TIME_INTERVAL);
-
-
- // Ontologies
- } else if (command.equals(actions[TGUIAction.ACT_GENERATE_ONTOLOGIES_CURRENT_DIAGRAM].getActionCommand())) {
- generateOntologyForCurrentDiagram();
- } else if (command.equals(actions[TGUIAction.ACT_GENERATE_ONTOLOGIES_CURRENT_SET_OF_DIAGRAMS].getActionCommand())) {
- generateOntologyForCurrentSetOfDiagrams();
- } else if (command.equals(actions[TGUIAction.ACT_GENERATE_ONTOLOGIES_ALL_DIAGRAMS].getActionCommand())) {
- generateOntologyForAllDiagrams();
-
- // Requirement diagrams
- } else if (command.equals(actions[TGUIAction.TREQ_REQUIREMENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TREQ_REQUIREMENT);
- } else if (command.equals(actions[TGUIAction.TREQ_OBSERVER].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TREQ_OBSERVER);
- } else if (command.equals(actions[TGUIAction.TREQ_EBRDD].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.TREQ_EBRDD);
- } else if (command.equals(actions[TGUIAction.TREQ_DERIVE].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_DERIVE_REQ);
- } else if (command.equals(actions[TGUIAction.TREQ_COPY].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_COPY_REQ);
- } else if (command.equals(actions[TGUIAction.TREQ_COMPOSITION].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_COMPOSITION_REQ);
- } else if (command.equals(actions[TGUIAction.TREQ_VERIFY].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_VERIFY_REQ);
- } else if (command.equals(actions[TGUIAction.PROSMD_START].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_START_STATE);
- } else if (command.equals(actions[TGUIAction.PROSMD_SENDMSG].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_SENDMSG);
- } else if (command.equals(actions[TGUIAction.PROSMD_GETMSG].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_GETMSG);
- } else if (command.equals(actions[TGUIAction.PROSMD_CHOICE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_CHOICE);
- } else if (command.equals(actions[TGUIAction.PROSMD_STOP].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_STOP_STATE);
- } else if (command.equals(actions[TGUIAction.PROSMD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_PROSMD);
- } else if (command.equals(actions[TGUIAction.PROSMD_JUNCTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_JUNCTION);
- } else if (command.equals(actions[TGUIAction.PROSMD_SUBMACHINE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_SUBMACHINE);
- } else if (command.equals(actions[TGUIAction.PROSMD_ACTION].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_ACTION);
- } else if (command.equals(actions[TGUIAction.PROSMD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.PROSMD_PARALLEL].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_PARALLEL);
- } else if (command.equals(actions[TGUIAction.PROSMD_STATE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROSMD_STATE);
- } else if (command.equals(actions[TGUIAction.PROCSD_COMPONENT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROCSD_COMPONENT);
- //Delegate ports removed, by Solange
- /*
- } else if (command.equals(actions[TGUIAction.PROCSD_DELEGATE_PORT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROCSD_DELEGATE_PORT);
- */
- } else if (command.equals(actions[TGUIAction.PROCSD_IN_PORT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROCSD_IN_PORT);
- } else if (command.equals(actions[TGUIAction.PROCSD_OUT_PORT].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROCSD_OUT_PORT);
- } else if (command.equals(actions[TGUIAction.PROCSD_EDIT].getActionCommand())) {
- actionOnButton(TGComponentManager.EDIT, -1);
- } else if (command.equals(actions[TGUIAction.PROCSD_CONNECTOR].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_PROCSD);
- }
- else if (command.equals(actions[TGUIAction.PROCSD_CONNECTOR_PORT_INTERFACE].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_PROCSD_PORT_INTERFACE);}
- else if (command.equals(actions[TGUIAction.PROCSD_CONNECTOR_DELEGATE].getActionCommand())) {
- actionOnButton(TGComponentManager.CONNECTOR, TGComponentManager.CONNECTOR_DELEGATE_PROCSD);
- } else if (command.equals(actions[TGUIAction.PROCSD_INTERFCE].getActionCommand())) {
- actionOnButton(TGComponentManager.COMPONENT, TGComponentManager.PROCSD_INTERFACE);
- // Command for the action created by Solange. Window appears.
- } else if (command.equals(actions[TGUIAction.PRUEBA_1].getActionCommand())) {
- JOptionPane.showMessageDialog(frame, "In Port: Color CYAN\nOut Port: Color LIGHT GRAY", "Help color of the ports", JOptionPane.INFORMATION_MESSAGE);
- } else if (command.endsWith(".dot")) {
- viewAutomata(command);
- }
+
}
private class PopupListener extends MouseAdapter /* popup menus onto tabs */ {