graphics/SFC_Objects.py
changeset 1739 ec153828ded2
parent 1736 7e61baa047f0
child 1740 b789b695b5c6
equal deleted inserted replaced
1738:d2e979738700 1739:ec153828ded2
   644         if self.Type == "connection":
   644         if self.Type == "connection":
   645             transition.Condition = self.Condition.Clone(transition)
   645             transition.Condition = self.Condition.Clone(transition)
   646         return transition
   646         return transition
   647 
   647 
   648     def GetConnectorTranslation(self, element):
   648     def GetConnectorTranslation(self, element):
   649         connectors = {self.Input : element.Input, self.Output : element.Output}
   649         connectors = {self.Input: element.Input, self.Output: element.Output}
   650         if self.Type == "connection" and self.Condition is not None:
   650         if self.Type == "connection" and self.Condition is not None:
   651             connectors[self.Condition] = element.Condition
   651             connectors[self.Condition] = element.Condition
   652         return connectors
   652         return connectors
   653 
   653 
   654     # Returns the RedrawRect
   654     # Returns the RedrawRect
   951                 self.RefreshOutputModel()
   951                 self.RefreshOutputModel()
   952             else:
   952             else:
   953                 self.Output.RefreshWires()
   953                 self.Output.RefreshWires()
   954 
   954 
   955     # Adds an highlight to the block
   955     # Adds an highlight to the block
   956     def AddHighlight(self, infos, start, end ,highlight_type):
   956     def AddHighlight(self, infos, start, end, highlight_type):
   957         if infos[0] in ["reference", "inline", "priority"] and start[0] == 0 and end[0] == 0:
   957         if infos[0] in ["reference", "inline", "priority"] and start[0] == 0 and end[0] == 0:
   958             highlights = self.Highlights.setdefault(infos[0], [])
   958             highlights = self.Highlights.setdefault(infos[0], [])
   959             AddHighlight(highlights, (start, end, highlight_type))
   959             AddHighlight(highlights, (start, end, highlight_type))
   960 
   960 
   961     # Removes an highlight from the block
   961     # Removes an highlight from the block
  1542             jump.SetPosition(self.Pos.x, self.Pos.y)
  1542             jump.SetPosition(self.Pos.x, self.Pos.y)
  1543         jump.Input = self.Input.Clone(jump)
  1543         jump.Input = self.Input.Clone(jump)
  1544         return jump
  1544         return jump
  1545 
  1545 
  1546     def GetConnectorTranslation(self, element):
  1546     def GetConnectorTranslation(self, element):
  1547         return {self.Input : element.Input}
  1547         return {self.Input: element.Input}
  1548 
  1548 
  1549     # Returns the RedrawRect
  1549     # Returns the RedrawRect
  1550     def GetRedrawRect(self, movex = 0, movey = 0):
  1550     def GetRedrawRect(self, movex = 0, movey = 0):
  1551         rect = Graphic_Element.GetRedrawRect(self, movex, movey)
  1551         rect = Graphic_Element.GetRedrawRect(self, movex, movey)
  1552         if self.Input:
  1552         if self.Input:
  1820             action_block.SetPosition(self.Pos.x, self.Pos.y)
  1820             action_block.SetPosition(self.Pos.x, self.Pos.y)
  1821         action_block.Input = self.Input.Clone(action_block)
  1821         action_block.Input = self.Input.Clone(action_block)
  1822         return action_block
  1822         return action_block
  1823 
  1823 
  1824     def GetConnectorTranslation(self, element):
  1824     def GetConnectorTranslation(self, element):
  1825         return {self.Input : element.Input}
  1825         return {self.Input: element.Input}
  1826 
  1826 
  1827     # Returns the RedrawRect
  1827     # Returns the RedrawRect
  1828     def GetRedrawRect(self, movex = 0, movey = 0):
  1828     def GetRedrawRect(self, movex = 0, movey = 0):
  1829         rect = Graphic_Element.GetRedrawRect(self, movex, movey)
  1829         rect = Graphic_Element.GetRedrawRect(self, movex, movey)
  1830         if self.Input:
  1830         if self.Input: