8586878889909192939495
//If no df is selected, the df of the platform is used. if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.SEARCH); ev.addParameter(df); ev.addParameter(editedDfd); ev.addParameter(constraints); gui.myAgent.postGuiEvent(ev); gui.setTab("Search",df); }
8687888990919293949596
//If no df is selected, the df of the platform is used. if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.SEARCH); ev.addParameter(df); ev.addParameter(editedDfd); ev.addParameter(constraints); gui.myAgent.postGuiEvent(ev); gui.setTab("Search",df); } }
8788899091929394959697
if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.SEARCH); ev.addParameter(df); ev.addParameter(editedDfd); ev.addParameter(constraints); gui.myAgent.postGuiEvent(ev); gui.setTab("Search",df); } } }
7071727374757677787980
editedDfd = dlg.ShowDFDGui(dfd,true,true); if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui, DFGUIAdapter.FEDERATE); ev.addParameter(parent); ev.addParameter(editedDfd); gui.myAgent.postGuiEvent(ev); gui.setTab("Federate",null); } }
7172737475767778798081
if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui, DFGUIAdapter.FEDERATE); ev.addParameter(parent); ev.addParameter(editedDfd); gui.myAgent.postGuiEvent(ev); gui.setTab("Federate",null); } }
7374757677787980818283
} else df = gui.myAgent.getDescriptionOfThisDF().getName(); GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.REGISTER); ev.addParameter(df); ev.addParameter(editedDfd); gui.myAgent.postGuiEvent(ev); } }
7475767778798081828384
else df = gui.myAgent.getDescriptionOfThisDF().getName(); GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.REGISTER); ev.addParameter(df); ev.addParameter(editedDfd); gui.myAgent.postGuiEvent(ev); } } }
99100101102103104105106107108109
else return; } GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.DEREGISTER); ev.addParameter(df); ev.addParameter(dfd); gui.myAgent.postGuiEvent(ev); } }
100101102103104105106107108109110
return; } GuiEvent ev = new GuiEvent((Object)gui,DFGUIAdapter.DEREGISTER); ev.addParameter(df); ev.addParameter(dfd); gui.myAgent.postGuiEvent(ev); } }
90919293949596979899100
DFAgentDescription editedDfd = dlg.ShowDFDGui(dfd,true,true); if (editedDfd != null) { GuiEvent ev = new GuiEvent((Object)gui, DFGUIAdapter.MODIFY); ev.addParameter(df); ev.addParameter(editedDfd); gui.myAgent.postGuiEvent(ev); }