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

        self.state = False

    12

        self.dragging = False

    13

        if toggle:

    14

            self.up = not state

    15

        else:

    16

            self.up = True

    17

    18

        # Add event on each element of the button

    19

        if self.active:

    20

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

    21

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

    22

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

    23

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

    24

    25

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

    26

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

    27

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

    28

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

    29

    30

        blockSVGElementDrag(self.back_elt)

    31

        blockSVGElementDrag(self.sele_elt)

    32

    33

        self.updateElements()

    34

    35

    # method to display the current state of interface

    36

    def updateElements(self):

    37

        if self.up:

    38

            self.sele_elt.setAttribute("visibility", "hidden")

    39

            self.back_elt.setAttribute("visibility", "visible")

    40

        else:

    41

            self.sele_elt.setAttribute("visibility", "visible")

    42

            self.back_elt.setAttribute("visibility", "hidden")

    43

    44

    def updateValues(self, values):

    45

        if values.state != self.state:

    46

            self.state = values.state

    47

            self.up = not self.state

    48

            self.updateElements()

    49

    50

    def handleEvent(self, evt):

    51

        # Quand le bouton de la souris est presse

    52

        if evt.type == "mousedown":

    53

            evt.stopPropagation()

    54

            setCurrentObject(self)

    55

    56

            self.dragging = True

    57

    58

            if self.toggle:

    59

                self.up = self.state

    60

            else:

    61

                self.up = False

    62

                self.state = True

    63

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

    64

            self.updateElements()

    65

    66

        if isCurrentObject(self) and self.dragging:

    67

            # Quand le bouton est survole

    68

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

    69

                self.up = self.state

    70

                self.updateElements()

    71

    72

            # Quand le curseur quitte la zone du bouton

    73

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

    74

                self.up = not self.state

    75

                self.updateElements()

    76

    77

            # Quand le bouton de la souris est relache

    78

            elif evt.type == "mouseup":

    79

                evt.stopPropagation()

    80

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

    81

                    self.state = not self.state

    82

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

    83

                elif not self.toggle:

    84

                    self.up = True

    85

                    self.state = False

    86

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

    87

                    self.updateElements()

    88

                self.dragging = False

    89

    90

class textControl:

    91

    92

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

    93

        self.parent = parent

    94

        self.id = id

    95

        self.back_elt = getSVGElementById(args.back_id)

    96

        self.value = ""

    97

        self.updateElements()

    98

    99

    def updateValues(self, values):

   100

        if values.text != self.value:

   101

            self.value = values.text

   102

            self.updateElements()

   103

   104

    def updateElements(self):

   105

        self.back_elt.firstChild.firstChild.textContent = self.value

   106

   107

    def handleEvent(self, evt):

   108

        pass

   109