Changeset 58:dd3e42d72f44

Timestamp:

12/08/10 02:33:39 (5 years ago)

Author:

is_rusinov

Branch:

default

Message:

state_list change handlers and fill of entries

File:

• Interface.py (modified) (4 diffs)

Interface.py

@@ -195 +195 @@
         
         def to_top(self):# replace choosen state to top
-                index = automata.symbols.get(state_list.get("active").split()[0])
-                state = automata.states[index]
-                del automata.states[index]
-                automata.states.insert(0, state)
-                state_list.delete(index)
-                state_list.insert(0, state)
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        state = automata.states[index]
+                        print state
+                        del automata.states[index]
+                        automata.states.insert(0, state)
+                        self.refresh_list()
+                        state_list.selection_set(0)
+                        print automata.states
         
         def to_bottom(self):# replace choosen state to botton
-                index = automata.symbols.get(state_list.get("active").split()[0])
-                state = automata.states[index]
-                del automata.states[index]
-                automata.states.append(state)
-                state_list.delete(index)
-                state_list.insert("end", state)
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        state = automata.states[index]
+                        print state
+                        del automata.states[index]
+                        automata.states.append(state)
+                        self.refresh_list()
+                        state_list.selection_set("end")
+                        print automata.states
         
         def upwards(self):
-                index = automata.symbols.get(state_list.get("active").split()[0])
-                state = automata.states[index]
-                del automata.states[index]
-                automata.states.insert(index - 1, state)
-                state_list.delete(index)
-                state_list.insert(index - 1, state)
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        if index > 0:
+                                state = automata.states[index]
+                                print state
+                                del automata.states[index]
+                                automata.states.insert(index - 1, state)
+                                self.refresh_list()
+                                state_list.selection_set(index - 1)
+                                print automata.states
         
         def downwards(self):
-                index = automata.symbols.get(state_list.get("active").split()[0])
-                state = automata.states[index]
-                del automata.states[index]
-                automata.states.insert(index + 1, state)
-                state_list.delete(index)
-                state_list.insert(index + 1, state)
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        if index < state_list.size() - 1:
+                                state = automata.states[index]
+                                print state
+                                del automata.states[index]
+                                automata.states.insert(index + 1, state)
+                                self.refresh_list()
+                                state_list.selection_set(index + 1)
+                                print automata.states
         
         def delete_state(self):# delete choosen state
-                index = automata.symbols.get(state_list.get("active").split()[0])
-                del automata.states[index]
-                state_list.delete(index)
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        print automata.states[index]
+                        del automata.symbols[automata.states[index].symbol]
+                        for key in self.keys.keys():
+                                if self.keys[key] == index:
+                                        del self.keys[key]
+                        del automata.states[index]
+                        self.refresh_list()
+                        print automata.states
         
         def add(self):# add new state
@@ -257 +283 @@
                         automata.symbols[symbol] = len(automata.states) - 1
                         self.keys[key] = len(automata.states) - 1
-                        state_list.insert("end", state)
+                        error.config(text="")
+                        self.refresh_list()
         
         def change(self):# change chosen state
-                index = automata.symbols.get(state_list.get("active").split()[0])
-                name = state_name.get()
-                symbol = state_symbol.get()
-                key = state_key.get().lower()
-                color = state_color.get()
-                nums = []
-                for i, value in enumerate(ckeckbox_nums):
-                        print i, value.get()
-                        if value.get() == 1:
-                                nums.append(i)
-                print nums
-                if self.keys.has_key(key) and self.keys[key] != index:
-                        error.config(text="State with such key has already existed")
-                        state_key.focus()
-                elif len(key) != 1:
-                        error.config(text="Bad key for state")
-                        state_key.focus()
-                elif automata.symbols.has_key(symbol)  and automata.symbols[symbol] != index:
-                        error.config(text="State with such symbol has already existed")
-                        state_symbol.focus()
-                elif len(symbol) != 1:
-                        error.config(text="Bad symbol for state")
-                        state_symbol.focus()
-                else:
-                        state = State(name, symbol, color, nums)
-                        automata.states[index] = state
-                        automata.symbols[symbol] = index
-                        self.keys[key] = index
-                        state_list.delete(index)
-                        state_list.insert(index, state)
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        name = state_name.get()
+                        symbol = state_symbol.get()
+                        key = state_key.get().lower()
+                        color = state_color.get()
+                        nums = []
+                        for i, value in enumerate(ckeckbox_nums):
+                                print i, value.get()
+                                if value.get() == 1:
+                                        nums.append(i)
+                        print nums
+                        if self.keys.has_key(key) and self.keys[key] != index:
+                                error.config(text="State with such key has already existed")
+                                state_key.focus()
+                        elif len(key) != 1:
+                                error.config(text="Bad key for state")
+                                state_key.focus()
+                        elif automata.symbols.has_key(symbol)  and automata.symbols[symbol] != index:
+                                error.config(text="State with such symbol has already existed")
+                                state_symbol.focus()
+                        elif len(symbol) != 1:
+                                error.config(text="Bad symbol for state")
+                                state_symbol.focus()
+                        else:
+                                state = State(name, symbol, color, nums)
+                                automata.states[index] = state
+                                automata.symbols[symbol] = index
+                                self.keys[key] = index
+                                error.config(text="")
+                                self.refresh_list()
         
         def show_size_window(self):
@@ -302 +331 @@
         def hide_automata_window(self):
                 automata_window.withdraw()
-                
+        def refresh_list(self):
+                state_list.delete(0, "end")
+                for state in automata.states:
+                        state_list.insert("end", state)
+        def list_mouse_release(self, event):
+                print 'hello'
+                selected = state_list.curselection()
+                if len(selected):
+                        index = int(selected[0])
+                        state = automata.states[index]
+                        state_name.delete(0, "end")
+                        state_name.insert(0, state.name)
+                        state_symbol.delete(0, "end")
+                        state_symbol.insert(0, state.symbol)
+                        for key in self.keys.keys():
+                                if self.keys[key] == index:
+                                        state_key.delete(0, "end")
+                                        state_key.insert(0, key)
+                        state_color.delete(0, "end")
+                        state_color.insert(0, state.color)
+                        for i in range(9):
+                                ckeckbox_nums[i].set(i in state.nums)
 
 
@@ -343 +393 @@
 scrollbar = Scrollbar(list_frame)
 scrollbar.pack(side="right", fill="y")
-state_list=Listbox(list_frame, yscrollcommand=scrollbar.set, 
-                                                                                        selectmode="extended")
-for state in automata.states:
-        state_list.insert("end", state)
+state_list=Listbox(list_frame, yscrollcommand=scrollbar.set, activestyle="none", selectmode="single")
+handlers.refresh_list()
+state_list.bind("<ButtonRelease-1>", handlers.list_mouse_release)
 state_list.pack(side="top", fill="y")
 scrollbar.config(command=state_list.yview)