1

     2

class button:

     3

     4

    def __init__(self, parent, id, args):

     5

        self.parent = parent

     6

        self.id = id

     7

        self.back_elt = getSVGElementById(args.back_id)

     8

        self.sele_elt = getSVGElementById(args.sele_id)

     9

        self.toggle = args.toggle

    10

        self.active = args.active

    11

        if args.state != undefined:

    12

            self.state = args.state

    13

        else:

    14

            self.state = False

    15

        self.dragging = False

    16

        if self.toggle:

    17

            self.up = not self.state

    18

        else:

    19

            self.up = True

    20

    21

        # Add event on each element of the button

    22

        if self.active:

    23

            self.back_elt.addEventListener("mouseup", self, False)

    24

            self.back_elt.addEventListener("mousedown", self, False)

    25

            self.back_elt.addEventListener("mouseover", self, False)

    26

            self.back_elt.addEventListener("mouseout", self, False)

    27

    28

            self.sele_elt.addEventListener("mouseup", self, False)

    29

            self.sele_elt.addEventListener("mousedown", self, False)

    30

            self.sele_elt.addEventListener("mouseover", self, False)

    31

            self.sele_elt.addEventListener("mouseout", self, False)

    32

    33

        blockSVGElementDrag(self.back_elt)

    34

        blockSVGElementDrag(self.sele_elt)

    35

    36

        self.updateElements()

    37

    38

    # method to display the current state of interface

    39

    def updateElements(self):

    40

        if self.up:

    41

            self.sele_elt.setAttribute("display", "none")

    42

            self.back_elt.removeAttribute("display")

    43

        else:

    44

            self.sele_elt.removeAttribute("display")

    45

            self.back_elt.setAttribute("display", "none")

    46

    47

    def updateValues(self, values):

    48

        if values.state != self.state:

    49

            self.state = values.state

    50

            self.up = not self.state

    51

            if self.toggle:

    52

                updateAttr(self.id, 'state', self.state)

    53

            self.updateElements()

    54

    55

    def handleEvent(self, evt):

    56

        # Quand le bouton de la souris est presse

    57

        if evt.type == "mousedown":

    58

            evt.stopPropagation()

    59

            setCurrentObject(self)

    60

    61

            self.dragging = True

    62

    63

            if self.toggle:

    64

                self.up = self.state

    65

            else:

    66

                self.up = False

    67

                self.state = True

    68

                updateAttr(self.id, 'state', self.state)

    69

            self.updateElements()

    70

    71

        if isCurrentObject(self) and self.dragging:

    72

            # Quand le bouton est survole

    73

            if evt.type == "mouseover" and self.toggle:

    74

                self.up = self.state

    75

                self.updateElements()

    76

    77

            # Quand le curseur quitte la zone du bouton

    78

            elif evt.type == "mouseout" and self.toggle:       

    79

                self.up = not self.state

    80

                self.updateElements()

    81

    82

            # Quand le bouton de la souris est relache

    83

            elif evt.type == "mouseup":

    84

                evt.stopPropagation()

    85

                if self.toggle and self.up == self.state:

    86

                    self.state = not self.state

    87

                    updateAttr(self.id, 'state', self.state)

    88

                elif not self.toggle:

    89

                    self.up = True

    90

                    self.state = False

    91

                    updateAttr(self.id, 'state', self.state)

    92

                    self.updateElements()

    93

                self.dragging = False

    94

    95

class textControl:

    96

    97

    def __init__(self, parent, id, args):

    98

        self.parent = parent

    99

        self.id = id

   100

        self.back_elt = getSVGElementById(args.back_id)

   101

        if args.text != undefined:

   102

            self.text = args.text

   103

        else:

   104

            self.text = ""

   105

        self.updateElements()

   106

   107

    def updateValues(self, values):

   108

        if values.text != self.value:

   109

            self.text = values.text

   110

            updateAttr(self.id, 'text', self.text)

   111

            self.updateElements()

   112

   113

    def updateElements(self):

   114

        self.back_elt.firstChild.firstChild.textContent = self.text

   115

   116

    def handleEvent(self, evt):

   117

        pass

   118

   119