from graph_ASG_ERmetaMetaModel import * from stickylink import * from widthXfillXdecoration import * from ASG_Statechart import * from ASG_Statechart import * from Composite import * from Basic import * from History import * from Orthogonal import * from visual_settings import * from contains import * from Hyperedge import * from orthogonality import * from ATOM3BottomType import * from ATOM3String import * from ATOM3Constraint import * from ATOM3Attribute import * from ATOM3Enum import * from ATOM3Appearance import * from ATOM3Float import * from ATOM3Connection import * from ATOM3Boolean import * from ATOM3Link import * from ATOM3Text import * from ATOM3Integer import * from ATOM3List import * from ATOM3Port import * from ATOM3MSEnum import * def MP3PlayerDEVS(self, rootNode): self.globalPrecondition( rootNode ) self.obj890=Composite(self) self.obj890.is_default.setValue((None, 1)) self.obj890.is_default.config = 0 self.obj890.visible.setValue((None, 1)) self.obj890.visible.config = 0 self.obj890.auto_adjust.setValue((None, 1)) self.obj890.auto_adjust.config = 0 self.obj890.name.setValue('MP3') self.obj890.exit_action.setValue('\n') self.obj890.enter_action.setValue('\n') self.obj890.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(573.0,113.0,self.obj890) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(29.0, 426.0, 29.0, 426.0)) self.UMLmodel.coords(new_obj.connectors[1],(779.0, 426.0, 779.0, 426.0)) self.UMLmodel.coords(new_obj.connectors[2],(404.0, 60.0, 404.0, 60.0)) self.UMLmodel.coords(new_obj.connectors[3],(404.0, 793.0, 404.0, 793.0)) self.UMLmodel.coords(new_obj.gf2.handler,29.0,60.0,779.0,793.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,29.0,53.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='MP3') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj890.graphObject_ = new_obj rootNode.addNode(self.obj890) self.globalAndLocalPostcondition(self.obj890, rootNode) self.globalPrecondition( rootNode ) self.obj891=Composite(self) self.obj891.is_default.setValue((None, 0)) self.obj891.is_default.config = 0 self.obj891.visible.setValue((None, 1)) self.obj891.visible.config = 0 self.obj891.auto_adjust.setValue((None, 1)) self.obj891.auto_adjust.config = 0 self.obj891.name.setValue('GUIACTIVE') self.obj891.exit_action.setValue('\n\n\n') self.obj891.enter_action.setValue('\n\n\n') self.obj891.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(307.0,248.0,self.obj891) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(138.0, 301.0, 138.0, 301.0)) self.UMLmodel.coords(new_obj.connectors[1],(652.0, 301.0, 652.0, 301.0)) self.UMLmodel.coords(new_obj.connectors[2],(395.0, 151.0, 395.0, 151.0)) self.UMLmodel.coords(new_obj.connectors[3],(395.0, 452.0, 395.0, 452.0)) self.UMLmodel.coords(new_obj.gf2.handler,138.0,151.0,652.0,452.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkblue') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,138.0,144.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUIACTIVE') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj891.graphObject_ = new_obj rootNode.addNode(self.obj891) self.globalAndLocalPostcondition(self.obj891, rootNode) self.globalPrecondition( rootNode ) self.obj892=Composite(self) self.obj892.is_default.setValue((None, 0)) self.obj892.is_default.config = 0 self.obj892.visible.setValue((None, 1)) self.obj892.visible.config = 0 self.obj892.auto_adjust.setValue((None, 1)) self.obj892.auto_adjust.config = 0 self.obj892.name.setValue('AUDIOACTIVE') self.obj892.exit_action.setValue('\n\n') self.obj892.enter_action.setValue('\n\n') self.obj892.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(349.0,549.0,self.obj892) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(102.0, 657.0, 102.0, 657.0)) self.UMLmodel.coords(new_obj.connectors[1],(765.0, 657.0, 765.0, 657.0)) self.UMLmodel.coords(new_obj.connectors[2],(433.0, 536.0, 433.0, 536.0)) self.UMLmodel.coords(new_obj.connectors[3],(433.0, 779.0, 433.0, 779.0)) self.UMLmodel.coords(new_obj.gf2.handler,102.0,536.0,765.0,779.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkblue') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,102.0,529.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIOACTIVE') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj892.graphObject_ = new_obj rootNode.addNode(self.obj892) self.globalAndLocalPostcondition(self.obj892, rootNode) self.globalPrecondition( rootNode ) self.obj893=Composite(self) self.obj893.is_default.setValue((None, 1)) self.obj893.is_default.config = 0 self.obj893.visible.setValue((None, 1)) self.obj893.visible.config = 0 self.obj893.auto_adjust.setValue((None, 1)) self.obj893.auto_adjust.config = 0 self.obj893.name.setValue('GUIPLAY') self.obj893.exit_action.setValue('\n\n\n\n\n\n\n') self.obj893.enter_action.setValue('\n\n\n\n\n\n\n') self.obj893.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(298.0,173.0,self.obj893) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(249.0, 328.0, 249.0, 328.0)) self.UMLmodel.coords(new_obj.connectors[1],(486.0, 328.0, 486.0, 328.0)) self.UMLmodel.coords(new_obj.connectors[2],(367.0, 211.0, 367.0, 211.0)) self.UMLmodel.coords(new_obj.connectors[3],(367.0, 445.0, 367.0, 445.0)) self.UMLmodel.coords(new_obj.gf2.handler,249.0,211.0,486.0,445.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkgreen') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,249.0,204.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUIPLAY') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj893.graphObject_ = new_obj rootNode.addNode(self.obj893) self.globalAndLocalPostcondition(self.obj893, rootNode) self.globalPrecondition( rootNode ) self.obj894=Composite(self) self.obj894.is_default.setValue((None, 1)) self.obj894.is_default.config = 0 self.obj894.visible.setValue((None, 1)) self.obj894.visible.config = 0 self.obj894.auto_adjust.setValue((None, 1)) self.obj894.auto_adjust.config = 0 self.obj894.name.setValue('AUDIOPLAY') self.obj894.exit_action.setValue('\n\n') self.obj894.enter_action.setValue('\n\n') self.obj894.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(450.0,575.0,self.obj894) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(358.0, 678.0, 358.0, 678.0)) self.UMLmodel.coords(new_obj.connectors[1],(557.0, 678.0, 557.0, 678.0)) self.UMLmodel.coords(new_obj.connectors[2],(457.0, 584.0, 457.0, 584.0)) self.UMLmodel.coords(new_obj.connectors[3],(457.0, 772.0, 457.0, 772.0)) self.UMLmodel.coords(new_obj.gf2.handler,358.0,584.0,557.0,772.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkgreen') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,358.0,577.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIOPLAY') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj894.graphObject_ = new_obj rootNode.addNode(self.obj894) self.globalAndLocalPostcondition(self.obj894, rootNode) self.globalPrecondition( rootNode ) self.obj895=Composite(self) self.obj895.is_default.setValue((None, 0)) self.obj895.is_default.config = 0 self.obj895.visible.setValue((None, 1)) self.obj895.visible.config = 0 self.obj895.auto_adjust.setValue((None, 1)) self.obj895.auto_adjust.config = 0 self.obj895.name.setValue('AUDIOFF') self.obj895.exit_action.setValue('\n\n') self.obj895.enter_action.setValue('\n\n') self.obj895.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(184.0,567.0,self.obj895) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(135.0, 635.0, 135.0, 635.0)) self.UMLmodel.coords(new_obj.connectors[1],(277.0, 635.0, 277.0, 635.0)) self.UMLmodel.coords(new_obj.connectors[2],(206.0, 587.0, 206.0, 587.0)) self.UMLmodel.coords(new_obj.connectors[3],(206.0, 684.0, 206.0, 684.0)) self.UMLmodel.coords(new_obj.gf2.handler,135.0,587.0,277.0,684.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkblue') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,135.0,580.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIOFF') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj895.graphObject_ = new_obj rootNode.addNode(self.obj895) self.globalAndLocalPostcondition(self.obj895, rootNode) self.globalPrecondition( rootNode ) self.obj896=Composite(self) self.obj896.is_default.setValue((None, 0)) self.obj896.is_default.config = 0 self.obj896.visible.setValue((None, 1)) self.obj896.visible.config = 0 self.obj896.auto_adjust.setValue((None, 1)) self.obj896.auto_adjust.config = 0 self.obj896.name.setValue('AUDIORW') self.obj896.exit_action.setValue('\n\n') self.obj896.enter_action.setValue('\n\n') self.obj896.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(643.0,579.0,self.obj896) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(601.0, 652.0, 601.0, 652.0)) self.UMLmodel.coords(new_obj.connectors[1],(758.0, 652.0, 758.0, 652.0)) self.UMLmodel.coords(new_obj.connectors[2],(679.0, 604.0, 679.0, 604.0)) self.UMLmodel.coords(new_obj.connectors[3],(679.0, 700.0, 679.0, 700.0)) self.UMLmodel.coords(new_obj.gf2.handler,601.0,604.0,758.0,700.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkblue') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,601.0,597.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIORW') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj896.graphObject_ = new_obj rootNode.addNode(self.obj896) self.globalAndLocalPostcondition(self.obj896, rootNode) self.globalPrecondition( rootNode ) self.obj897=Composite(self) self.obj897.is_default.setValue((None, 0)) self.obj897.is_default.config = 0 self.obj897.visible.setValue((None, 1)) self.obj897.visible.config = 0 self.obj897.auto_adjust.setValue((None, 1)) self.obj897.auto_adjust.config = 0 self.obj897.name.setValue('GUIPAUSE') self.obj897.exit_action.setValue('\n\n\n') self.obj897.enter_action.setValue('\n\n\n') self.obj897.graphClass_= graph_Composite if self.genGraphics: from graph_Composite import * new_obj = graph_Composite(354.0,246.0,self.obj897) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Composite", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(285.0, 328.0, 285.0, 328.0)) self.UMLmodel.coords(new_obj.connectors[1],(437.0, 328.0, 437.0, 328.0)) self.UMLmodel.coords(new_obj.connectors[2],(361.0, 287.0, 361.0, 287.0)) self.UMLmodel.coords(new_obj.connectors[3],(361.0, 370.0, 361.0, 370.0)) self.UMLmodel.coords(new_obj.gf2.handler,285.0,287.0,437.0,370.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf2.handler, outline='darkblue') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,285.0,280.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUIPAUSE') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj897.graphObject_ = new_obj rootNode.addNode(self.obj897) self.globalAndLocalPostcondition(self.obj897, rootNode) self.globalPrecondition( rootNode ) self.obj898=Basic(self) self.obj898.is_default.setValue((None, 0)) self.obj898.is_default.config = 0 self.obj898.name.setValue('DEAD') self.obj898.exit_action.setValue('\n\n') self.obj898.enter_action.setValue('\n\n') self.obj898.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(247.0,16.0,self.obj898) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(268.0, 19.0, 268.0, 19.0)) self.UMLmodel.coords(new_obj.connectors[1],(268.0, 37.0, 268.0, 37.0)) self.UMLmodel.coords(new_obj.connectors[2],(277.0, 28.0, 277.0, 28.0)) self.UMLmodel.coords(new_obj.connectors[3],(260.0, 28.0, 260.0, 28.0)) self.UMLmodel.coords(new_obj.gf3.handler,259.0,19.0,277.0,37.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,270.0,46.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='DEAD') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj898.graphObject_ = new_obj rootNode.addNode(self.obj898) self.globalAndLocalPostcondition(self.obj898, rootNode) self.globalPrecondition( rootNode ) self.obj899=Basic(self) self.obj899.is_default.setValue((None, 1)) self.obj899.is_default.config = 0 self.obj899.name.setValue('GUISTOP') self.obj899.exit_action.setValue('\n\n\n') self.obj899.enter_action.setValue('\n\n\n') self.obj899.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(309.0,82.0,self.obj899) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(330.0, 85.0, 330.0, 85.0)) self.UMLmodel.coords(new_obj.connectors[1],(330.0, 103.0, 330.0, 103.0)) self.UMLmodel.coords(new_obj.connectors[2],(339.0, 94.0, 339.0, 94.0)) self.UMLmodel.coords(new_obj.connectors[3],(322.0, 94.0, 322.0, 94.0)) self.UMLmodel.coords(new_obj.gf3.handler,321.0,85.0,339.0,103.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,332.0,112.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUISTOP') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj899.graphObject_ = new_obj rootNode.addNode(self.obj899) self.globalAndLocalPostcondition(self.obj899, rootNode) self.globalPrecondition( rootNode ) self.obj900=Basic(self) self.obj900.is_default.setValue((None, 1)) self.obj900.is_default.config = 0 self.obj900.name.setValue('AUDIOSTOP') self.obj900.exit_action.setValue('\n\n\n') self.obj900.enter_action.setValue('\n\n\n') self.obj900.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(449.0,481.0,self.obj900) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(470.0, 484.0, 470.0, 484.0)) self.UMLmodel.coords(new_obj.connectors[1],(470.0, 502.0, 470.0, 502.0)) self.UMLmodel.coords(new_obj.connectors[2],(479.0, 493.0, 479.0, 493.0)) self.UMLmodel.coords(new_obj.connectors[3],(462.0, 493.0, 462.0, 493.0)) self.UMLmodel.coords(new_obj.gf3.handler,461.0,484.0,479.0,502.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,472.0,511.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIOSTOP') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj900.graphObject_ = new_obj rootNode.addNode(self.obj900) self.globalAndLocalPostcondition(self.obj900, rootNode) self.globalPrecondition( rootNode ) self.obj901=Basic(self) self.obj901.is_default.setValue((None, 0)) self.obj901.is_default.config = 0 self.obj901.name.setValue('GUIFF') self.obj901.exit_action.setValue('\n\n\n') self.obj901.enter_action.setValue('\n\n\n') self.obj901.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(139.0,377.0,self.obj901) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(160.0, 380.0, 160.0, 380.0)) self.UMLmodel.coords(new_obj.connectors[1],(160.0, 398.0, 160.0, 398.0)) self.UMLmodel.coords(new_obj.connectors[2],(169.0, 389.0, 169.0, 389.0)) self.UMLmodel.coords(new_obj.connectors[3],(152.0, 389.0, 152.0, 389.0)) self.UMLmodel.coords(new_obj.gf3.handler,151.0,380.0,169.0,398.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,162.0,407.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUIFF') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj901.graphObject_ = new_obj rootNode.addNode(self.obj901) self.globalAndLocalPostcondition(self.obj901, rootNode) self.globalPrecondition( rootNode ) self.obj902=Basic(self) self.obj902.is_default.setValue((None, 0)) self.obj902.is_default.config = 0 self.obj902.name.setValue('GUIRW') self.obj902.exit_action.setValue('\n\n\n') self.obj902.enter_action.setValue('\n\n\n') self.obj902.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(571.0,395.0,self.obj902) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(592.0, 398.0, 592.0, 398.0)) self.UMLmodel.coords(new_obj.connectors[1],(592.0, 416.0, 592.0, 416.0)) self.UMLmodel.coords(new_obj.connectors[2],(601.0, 407.0, 601.0, 407.0)) self.UMLmodel.coords(new_obj.connectors[3],(584.0, 407.0, 584.0, 407.0)) self.UMLmodel.coords(new_obj.gf3.handler,583.0,398.0,601.0,416.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,594.0,425.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUIRW') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj902.graphObject_ = new_obj rootNode.addNode(self.obj902) self.globalAndLocalPostcondition(self.obj902, rootNode) self.globalPrecondition( rootNode ) self.obj903=Basic(self) self.obj903.is_default.setValue((None, 1)) self.obj903.is_default.config = 0 self.obj903.name.setValue('GUIPLAYING') self.obj903.exit_action.setValue('\n\n\n\n') self.obj903.enter_action.setValue('\n\n\n\n') self.obj903.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(324.0,214.0,self.obj903) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(345.0, 217.0, 345.0, 217.0)) self.UMLmodel.coords(new_obj.connectors[1],(345.0, 235.0, 345.0, 235.0)) self.UMLmodel.coords(new_obj.connectors[2],(354.0, 226.0, 354.0, 226.0)) self.UMLmodel.coords(new_obj.connectors[3],(337.0, 226.0, 337.0, 226.0)) self.UMLmodel.coords(new_obj.gf3.handler,336.0,217.0,354.0,235.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,347.0,244.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUIPLAYING') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj903.graphObject_ = new_obj rootNode.addNode(self.obj903) self.globalAndLocalPostcondition(self.obj903, rootNode) self.globalPrecondition( rootNode ) self.obj904=Basic(self) self.obj904.is_default.setValue((None, 1)) self.obj904.is_default.config = 0 self.obj904.name.setValue('SHOW') self.obj904.exit_action.setValue('\n\n') self.obj904.enter_action.setValue('\n\n') self.obj904.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(287.0,312.0,self.obj904) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(308.0, 315.0, 308.0, 315.0)) self.UMLmodel.coords(new_obj.connectors[1],(308.0, 333.0, 308.0, 333.0)) self.UMLmodel.coords(new_obj.connectors[2],(317.0, 324.0, 317.0, 324.0)) self.UMLmodel.coords(new_obj.connectors[3],(300.0, 324.0, 300.0, 324.0)) self.UMLmodel.coords(new_obj.gf3.handler,299.0,315.0,317.0,333.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,310.0,342.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='SHOW') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj904.graphObject_ = new_obj rootNode.addNode(self.obj904) self.globalAndLocalPostcondition(self.obj904, rootNode) self.globalPrecondition( rootNode ) self.obj905=Basic(self) self.obj905.is_default.setValue((None, 0)) self.obj905.is_default.config = 0 self.obj905.name.setValue('HIDE') self.obj905.exit_action.setValue('\n\n') self.obj905.enter_action.setValue('\n\n') self.obj905.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(393.0,314.0,self.obj905) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(414.0, 317.0, 414.0, 317.0)) self.UMLmodel.coords(new_obj.connectors[1],(414.0, 335.0, 414.0, 335.0)) self.UMLmodel.coords(new_obj.connectors[2],(423.0, 326.0, 423.0, 326.0)) self.UMLmodel.coords(new_obj.connectors[3],(406.0, 326.0, 406.0, 326.0)) self.UMLmodel.coords(new_obj.gf3.handler,405.0,317.0,423.0,335.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,416.0,344.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='HIDE') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj905.graphObject_ = new_obj rootNode.addNode(self.obj905) self.globalAndLocalPostcondition(self.obj905, rootNode) self.globalPrecondition( rootNode ) self.obj906=Basic(self) self.obj906.is_default.setValue((None, 1)) self.obj906.is_default.config = 0 self.obj906.name.setValue('FFNOW') self.obj906.exit_action.setValue('\n\n') self.obj906.enter_action.setValue('\n\n') self.obj906.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(163.0,590.0,self.obj906) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(184.0, 593.0, 184.0, 593.0)) self.UMLmodel.coords(new_obj.connectors[1],(184.0, 611.0, 184.0, 611.0)) self.UMLmodel.coords(new_obj.connectors[2],(193.0, 602.0, 193.0, 602.0)) self.UMLmodel.coords(new_obj.connectors[3],(176.0, 602.0, 176.0, 602.0)) self.UMLmodel.coords(new_obj.gf3.handler,175.0,593.0,193.0,611.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,186.0,620.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='FFNOW') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj906.graphObject_ = new_obj rootNode.addNode(self.obj906) self.globalAndLocalPostcondition(self.obj906, rootNode) self.globalPrecondition( rootNode ) self.obj907=Basic(self) self.obj907.is_default.setValue((None, 0)) self.obj907.is_default.config = 0 self.obj907.name.setValue('FFWAIT') self.obj907.exit_action.setValue('\n\n') self.obj907.enter_action.setValue('\n\n') self.obj907.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(163.0,642.0,self.obj907) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(184.0, 645.0, 184.0, 645.0)) self.UMLmodel.coords(new_obj.connectors[1],(184.0, 663.0, 184.0, 663.0)) self.UMLmodel.coords(new_obj.connectors[2],(193.0, 654.0, 193.0, 654.0)) self.UMLmodel.coords(new_obj.connectors[3],(176.0, 654.0, 176.0, 654.0)) self.UMLmodel.coords(new_obj.gf3.handler,175.0,645.0,193.0,663.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,186.0,672.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='FFWAIT') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj907.graphObject_ = new_obj rootNode.addNode(self.obj907) self.globalAndLocalPostcondition(self.obj907, rootNode) self.globalPrecondition( rootNode ) self.obj908=Basic(self) self.obj908.is_default.setValue((None, 1)) self.obj908.is_default.config = 0 self.obj908.name.setValue('RWNOW') self.obj908.exit_action.setValue('\n\n') self.obj908.enter_action.setValue('\n\n') self.obj908.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(636.0,607.0,self.obj908) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(657.0, 610.0, 657.0, 610.0)) self.UMLmodel.coords(new_obj.connectors[1],(657.0, 628.0, 657.0, 628.0)) self.UMLmodel.coords(new_obj.connectors[2],(666.0, 619.0, 666.0, 619.0)) self.UMLmodel.coords(new_obj.connectors[3],(649.0, 619.0, 649.0, 619.0)) self.UMLmodel.coords(new_obj.gf3.handler,648.0,610.0,666.0,628.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,659.0,637.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='RWNOW') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj908.graphObject_ = new_obj rootNode.addNode(self.obj908) self.globalAndLocalPostcondition(self.obj908, rootNode) self.globalPrecondition( rootNode ) self.obj909=Basic(self) self.obj909.is_default.setValue((None, 0)) self.obj909.is_default.config = 0 self.obj909.name.setValue('RWWAIT') self.obj909.exit_action.setValue('\n\n') self.obj909.enter_action.setValue('\n\n') self.obj909.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(639.0,658.0,self.obj909) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(660.0, 661.0, 660.0, 661.0)) self.UMLmodel.coords(new_obj.connectors[1],(660.0, 679.0, 660.0, 679.0)) self.UMLmodel.coords(new_obj.connectors[2],(669.0, 670.0, 669.0, 670.0)) self.UMLmodel.coords(new_obj.connectors[3],(652.0, 670.0, 652.0, 670.0)) self.UMLmodel.coords(new_obj.gf3.handler,651.0,661.0,669.0,679.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,662.0,688.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='RWWAIT') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj909.graphObject_ = new_obj rootNode.addNode(self.obj909) self.globalAndLocalPostcondition(self.obj909, rootNode) self.globalPrecondition( rootNode ) self.obj910=Basic(self) self.obj910.is_default.setValue((None, 1)) self.obj910.is_default.config = 0 self.obj910.name.setValue('AUDIOPLAYING') self.obj910.exit_action.setValue('\n\n\n') self.obj910.enter_action.setValue('\n\n\n') self.obj910.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(422.0,587.0,self.obj910) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(443.0, 590.0, 443.0, 590.0)) self.UMLmodel.coords(new_obj.connectors[1],(443.0, 608.0, 443.0, 608.0)) self.UMLmodel.coords(new_obj.connectors[2],(452.0, 599.0, 452.0, 599.0)) self.UMLmodel.coords(new_obj.connectors[3],(435.0, 599.0, 435.0, 599.0)) self.UMLmodel.coords(new_obj.gf3.handler,434.0,590.0,452.0,608.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKGREEN') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,445.0,617.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIOPLAYING') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj910.graphObject_ = new_obj rootNode.addNode(self.obj910) self.globalAndLocalPostcondition(self.obj910, rootNode) self.globalPrecondition( rootNode ) self.obj911=Basic(self) self.obj911.is_default.setValue((None, 0)) self.obj911.is_default.config = 0 self.obj911.name.setValue('AUDIOPAUSE') self.obj911.exit_action.setValue('\n\n\n\n') self.obj911.enter_action.setValue('\n\n\n\n') self.obj911.graphClass_= graph_Basic if self.genGraphics: from graph_Basic import * new_obj = graph_Basic(413.0,646.0,self.obj911) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Basic", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(434.0, 649.0, 434.0, 649.0)) self.UMLmodel.coords(new_obj.connectors[1],(434.0, 667.0, 434.0, 667.0)) self.UMLmodel.coords(new_obj.connectors[2],(443.0, 658.0, 443.0, 658.0)) self.UMLmodel.coords(new_obj.connectors[3],(426.0, 658.0, 426.0, 658.0)) self.UMLmodel.coords(new_obj.gf3.handler,425.0,649.0,443.0,667.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf3.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='lightgray') self.UMLmodel.coords(new_obj.gf1.handler,436.0,676.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIOPAUSE') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj911.graphObject_ = new_obj rootNode.addNode(self.obj911) self.globalAndLocalPostcondition(self.obj911, rootNode) self.globalPrecondition( rootNode ) self.obj912=History(self) self.obj912.is_default.setValue((None, 0)) self.obj912.is_default.config = 0 self.obj912.star.setValue((None, 0)) self.obj912.star.config = 0 self.obj912.name.setValue('') self.obj912.graphClass_= graph_History if self.genGraphics: from graph_History import * new_obj = graph_History(336.0,386.0,self.obj912) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("History", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(358.0, 389.0, 358.0, 389.0)) self.UMLmodel.coords(new_obj.connectors[1],(375.0, 407.0, 375.0, 407.0)) self.UMLmodel.coords(new_obj.connectors[2],(358.0, 424.0, 358.0, 424.0)) self.UMLmodel.coords(new_obj.connectors[3],(340.0, 408.0, 340.0, 408.0)) self.UMLmodel.coords(new_obj.gf0.handler,340.0,389.0,376.0,424.0) self.UMLmodel.itemconfig(new_obj.gf0.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf0.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf0.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf0.handler, fill='lightblue') self.UMLmodel.coords(new_obj.gf1.handler,357.0,408.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='H') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') self.UMLmodel.coords(new_obj.gf2.handler,365.0,408.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.itemconfig(new_obj.gf2.handler, text='*') self.UMLmodel.itemconfig(new_obj.gf2.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf2.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf2.handler, justify='left') self.UMLmodel.coords(new_obj.gf3.handler,359.0,433.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='blue') self.UMLmodel.itemconfig(new_obj.gf3.handler, text='') self.UMLmodel.itemconfig(new_obj.gf3.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf3.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf3.handler, justify='left') else: new_obj = None self.obj912.graphObject_ = new_obj rootNode.addNode(self.obj912) self.globalAndLocalPostcondition(self.obj912, rootNode) self.globalPrecondition( rootNode ) self.obj913=History(self) self.obj913.is_default.setValue((None, 0)) self.obj913.is_default.config = 0 self.obj913.star.setValue((None, 0)) self.obj913.star.config = 0 self.obj913.name.setValue('') self.obj913.graphClass_= graph_History if self.genGraphics: from graph_History import * new_obj = graph_History(415.0,713.0,self.obj913) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("History", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(437.0, 716.0, 437.0, 716.0)) self.UMLmodel.coords(new_obj.connectors[1],(454.0, 734.0, 454.0, 734.0)) self.UMLmodel.coords(new_obj.connectors[2],(437.0, 751.0, 437.0, 751.0)) self.UMLmodel.coords(new_obj.connectors[3],(419.0, 735.0, 419.0, 735.0)) self.UMLmodel.coords(new_obj.gf0.handler,419.0,716.0,455.0,751.0) self.UMLmodel.itemconfig(new_obj.gf0.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf0.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf0.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf0.handler, fill='lightblue') self.UMLmodel.coords(new_obj.gf1.handler,436.0,735.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='H') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') self.UMLmodel.coords(new_obj.gf2.handler,444.0,735.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.itemconfig(new_obj.gf2.handler, text='*') self.UMLmodel.itemconfig(new_obj.gf2.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf2.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf2.handler, justify='left') self.UMLmodel.coords(new_obj.gf3.handler,438.0,760.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='blue') self.UMLmodel.itemconfig(new_obj.gf3.handler, text='') self.UMLmodel.itemconfig(new_obj.gf3.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf3.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf3.handler, justify='left') else: new_obj = None self.obj913.graphObject_ = new_obj rootNode.addNode(self.obj913) self.globalAndLocalPostcondition(self.obj913, rootNode) self.globalPrecondition( rootNode ) self.obj914=History(self) self.obj914.is_default.setValue((None, 0)) self.obj914.is_default.config = 0 self.obj914.star.setValue((None, 0)) self.obj914.star.config = 0 self.obj914.name.setValue('') self.obj914.graphClass_= graph_History if self.genGraphics: from graph_History import * new_obj = graph_History(152.0,227.0,self.obj914) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("History", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(174.0, 230.0, 174.0, 230.0)) self.UMLmodel.coords(new_obj.connectors[1],(191.0, 248.0, 191.0, 248.0)) self.UMLmodel.coords(new_obj.connectors[2],(174.0, 265.0, 174.0, 265.0)) self.UMLmodel.coords(new_obj.connectors[3],(156.0, 249.0, 156.0, 249.0)) self.UMLmodel.coords(new_obj.gf0.handler,156.0,230.0,192.0,265.0) self.UMLmodel.itemconfig(new_obj.gf0.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf0.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf0.handler, outline='DARKBLUE') self.UMLmodel.itemconfig(new_obj.gf0.handler, fill='lightblue') self.UMLmodel.coords(new_obj.gf1.handler,173.0,249.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='H') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') self.UMLmodel.coords(new_obj.gf2.handler,181.0,249.0) self.UMLmodel.itemconfig(new_obj.gf2.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf2.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf2.handler, fill='') self.UMLmodel.itemconfig(new_obj.gf2.handler, text='*') self.UMLmodel.itemconfig(new_obj.gf2.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf2.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf2.handler, justify='left') self.UMLmodel.coords(new_obj.gf3.handler,175.0,274.0) self.UMLmodel.itemconfig(new_obj.gf3.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf3.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf3.handler, fill='blue') self.UMLmodel.itemconfig(new_obj.gf3.handler, text='') self.UMLmodel.itemconfig(new_obj.gf3.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf3.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf3.handler, justify='left') else: new_obj = None self.obj914.graphObject_ = new_obj rootNode.addNode(self.obj914) self.globalAndLocalPostcondition(self.obj914, rootNode) self.globalPrecondition( rootNode ) self.obj915=Orthogonal(self) self.obj915.visible.setValue((None, 1)) self.obj915.visible.config = 0 self.obj915.name.setValue('GUI') self.obj915.auto_adjust.setValue((None, 1)) self.obj915.auto_adjust.config = 0 self.obj915.graphClass_= graph_Orthogonal if self.genGraphics: from graph_Orthogonal import * new_obj = graph_Orthogonal(447.0,135.0,self.obj915) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Orthogonal", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(110.0, 269.0, 110.0, 269.0)) self.UMLmodel.coords(new_obj.connectors[1],(659.0, 269.0, 659.0, 269.0)) self.UMLmodel.coords(new_obj.connectors[2],(384.0, 79.0, 384.0, 79.0)) self.UMLmodel.coords(new_obj.connectors[3],(384.0, 459.0, 384.0, 459.0)) self.UMLmodel.coords(new_obj.gf5.handler,110.0,79.0,659.0,459.0) self.UMLmodel.itemconfig(new_obj.gf5.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf5.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf5.handler, outline='DARKGRAY') self.UMLmodel.itemconfig(new_obj.gf5.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,110.0,72.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='GUI') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj915.graphObject_ = new_obj rootNode.addNode(self.obj915) self.globalAndLocalPostcondition(self.obj915, rootNode) self.globalPrecondition( rootNode ) self.obj916=Orthogonal(self) self.obj916.visible.setValue((None, 1)) self.obj916.visible.config = 0 self.obj916.name.setValue('AUDIO') self.obj916.auto_adjust.setValue((None, 1)) self.obj916.auto_adjust.config = 0 self.obj916.graphClass_= graph_Orthogonal if self.genGraphics: from graph_Orthogonal import * new_obj = graph_Orthogonal(496.0,478.0,self.obj916) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Orthogonal", new_obj.tag) self.UMLmodel.coords(new_obj.connectors[0],(54.0, 632.0, 54.0, 632.0)) self.UMLmodel.coords(new_obj.connectors[1],(772.0, 632.0, 772.0, 632.0)) self.UMLmodel.coords(new_obj.connectors[2],(413.0, 478.0, 413.0, 478.0)) self.UMLmodel.coords(new_obj.connectors[3],(413.0, 786.0, 413.0, 786.0)) self.UMLmodel.coords(new_obj.gf5.handler,54.0,478.0,772.0,786.0) self.UMLmodel.itemconfig(new_obj.gf5.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf5.handler, width='2.0') self.UMLmodel.itemconfig(new_obj.gf5.handler, outline='DARKGRAY') self.UMLmodel.itemconfig(new_obj.gf5.handler, fill='') self.UMLmodel.coords(new_obj.gf1.handler,54.0,471.0) self.UMLmodel.itemconfig(new_obj.gf1.handler, stipple='') self.UMLmodel.itemconfig(new_obj.gf1.handler, width='0') self.UMLmodel.itemconfig(new_obj.gf1.handler, fill='black') self.UMLmodel.itemconfig(new_obj.gf1.handler, text='AUDIO') self.UMLmodel.itemconfig(new_obj.gf1.handler, font='Helvetica -12') self.UMLmodel.itemconfig(new_obj.gf1.handler, anchor='center') self.UMLmodel.itemconfig(new_obj.gf1.handler, justify='left') else: new_obj = None self.obj916.graphObject_ = new_obj rootNode.addNode(self.obj916) self.globalAndLocalPostcondition(self.obj916, rootNode) self.globalPrecondition( rootNode ) self.obj917=contains(self) self.obj917.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(379.5,180.5,self.obj917) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj917.graphObject_ = new_obj rootNode.addNode(self.obj917) self.globalAndLocalPostcondition(self.obj917, rootNode) self.globalPrecondition( rootNode ) self.obj918=contains(self) self.obj918.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(518.5,767.0,self.obj918) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj918.graphObject_ = new_obj rootNode.addNode(self.obj918) self.globalAndLocalPostcondition(self.obj918, rootNode) self.globalPrecondition( rootNode ) self.obj919=contains(self) self.obj919.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(333.5,176.0,self.obj919) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj919.graphObject_ = new_obj rootNode.addNode(self.obj919) self.globalAndLocalPostcondition(self.obj919, rootNode) self.globalPrecondition( rootNode ) self.obj920=contains(self) self.obj920.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(475.5,771.0,self.obj920) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj920.graphObject_ = new_obj rootNode.addNode(self.obj920) self.globalAndLocalPostcondition(self.obj920, rootNode) self.globalPrecondition( rootNode ) self.obj921=contains(self) self.obj921.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(295.5,405.5,self.obj921) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj921.graphObject_ = new_obj rootNode.addNode(self.obj921) self.globalAndLocalPostcondition(self.obj921, rootNode) self.globalPrecondition( rootNode ) self.obj922=contains(self) self.obj922.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(330.5,380.0,self.obj922) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj922.graphObject_ = new_obj rootNode.addNode(self.obj922) self.globalAndLocalPostcondition(self.obj922, rootNode) self.globalPrecondition( rootNode ) self.obj923=contains(self) self.obj923.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(316.5,369.0,self.obj923) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj923.graphObject_ = new_obj rootNode.addNode(self.obj923) self.globalAndLocalPostcondition(self.obj923, rootNode) self.globalPrecondition( rootNode ) self.obj924=contains(self) self.obj924.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(321.0,602.5,self.obj924) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj924.graphObject_ = new_obj rootNode.addNode(self.obj924) self.globalAndLocalPostcondition(self.obj924, rootNode) self.globalPrecondition( rootNode ) self.obj925=contains(self) self.obj925.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(284.5,612.0,self.obj925) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj925.graphObject_ = new_obj rootNode.addNode(self.obj925) self.globalAndLocalPostcondition(self.obj925, rootNode) self.globalPrecondition( rootNode ) self.obj926=contains(self) self.obj926.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(375.0,606.5,self.obj926) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj926.graphObject_ = new_obj rootNode.addNode(self.obj926) self.globalAndLocalPostcondition(self.obj926, rootNode) self.globalPrecondition( rootNode ) self.obj927=contains(self) self.obj927.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(372.0,110.5,self.obj927) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj927.graphObject_ = new_obj rootNode.addNode(self.obj927) self.globalAndLocalPostcondition(self.obj927, rootNode) self.globalPrecondition( rootNode ) self.obj928=contains(self) self.obj928.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(338.0,111.0,self.obj928) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj928.graphObject_ = new_obj rootNode.addNode(self.obj928) self.globalAndLocalPostcondition(self.obj928, rootNode) self.globalPrecondition( rootNode ) self.obj929=contains(self) self.obj929.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(309.0,113.0,self.obj929) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj929.graphObject_ = new_obj rootNode.addNode(self.obj929) self.globalAndLocalPostcondition(self.obj929, rootNode) self.globalPrecondition( rootNode ) self.obj930=contains(self) self.obj930.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(369.0,293.0,self.obj930) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj930.graphObject_ = new_obj rootNode.addNode(self.obj930) self.globalAndLocalPostcondition(self.obj930, rootNode) self.globalPrecondition( rootNode ) self.obj931=contains(self) self.obj931.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(352.5,294.5,self.obj931) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj931.graphObject_ = new_obj rootNode.addNode(self.obj931) self.globalAndLocalPostcondition(self.obj931, rootNode) self.globalPrecondition( rootNode ) self.obj932=contains(self) self.obj932.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(48.0,611.0,self.obj932) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj932.graphObject_ = new_obj rootNode.addNode(self.obj932) self.globalAndLocalPostcondition(self.obj932, rootNode) self.globalPrecondition( rootNode ) self.obj933=contains(self) self.obj933.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(31.5,613.5,self.obj933) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj933.graphObject_ = new_obj rootNode.addNode(self.obj933) self.globalAndLocalPostcondition(self.obj933, rootNode) self.globalPrecondition( rootNode ) self.obj934=contains(self) self.obj934.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(765.0,635.0,self.obj934) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj934.graphObject_ = new_obj rootNode.addNode(self.obj934) self.globalAndLocalPostcondition(self.obj934, rootNode) self.globalPrecondition( rootNode ) self.obj935=contains(self) self.obj935.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(755.0,641.0,self.obj935) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj935.graphObject_ = new_obj rootNode.addNode(self.obj935) self.globalAndLocalPostcondition(self.obj935, rootNode) self.globalPrecondition( rootNode ) self.obj936=contains(self) self.obj936.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(501.0,624.0,self.obj936) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj936.graphObject_ = new_obj rootNode.addNode(self.obj936) self.globalAndLocalPostcondition(self.obj936, rootNode) self.globalPrecondition( rootNode ) self.obj937=contains(self) self.obj937.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(445.5,621.0,self.obj937) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj937.graphObject_ = new_obj rootNode.addNode(self.obj937) self.globalAndLocalPostcondition(self.obj937, rootNode) self.globalPrecondition( rootNode ) self.obj938=contains(self) self.obj938.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(426.0,625.0,self.obj938) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj938.graphObject_ = new_obj rootNode.addNode(self.obj938) self.globalAndLocalPostcondition(self.obj938, rootNode) self.globalPrecondition( rootNode ) self.obj939=contains(self) self.obj939.graphClass_= graph_contains if self.genGraphics: from graph_contains import * new_obj = graph_contains(230.5,258.0,self.obj939) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("contains", new_obj.tag) else: new_obj = None self.obj939.graphObject_ = new_obj rootNode.addNode(self.obj939) self.globalAndLocalPostcondition(self.obj939, rootNode) self.globalPrecondition( rootNode ) self.obj940=Hyperedge(self) self.obj940.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n\n\n\n') self.obj940.guard.setValue('1') self.obj940.trigger.setValue('GUI Quit') self.obj940.name.setValue('') self.obj940.action.setValue('exit\n\n\n\n\n\n') self.obj940.broadcast_to.setValue('') self.obj940.display.setValue('exit') self.obj940.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(401.5,26.5,self.obj940) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj940.graphObject_ = new_obj rootNode.addNode(self.obj940) self.globalAndLocalPostcondition(self.obj940, rootNode) self.globalPrecondition( rootNode ) self.obj941=Hyperedge(self) self.obj941.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n\n') self.obj941.guard.setValue('1') self.obj941.trigger.setValue('Playing Stopped') self.obj941.name.setValue('') self.obj941.action.setValue('theglobals.gui.hide_time()\n#[SetButtons(NORMAL, DISABLED, DISABLED, DISABLED)]\n\n\n\n') self.obj941.broadcast_to.setValue('') self.obj941.display.setValue('Playing Stopped') self.obj941.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(398.0,94.5,self.obj941) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj941.graphObject_ = new_obj rootNode.addNode(self.obj941) self.globalAndLocalPostcondition(self.obj941, rootNode) self.globalPrecondition( rootNode ) self.obj942=Hyperedge(self) self.obj942.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n\n\n') self.obj942.guard.setValue('1') self.obj942.trigger.setValue('GUI Play/Pause') self.obj942.name.setValue('') self.obj942.action.setValue('theglobals.gui.show_time()\n') self.obj942.broadcast_to.setValue('') self.obj942.display.setValue('play-pause') self.obj942.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(240.0,162.0,self.obj942) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj942.graphObject_ = new_obj rootNode.addNode(self.obj942) self.globalAndLocalPostcondition(self.obj942, rootNode) self.globalPrecondition( rootNode ) self.obj943=Hyperedge(self) self.obj943.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj943.guard.setValue('1') self.obj943.trigger.setValue('GUI Forward Pressed') self.obj943.name.setValue('') self.obj943.action.setValue('theglobals.gui.show_time()\n#[SetButtons(DISABLED, DISABLED, NORMAL, DISABLED)]\n\n\n') self.obj943.broadcast_to.setValue('') self.obj943.display.setValue('ff_down') self.obj943.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(168.0,328.5,self.obj943) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj943.graphObject_ = new_obj rootNode.addNode(self.obj943) self.globalAndLocalPostcondition(self.obj943, rootNode) self.globalPrecondition( rootNode ) self.obj944=Hyperedge(self) self.obj944.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj944.guard.setValue('1') self.obj944.trigger.setValue('GUI Forward Released') self.obj944.name.setValue('') self.obj944.action.setValue('#[SetButtons(NORMAL, NORMAL, NORMAL, NORMAL)]\n\n') self.obj944.broadcast_to.setValue('') self.obj944.display.setValue('ff_up') self.obj944.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(192.0,387.5,self.obj944) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj944.graphObject_ = new_obj rootNode.addNode(self.obj944) self.globalAndLocalPostcondition(self.obj944, rootNode) self.globalPrecondition( rootNode ) self.obj945=Hyperedge(self) self.obj945.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj945.guard.setValue('1') self.obj945.trigger.setValue('GUI Backward Pressed') self.obj945.name.setValue('') self.obj945.action.setValue('theglobals.gui.show_time()\n#[SetButtons(DISABLED, DISABLED, DISABLED, NORMAL)]\n\n\n') self.obj945.broadcast_to.setValue('') self.obj945.display.setValue('rw_down') self.obj945.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(593.0,327.0,self.obj945) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj945.graphObject_ = new_obj rootNode.addNode(self.obj945) self.globalAndLocalPostcondition(self.obj945, rootNode) self.globalPrecondition( rootNode ) self.obj946=Hyperedge(self) self.obj946.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj946.guard.setValue('1') self.obj946.trigger.setValue('GUI Backward Released') self.obj946.name.setValue('') self.obj946.action.setValue('#[SetButtons(NORMAL, NORMAL, NORMAL, NORMAL)]\n\n') self.obj946.broadcast_to.setValue('') self.obj946.display.setValue('rw_up') self.obj946.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(410.0,405.5,self.obj946) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj946.graphObject_ = new_obj rootNode.addNode(self.obj946) self.globalAndLocalPostcondition(self.obj946, rootNode) self.globalPrecondition( rootNode ) self.obj947=Hyperedge(self) self.obj947.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj947.guard.setValue('1') self.obj947.trigger.setValue('AFTER(1)') self.obj947.name.setValue('') self.obj947.action.setValue('theglobals.gui.hide_time()\n\n\n') self.obj947.broadcast_to.setValue('') self.obj947.display.setValue('after(1)') self.obj947.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(364.5,295.0,self.obj947) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj947.graphObject_ = new_obj rootNode.addNode(self.obj947) self.globalAndLocalPostcondition(self.obj947, rootNode) self.globalPrecondition( rootNode ) self.obj948=Hyperedge(self) self.obj948.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n\n') self.obj948.guard.setValue('1') self.obj948.trigger.setValue('AFTER(1)') self.obj948.name.setValue('') self.obj948.action.setValue('theglobals.gui.show_time()\n\n\n\n') self.obj948.broadcast_to.setValue('') self.obj948.display.setValue('after(1)') self.obj948.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(363.0,351.0,self.obj948) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj948.graphObject_ = new_obj rootNode.addNode(self.obj948) self.globalAndLocalPostcondition(self.obj948, rootNode) self.globalPrecondition( rootNode ) self.obj949=Hyperedge(self) self.obj949.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj949.guard.setValue('1') self.obj949.trigger.setValue('Playing Stopped') self.obj949.name.setValue('') self.obj949.action.setValue('theglobals.audio.stop()\ntheglobals.audio.rewind()\n\n') self.obj949.broadcast_to.setValue('') self.obj949.display.setValue('Playing Stopped') self.obj949.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(565.5,492.0,self.obj949) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj949.graphObject_ = new_obj rootNode.addNode(self.obj949) self.globalAndLocalPostcondition(self.obj949, rootNode) self.globalPrecondition( rootNode ) self.obj950=Hyperedge(self) self.obj950.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj950.guard.setValue('1') self.obj950.trigger.setValue('GUI Stop') self.obj950.name.setValue('') self.obj950.action.setValue('theglobals.audio.stop()\ntheglobals.audio.rewind()\n\n') self.obj950.broadcast_to.setValue('') self.obj950.display.setValue('stop') self.obj950.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(493.0,540.5,self.obj950) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj950.graphObject_ = new_obj rootNode.addNode(self.obj950) self.globalAndLocalPostcondition(self.obj950, rootNode) self.globalPrecondition( rootNode ) self.obj951=Hyperedge(self) self.obj951.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj951.guard.setValue('1') self.obj951.trigger.setValue('GUI Play/Pause') self.obj951.name.setValue('') self.obj951.action.setValue('theglobals.audio.play()\n\n') self.obj951.broadcast_to.setValue('') self.obj951.display.setValue('play-pause') self.obj951.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(358.5,503.0,self.obj951) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj951.graphObject_ = new_obj rootNode.addNode(self.obj951) self.globalAndLocalPostcondition(self.obj951, rootNode) self.globalPrecondition( rootNode ) self.obj952=Hyperedge(self) self.obj952.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n') self.obj952.guard.setValue('1') self.obj952.trigger.setValue('GUI Forward Pressed') self.obj952.name.setValue('') self.obj952.action.setValue('\n') self.obj952.broadcast_to.setValue('') self.obj952.display.setValue('ff_down') self.obj952.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(294.0,582.0,self.obj952) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj952.graphObject_ = new_obj rootNode.addNode(self.obj952) self.globalAndLocalPostcondition(self.obj952, rootNode) self.globalPrecondition( rootNode ) self.obj953=Hyperedge(self) self.obj953.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n') self.obj953.guard.setValue('1') self.obj953.trigger.setValue('GUI Forward Released') self.obj953.name.setValue('') self.obj953.action.setValue('\n') self.obj953.broadcast_to.setValue('') self.obj953.display.setValue('ff_up') self.obj953.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(337.5,715.5,self.obj953) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj953.graphObject_ = new_obj rootNode.addNode(self.obj953) self.globalAndLocalPostcondition(self.obj953, rootNode) self.globalPrecondition( rootNode ) self.obj954=Hyperedge(self) self.obj954.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n') self.obj954.guard.setValue('1') self.obj954.trigger.setValue('GUI Backward Pressed') self.obj954.name.setValue('') self.obj954.action.setValue('\n') self.obj954.broadcast_to.setValue('') self.obj954.display.setValue('rw_down') self.obj954.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(617.0,543.5,self.obj954) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj954.graphObject_ = new_obj rootNode.addNode(self.obj954) self.globalAndLocalPostcondition(self.obj954, rootNode) self.globalPrecondition( rootNode ) self.obj955=Hyperedge(self) self.obj955.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n') self.obj955.guard.setValue('1') self.obj955.trigger.setValue('GUI Backward Released') self.obj955.name.setValue('') self.obj955.action.setValue('\n') self.obj955.broadcast_to.setValue('') self.obj955.display.setValue('rw_up') self.obj955.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(552.0,731.5,self.obj955) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj955.graphObject_ = new_obj rootNode.addNode(self.obj955) self.globalAndLocalPostcondition(self.obj955, rootNode) self.globalPrecondition( rootNode ) self.obj956=Hyperedge(self) self.obj956.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj956.guard.setValue('1') self.obj956.trigger.setValue('GUI Play/Pause') self.obj956.name.setValue('') self.obj956.action.setValue('theglobals.audio.pause()\n\n') self.obj956.broadcast_to.setValue('') self.obj956.display.setValue('play-pause') self.obj956.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(490.5,608.5,self.obj956) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj956.graphObject_ = new_obj rootNode.addNode(self.obj956) self.globalAndLocalPostcondition(self.obj956, rootNode) self.globalPrecondition( rootNode ) self.obj957=Hyperedge(self) self.obj957.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj957.guard.setValue('1') self.obj957.trigger.setValue('GUI Play/Pause') self.obj957.name.setValue('') self.obj957.action.setValue('theglobals.audio.resume()\n\n\n') self.obj957.broadcast_to.setValue('') self.obj957.display.setValue('play-pause') self.obj957.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(366.5,618.5,self.obj957) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj957.graphObject_ = new_obj rootNode.addNode(self.obj957) self.globalAndLocalPostcondition(self.obj957, rootNode) self.globalPrecondition( rootNode ) self.obj958=Hyperedge(self) self.obj958.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj958.guard.setValue('1') self.obj958.trigger.setValue('AFTER(0.05)') self.obj958.name.setValue('') self.obj958.action.setValue('\n\n\n') self.obj958.broadcast_to.setValue('') self.obj958.display.setValue('after(0.05)') self.obj958.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(143.0,621.0,self.obj958) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj958.graphObject_ = new_obj rootNode.addNode(self.obj958) self.globalAndLocalPostcondition(self.obj958, rootNode) self.globalPrecondition( rootNode ) self.obj959=Hyperedge(self) self.obj959.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj959.guard.setValue('1') self.obj959.trigger.setValue('AFTER(0)') self.obj959.name.setValue('') self.obj959.action.setValue('theglobals.audio.forward(1)\n\n') self.obj959.broadcast_to.setValue('') self.obj959.display.setValue('after(0)') self.obj959.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(223.0,629.0,self.obj959) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj959.graphObject_ = new_obj rootNode.addNode(self.obj959) self.globalAndLocalPostcondition(self.obj959, rootNode) self.globalPrecondition( rootNode ) self.obj960=Hyperedge(self) self.obj960.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj960.guard.setValue('1') self.obj960.trigger.setValue('AFTER(0.05)') self.obj960.name.setValue('') self.obj960.action.setValue('\n\n\n') self.obj960.broadcast_to.setValue('') self.obj960.display.setValue('after(0.05)') self.obj960.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(608.5,640.5,self.obj960) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj960.graphObject_ = new_obj rootNode.addNode(self.obj960) self.globalAndLocalPostcondition(self.obj960, rootNode) self.globalPrecondition( rootNode ) self.obj961=Hyperedge(self) self.obj961.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n') self.obj961.guard.setValue('1') self.obj961.trigger.setValue('AFTER(0)') self.obj961.name.setValue('') self.obj961.action.setValue('theglobals.audio.backward(1)\n\n') self.obj961.broadcast_to.setValue('') self.obj961.display.setValue('after(0)') self.obj961.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(703.5,640.5,self.obj961) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj961.graphObject_ = new_obj rootNode.addNode(self.obj961) self.globalAndLocalPostcondition(self.obj961, rootNode) self.globalPrecondition( rootNode ) self.obj962=Hyperedge(self) self.obj962.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj962.guard.setValue('1') self.obj962.trigger.setValue('GUI Stop') self.obj962.name.setValue('') self.obj962.action.setValue('theglobals.gui.hide_time()\n#[SetButtons(NORMAL, DISABLED, DISABLED, DISABLED)]\n\n\n') self.obj962.broadcast_to.setValue('') self.obj962.display.setValue('stop') self.obj962.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(470.0,155.5,self.obj962) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj962.graphObject_ = new_obj rootNode.addNode(self.obj962) self.globalAndLocalPostcondition(self.obj962, rootNode) self.globalPrecondition( rootNode ) self.obj963=Hyperedge(self) self.obj963.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n\n\n\n\n\n\n\n\n\n') self.obj963.guard.setValue('1') self.obj963.trigger.setValue('AFTER(0.1)') self.obj963.name.setValue('') self.obj963.action.setValue('t = theglobals.audio.get_time()\ntheglobals.gui.timestr.set(t)\n\n\n\n\n\n\n\n\n\n\n\n') self.obj963.broadcast_to.setValue('') self.obj963.display.setValue('time advance') self.obj963.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(190.0,300.5,self.obj963) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj963.graphObject_ = new_obj rootNode.addNode(self.obj963) self.globalAndLocalPostcondition(self.obj963, rootNode) self.globalPrecondition( rootNode ) self.obj964=Hyperedge(self) self.obj964.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n\n\n') self.obj964.guard.setValue('1') self.obj964.trigger.setValue('GUI Play/Pause') self.obj964.name.setValue('') self.obj964.action.setValue('theglobals.gui.show_time()\n\n\n') self.obj964.broadcast_to.setValue('') self.obj964.display.setValue('play-pause') self.obj964.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(419.5,242.5,self.obj964) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj964.graphObject_ = new_obj rootNode.addNode(self.obj964) self.globalAndLocalPostcondition(self.obj964, rootNode) self.globalPrecondition( rootNode ) self.obj965=Hyperedge(self) self.obj965.broadcast.setValue('# return an instance of DEVSevent or None\nreturn None\n\n') self.obj965.guard.setValue('1') self.obj965.trigger.setValue('GUI Play/Pause') self.obj965.name.setValue('') self.obj965.action.setValue('\n') self.obj965.broadcast_to.setValue('') self.obj965.display.setValue('play-pause') self.obj965.graphClass_= graph_Hyperedge if self.genGraphics: from graph_Hyperedge import * new_obj = graph_Hyperedge(275.5,244.0,self.obj965) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("Hyperedge", new_obj.tag) else: new_obj = None self.obj965.graphObject_ = new_obj rootNode.addNode(self.obj965) self.globalAndLocalPostcondition(self.obj965, rootNode) self.globalPrecondition( rootNode ) self.obj966=orthogonality(self) self.obj966.graphClass_= graph_orthogonality if self.genGraphics: from graph_orthogonality import * new_obj = graph_orthogonality(147.0,63.5,self.obj966) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("orthogonality", new_obj.tag) else: new_obj = None self.obj966.graphObject_ = new_obj rootNode.addNode(self.obj966) self.globalAndLocalPostcondition(self.obj966, rootNode) self.globalPrecondition( rootNode ) self.obj967=orthogonality(self) self.obj967.graphClass_= graph_orthogonality if self.genGraphics: from graph_orthogonality import * new_obj = graph_orthogonality(158.0,287.0,self.obj967) new_obj.DrawObject(self.UMLmodel) self.UMLmodel.addtag_withtag("orthogonality", new_obj.tag) else: new_obj = None self.obj967.graphObject_ = new_obj rootNode.addNode(self.obj967) self.globalAndLocalPostcondition(self.obj967, rootNode) self.drawConnections((self.obj890,self.obj940,[401.0, 55.0, 401.5, 26.5], 0, 2), (self.obj890,self.obj966,[29.0, 426.0, 147.0, 63.5], 0, 2), (self.obj890,self.obj967,[779.0, 426.0, 158.0, 287.0], 0, 2), (self.obj891,self.obj921,[446.0, 319.0, 295.5, 405.5], 0, 2), (self.obj891,self.obj922,[138.0, 301.0, 330.5, 380.0], 0, 2), (self.obj891,self.obj923,[138.0, 301.0, 316.5, 369.0], 0, 2), (self.obj891,self.obj941,[395.0, 151.0, 398.0, 94.5], 0, 2), (self.obj891,self.obj939,[138.0, 301.0, 230.5, 258.0], 0, 2), (self.obj891,self.obj963,[138.0, 301.0, 190.0, 300.5], 0, 2), (self.obj892,self.obj924,[610.0, 598.0, 321.0, 602.5], 0, 2), (self.obj892,self.obj925,[334.0, 598.0, 284.5, 612.0], 0, 2), (self.obj892,self.obj926,[610.0, 598.0, 375.0, 606.5], 0, 2), (self.obj892,self.obj949,[433.0, 536.0, 565.5, 492.0], 0, 2), (self.obj893,self.obj927,[298.0, 287.0, 372.0, 110.5], 0, 2), (self.obj893,self.obj928,[298.0, 287.0, 338.0, 111.0], 0, 2), (self.obj893,self.obj929,[298.0, 287.0, 309.0, 113.0], 0, 2), (self.obj893,self.obj943,[249.0, 328.0, 168.0, 328.5], 0, 2), (self.obj893,self.obj945,[486.0, 328.0, 593.0, 327.0], 0, 2), (self.obj893,self.obj962,[380.0, 211.0, 470.0, 155.5], 0, 2), (self.obj894,self.obj936,[402.0, 679.0, 501.0, 624.0], 0, 2), (self.obj894,self.obj937,[457.0, 584.0, 445.5, 621.0], 0, 2), (self.obj894,self.obj938,[457.0, 584.0, 426.0, 625.0], 0, 2), (self.obj894,self.obj950,[457.0, 584.0, 493.0, 540.5], 0, 2), (self.obj894,self.obj952,[457.0, 584.0, 294.0, 582.0], 0, 2), (self.obj894,self.obj954,[557.0, 678.0, 617.0, 543.5], 0, 2), (self.obj895,self.obj932,[135.0, 635.0, 48.0, 611.0], 0, 2), (self.obj895,self.obj933,[135.0, 635.0, 31.5, 613.5], 0, 2), (self.obj895,self.obj953,[277.0, 635.0, 337.5, 715.5], 0, 2), (self.obj896,self.obj934,[601.0, 652.0, 765.0, 635.0], 0, 2), (self.obj896,self.obj935,[679.0, 604.0, 755.0, 641.0], 0, 2), (self.obj896,self.obj955,[601.0, 652.0, 552.0, 731.5], 0, 2), (self.obj897,self.obj930,[323.0, 305.0, 369.0, 293.0], 0, 2), (self.obj897,self.obj931,[333.0, 270.0, 352.5, 294.5], 0, 2), (self.obj897,self.obj964,[361.0, 287.0, 419.5, 242.5], 0, 2), (self.obj899,self.obj942,[330.0, 103.0, 240.0, 162.0], 0, 2), (self.obj900,self.obj951,[470.0, 502.0, 358.5, 503.0], 0, 2), (self.obj901,self.obj944,[169.0, 389.0, 192.0, 387.5], 0, 2), (self.obj902,self.obj946,[584.0, 407.0, 410.0, 405.5], 0, 2), (self.obj903,self.obj965,[345.0, 235.0, 275.5, 244.0], 0, 2), (self.obj904,self.obj947,[317.0, 324.0, 364.5, 295.0], 0, 2), (self.obj905,self.obj948,[406.0, 326.0, 363.0, 351.0], 0, 2), (self.obj906,self.obj958,[184.0, 611.0, 143.0, 621.0], 0, 2), (self.obj907,self.obj959,[184.0, 645.0, 223.0, 629.0], 0, 2), (self.obj908,self.obj960,[657.0, 628.0, 608.5, 640.5], 0, 2), (self.obj909,self.obj961,[660.0, 661.0, 703.5, 640.5], 0, 2), (self.obj910,self.obj956,[443.0, 608.0, 490.5, 608.5], 0, 2), (self.obj911,self.obj957,[434.0, 649.0, 366.5, 618.5], 0, 2), (self.obj915,self.obj917,[442.0, 171.0, 379.5, 180.5], 0, 2), (self.obj915,self.obj919,[384.0, 79.0, 333.5, 176.0], 0, 2), (self.obj916,self.obj918,[772.0, 632.0, 518.5, 767.0], 0, 2), (self.obj916,self.obj920,[54.0, 632.0, 475.5, 771.0], 0, 2), (self.obj917,self.obj891,[379.5, 180.5, 446.0, 319.0], 0, 2), (self.obj918,self.obj892,[518.5, 767.0, 443.0, 553.0], 0, 2), (self.obj919,self.obj899,[333.5, 176.0, 339.0, 94.0], 0, 2), (self.obj920,self.obj900,[475.5, 771.0, 479.0, 493.0], 0, 2), (self.obj921,self.obj893,[295.5, 405.5, 361.0, 190.0], 0, 2), (self.obj922,self.obj901,[330.5, 380.0, 169.0, 389.0], 0, 2), (self.obj923,self.obj902,[316.5, 369.0, 601.0, 407.0], 0, 2), (self.obj924,self.obj894,[321.0, 602.5, 435.0, 772.0], 0, 2), (self.obj925,self.obj895,[284.5, 612.0, 223.0, 583.0], 0, 2), (self.obj926,self.obj896,[375.0, 606.5, 679.0, 700.0], 0, 2), (self.obj927,self.obj903,[372.0, 110.5, 337.0, 226.0], 0, 2), (self.obj928,self.obj912,[338.0, 111.0, 375.0, 407.0], 0, 2), (self.obj929,self.obj897,[309.0, 113.0, 437.0, 328.0], 0, 2), (self.obj930,self.obj904,[369.0, 293.0, 317.0, 324.0], 0, 2), (self.obj931,self.obj905,[352.5, 294.5, 423.0, 326.0], 0, 2), (self.obj932,self.obj906,[48.0, 611.0, 193.0, 602.0], 0, 2), (self.obj933,self.obj907,[31.5, 613.5, 193.0, 654.0], 0, 2), (self.obj934,self.obj908,[765.0, 635.0, 666.0, 619.0], 0, 2), (self.obj935,self.obj909,[755.0, 641.0, 669.0, 670.0], 0, 2), (self.obj936,self.obj910,[501.0, 624.0, 452.0, 599.0], 0, 2), (self.obj937,self.obj911,[445.5, 621.0, 443.0, 658.0], 0, 2), (self.obj938,self.obj913,[426.0, 625.0, 454.0, 734.0], 0, 2), (self.obj939,self.obj914,[230.5, 258.0, 191.0, 248.0], 0, 2), (self.obj940,self.obj898,[401.5, 26.5, 277.0, 28.0], 0, 2), (self.obj941,self.obj899,[398.0, 94.5, 339.0, 94.0], 0, 2), (self.obj942,self.obj903,[240.0, 162.0, 354.0, 226.0], 0, 2), (self.obj943,self.obj901,[168.0, 328.5, 169.0, 389.0], 0, 2), (self.obj944,self.obj912,[192.0, 387.5, 358.0, 389.0], 0, 2), (self.obj945,self.obj902,[593.0, 327.0, 592.0, 398.0], 0, 2), (self.obj946,self.obj912,[410.0, 405.5, 375.0, 407.0], 0, 2), (self.obj947,self.obj905,[364.5, 295.0, 423.0, 326.0], 0, 2), (self.obj948,self.obj904,[363.0, 351.0, 317.0, 324.0], 0, 2), (self.obj949,self.obj900,[565.5, 492.0, 479.0, 493.0], 0, 2), (self.obj950,self.obj900,[493.0, 540.5, 479.0, 493.0], 0, 2), (self.obj951,self.obj910,[358.5, 503.0, 452.0, 599.0], 0, 2), (self.obj952,self.obj895,[294.0, 582.0, 277.0, 635.0], 0, 2), (self.obj953,self.obj913,[337.5, 715.5, 437.0, 716.0], 0, 2), (self.obj954,self.obj896,[617.0, 543.5, 679.0, 604.0], 0, 2), (self.obj955,self.obj913,[552.0, 731.5, 454.0, 734.0], 0, 2), (self.obj956,self.obj911,[490.5, 608.5, 443.0, 658.0], 0, 2), (self.obj957,self.obj910,[366.5, 618.5, 452.0, 599.0], 0, 2), (self.obj958,self.obj907,[143.0, 621.0, 193.0, 654.0], 0, 2), (self.obj959,self.obj906,[223.0, 629.0, 193.0, 602.0], 0, 2), (self.obj960,self.obj909,[608.5, 640.5, 669.0, 670.0], 0, 2), (self.obj961,self.obj908,[703.5, 640.5, 666.0, 619.0], 0, 2), (self.obj962,self.obj899,[470.0, 155.5, 330.0, 103.0], 0, 2), (self.obj963,self.obj914,[190.0, 300.5, 191.0, 248.0], 0, 2), (self.obj964,self.obj903,[419.5, 242.5, 354.0, 226.0], 0, 2), (self.obj965,self.obj904,[275.5, 244.0, 317.0, 324.0], 0, 2), (self.obj966,self.obj915,[147.0, 63.5, 659.0, 269.0], 0, 2), (self.obj967,self.obj916,[158.0, 287.0, 496.0, 478.0], 0, 2) ) newfunction = MP3PlayerDEVS loadedMMName = 'Statechart'