Документ взят из кэша поисковой машины. Адрес оригинального документа : http://kodomo.fbb.msu.ru/hg/cca/annotate/0865e29e319d/interface.py
Дата изменения: Unknown
Дата индексирования: Fri Feb 28 23:47:45 2014
Кодировка:
cca: interface.py annotate

cca

annotate interface.py @ 101:0865e29e319d

find changesets by author, revision, files, or words in the commit message
merge
author darkhan
date Wed, 15 Dec 2010 00:07:43 +0300
parents faa45a728871
children 136a16e31a57
rev   line source
is_rusinov@64 1 import math
is_rusinov@91 2 import pickle
is_rusinov@69 3 import random
is_rusinov@64 4 import tkColorChooser
is_rusinov@70 5 import tkFileDialog
is_rusinov@73 6 import tkMessageBox
is_rusinov@95 7 import webbrowser
Ilia@6 8 from Tkinter import *
Ilia@2 9
is_rusinov@91 10 from state import *
is_rusinov@91 11 from automata import *
is_rusinov@18 12
is_rusinov@18 13
Ilia@2 14 class Handlers(object):
is_rusinov@5 15
is_rusinov@91 16 def __init__(self, cell_size=8, line_width=1 ,delay=8, dx=0, dy=0):
is_rusinov@7 17 self.cell_size = cell_size
is_rusinov@18 18 self.line_width = line_width
is_rusinov@7 19 self.delay = delay
is_rusinov@85 20 self.dx = dx
is_rusinov@85 21 self.dy = dy
is_rusinov@5 22 self.after_id = 0
is_rusinov@18 23 self.mouse_zoom = 0
is_rusinov@54 24 self.zoom_divisor = 1
is_rusinov@64 25 self.selected_state = None
is_rusinov@7 26 self.is_started = False
is_rusinov@54 27 self.char = None
is_rusinov@70 28 self.keys = {}
is_rusinov@70 29 for index, state in enumerate(automata.states):
is_rusinov@70 30 self.keys[state.key] = index
is_rusinov@29 31 self.draw()
is_rusinov@91 32
is_rusinov@75 33 def start(self, event=None):
is_rusinov@8 34 if not self.is_started:
is_rusinov@7 35 self.is_started = True
is_rusinov@43 36 self.repeat()
is_rusinov@87 37 self.update_status()
is_rusinov@86 38
is_rusinov@43 39 def repeat(self):
is_rusinov@86 40 self.draw_cell(automata.next_step())
is_rusinov@43 41 self.after_id = canvas.after(self.delay, self.repeat)
is_rusinov@5 42
is_rusinov@75 43 def stop(self, event=None):
is_rusinov@29 44 canvas.after_cancel(self.after_id)
is_rusinov@7 45 self.is_started = False
is_rusinov@87 46 self.update_status()
is_rusinov@5 47
is_rusinov@75 48 def next_step(self, event=None):
is_rusinov@86 49 if self.is_started:
is_rusinov@86 50 canvas.after_cancel(self.after_id)
is_rusinov@86 51 self.is_started = False
is_rusinov@87 52 self.update_status()
is_rusinov@86 53 else:
is_rusinov@86 54 self.draw_cell(automata.next_step())
is_rusinov@5 55
is_rusinov@75 56 def save_file(self, event=None):
is_rusinov@91 57 file = tkFileDialog.asksaveasfile(defaultextension=".caf",
is_rusinov@91 58 title="Save automata as",
is_rusinov@91 59 filetypes=[('CCA File', '*.caf')])
is_rusinov@91 60 if file is not None:
is_rusinov@76 61 pickle.dump([automata.field, automata.states], file)
is_rusinov@5 62
is_rusinov@75 63 def open_file(self, event=None):
is_rusinov@91 64 file = tkFileDialog.askopenfile(title="Open file",
is_rusinov@91 65 filetypes=[('CCA File', '*.caf')])
is_rusinov@91 66 if file is not None:
is_rusinov@70 67 from_file = pickle.load(file)
is_rusinov@70 68 automata.field = from_file[0]
is_rusinov@70 69 automata.height = len(automata.field)
is_rusinov@70 70 automata.width = len(automata.field[0])
is_rusinov@70 71 automata.states = from_file[1]
is_rusinov@70 72 self.selected_state = None
is_rusinov@70 73 self.refresh_dicts()
is_rusinov@70 74 self.refresh_list()
is_rusinov@70 75 self.hide_automata_window()
is_rusinov@70 76 self.draw()
is_rusinov@5 77
is_rusinov@75 78 def new_file(self, event=None):
is_rusinov@91 79 if tkMessageBox.askyesno("Save?",
is_rusinov@91 80 "Save current automata?"):
is_rusinov@73 81 self.save_file()
is_rusinov@73 82 new_automata = Automata()
is_rusinov@73 83 automata.field = new_automata.field
is_rusinov@73 84 automata.height = len(automata.field)
is_rusinov@73 85 automata.width = len(automata.field[0])
is_rusinov@73 86 automata.states = new_automata.states
is_rusinov@73 87 self.selected_state = None
is_rusinov@73 88 self.refresh_dicts()
is_rusinov@73 89 self.refresh_list()
is_rusinov@73 90 self.hide_automata_window()
is_rusinov@73 91 self.draw()
is_rusinov@73 92
is_rusinov@95 93 def show_help_window(self):
is_rusinov@95 94 url = 'Help\Help.html'
is_rusinov@95 95 webbrowser.open_new_tab(url)
is_rusinov@8 96
Ilia@79 97 def zoom_in(self, event=None, zoom_rate=1):
is_rusinov@7 98 if self.cell_size < 50:
is_rusinov@8 99 self.cell_size = self.cell_size + zoom_rate
is_rusinov@7 100 self.draw()
is_rusinov@78 101 self.change_scroll_area()
is_rusinov@5 102
Ilia@79 103 def zoom_out(self, event=None, zoom_rate=1):
is_rusinov@7 104 if self.cell_size > 1:
is_rusinov@8 105 self.cell_size = self.cell_size - zoom_rate
is_rusinov@7 106 self.draw()
is_rusinov@78 107 self.change_scroll_area()
is_rusinov@5 108
Ilia@77 109 def slower(self, event=None, speed_rate=2):
is_rusinov@87 110 if self.delay <= 500:
is_rusinov@87 111 self.delay = self.delay * speed_rate
is_rusinov@87 112 self.update_status()
is_rusinov@5 113
Ilia@77 114 def faster(self, event=None, speed_rate=2):
is_rusinov@74 115 self.delay = self.delay / speed_rate
is_rusinov@74 116 if self.delay == 0:
is_rusinov@74 117 self.delay = 1
is_rusinov@87 118 self.update_status()
is_rusinov@5 119
is_rusinov@70 120 def change_size(self):
is_rusinov@70 121 try:
is_rusinov@70 122 dx = int(size_x.get()) - automata.width
is_rusinov@70 123 dy = int(size_y.get()) - automata.height
is_rusinov@70 124 position = side.get()
is_rusinov@8 125 if position == 0 or position == 3 or position == 6:
is_rusinov@8 126 automata.change_size(dx, 3)
is_rusinov@8 127 elif position == 1 or position == 4 or position == 7:
is_rusinov@8 128 automata.change_size(dx / 2, 3)
is_rusinov@8 129 automata.change_size(dx - dx / 2, 1)
is_rusinov@18 130 else:
is_rusinov@8 131 automata.change_size(dx, 1)
is_rusinov@8 132 if position == 0 or position == 1 or position == 2:
is_rusinov@8 133 automata.change_size(dy, 0)
is_rusinov@8 134 elif position == 3 or position == 4 or position == 5:
is_rusinov@8 135 automata.change_size(dy / 2, 0)
is_rusinov@8 136 automata.change_size(dy - dy / 2, 2)
is_rusinov@18 137 else:
is_rusinov@8 138 automata.change_size(dy, 2)
is_rusinov@8 139 self.draw()
is_rusinov@70 140 self.hide_size_window()
is_rusinov@78 141 self.change_scroll_area()
is_rusinov@87 142 self.update_status()
is_rusinov@70 143 except Exception:
is_rusinov@70 144 message.config(text="Operation is refused")
is_rusinov@70 145 message.after(2000, self.clear_message)
is_rusinov@87 146
darkhan@50 147 def draw_cell(self, cells):
darkhan@50 148 for row, col in cells:
darkhan@42 149 index = automata.symbols[automata.field[row][col]]
darkhan@42 150 color = automata.states[index].color
darkhan@42 151 canvas.itemconfig(self.cells[row][col], fill=color)
darkhan@42 152
darkhan@32 153 def draw(self):
darkhan@31 154 canvas.delete("all")
darkhan@42 155 self.cells = []
darkhan@31 156 shift = self.cell_size + self.line_width
is_rusinov@85 157 left = self.line_width
is_rusinov@85 158 top = self.line_width
darkhan@31 159 for row in range(automata.height):
darkhan@42 160 self.cells.append([])
darkhan@31 161 for col in range(automata.width):
darkhan@31 162 index = automata.symbols[automata.field[row][col]]
darkhan@31 163 color = automata.states[index].color
darkhan@42 164 cell = canvas.create_rectangle(left + col * shift,
darkhan@31 165 top + row * shift,
darkhan@31 166 left + col * shift + self.cell_size,
darkhan@31 167 top + row * shift + self.cell_size,
darkhan@50 168 fill=color, outline="", tag="cell")
darkhan@42 169 self.cells[row].append(cell)
is_rusinov@5 170
is_rusinov@64 171 def draw_line(self, x1, y1, x2, y2, order=1):
is_rusinov@64 172 answer = []
is_rusinov@64 173 if abs(x1 - x2) > abs(y1 - y2):
is_rusinov@64 174 dx = x2 - x1
is_rusinov@64 175 abs_dx = abs(dx)
is_rusinov@64 176 dy = float(y2 - y1)
is_rusinov@64 177 while x1 != x2:
is_rusinov@64 178 x1 = x1 + dx / abs_dx
is_rusinov@64 179 y1 = y1 + dy / abs_dx
is_rusinov@64 180 answer.append((self.rounding(y1), x1))
is_rusinov@64 181 else:
is_rusinov@64 182 dx = float(x2 - x1)
is_rusinov@64 183 dy = y2 - y1
is_rusinov@64 184 abs_dy = abs(dy)
is_rusinov@64 185 while y1 != y2:
is_rusinov@64 186 x1 = x1 + dx / abs_dy
is_rusinov@64 187 y1 = y1 + dy / abs_dy
is_rusinov@64 188 answer.append((y1, self.rounding(x1)))
is_rusinov@64 189 self.new_state(answer, order)
is_rusinov@64 190
is_rusinov@64 191 def rounding(self, num):
is_rusinov@64 192 return int(num + math.copysign(0.5, num))
is_rusinov@64 193
is_rusinov@64 194 def new_state(self, cells, order=1):
is_rusinov@64 195 num_states = len(automata.states)
is_rusinov@64 196 changed_cells = []
is_rusinov@64 197 for row, col in cells:
is_rusinov@64 198 if col >= 0 and row >= 0:
is_rusinov@64 199 try:
is_rusinov@91 200 index = (automata.symbols[automata.field[row][col]] +
is_rusinov@91 201 num_states + order) % num_states
is_rusinov@91 202 if self.char is not None and self.char in self.keys:
is_rusinov@64 203 index = self.keys[self.char]
is_rusinov@64 204 automata.field[row][col] = automata.states[index].symbol
is_rusinov@64 205 changed_cells.append((row, col))
is_rusinov@64 206 except:
is_rusinov@64 207 pass
is_rusinov@64 208 self.draw_cell(changed_cells)
is_rusinov@64 209
is_rusinov@91 210 def press1(self, event):
is_rusinov@85 211 scr_reg = canvas.cget("scrollregion").split()
is_rusinov@85 212 self.dx = int(scroll_x.get()[0] * int(scr_reg[2]))
is_rusinov@85 213 self.dy = int(scroll_y.get()[0] * int(scr_reg[3]))
is_rusinov@85 214 self.col1 = (event.x + self.dx) / (self.cell_size + self.line_width)
is_rusinov@85 215 self.row1 = (event.y + self.dy) / (self.cell_size + self.line_width)
is_rusinov@64 216 if self.col1 >= 0 and self.row1 >= 0:
is_rusinov@64 217 self.new_state([(self.row1, self.col1)])
is_rusinov@69 218
is_rusinov@91 219 def motion1(self, event):
is_rusinov@85 220 col = (event.x + self.dx) / (self.cell_size + self.line_width)
is_rusinov@85 221 row = (event.y + self.dy) / (self.cell_size + self.line_width)
is_rusinov@64 222 if not (self.col1 == col and self.row1 == row):
is_rusinov@64 223 if abs(self.col1 - col) <= 1 and abs(self.row1 - row) <= 1:
is_rusinov@64 224 self.new_state([(row, col)])
is_rusinov@64 225 else:
is_rusinov@64 226 self.draw_line(self.col1, self.row1, col, row)
is_rusinov@64 227 self.col1 = col
is_rusinov@64 228 self.row1 = row
is_rusinov@5 229
is_rusinov@91 230 def press3(self, event):
is_rusinov@85 231 scr_reg = canvas.cget("scrollregion").split()
is_rusinov@85 232 self.dx = int(scroll_x.get()[0] * int(scr_reg[2]))
is_rusinov@85 233 self.dy = int(scroll_y.get()[0] * int(scr_reg[3]))
is_rusinov@85 234 self.col3 = (event.x + self.dx) / (self.cell_size + self.line_width)
is_rusinov@85 235 self.row3 = (event.y + self.dy) / (self.cell_size + self.line_width)
is_rusinov@64 236 if self.col1 >= 0 and self.row1 >= 0:
is_rusinov@64 237 self.new_state([(self.row3, self.col3)], -1)
is_rusinov@54 238
is_rusinov@91 239 def motion3(self, event):
is_rusinov@85 240 col = (event.x + self.dx) / (self.cell_size + self.line_width)
is_rusinov@85 241 row = (event.y + self.dy) / (self.cell_size + self.line_width)
is_rusinov@64 242 if not (self.col3 == col and self.row3 == row):
is_rusinov@64 243 if abs(self.col3 - col) <= 1 and abs(self.row3 - row) <= 1:
is_rusinov@64 244 self.new_state([(row, col)], -1)
is_rusinov@64 245 else:
is_rusinov@64 246 self.draw_line(self.col3, self.row3, col, row, -1)
is_rusinov@64 247 self.col3 = col
is_rusinov@64 248 self.row3 = row
is_rusinov@5 249
is_rusinov@91 250 def press_key(self, event):
is_rusinov@54 251 self.char = event.char
is_rusinov@5 252
is_rusinov@91 253 def release_key(self, event):
is_rusinov@54 254 self.char = None
is_rusinov@18 255
is_rusinov@91 256 def to_top(self):
is_rusinov@64 257 selected = self.selected_state
is_rusinov@91 258 if selected is not None:
is_rusinov@64 259 index = selected
is_rusinov@58 260 state = automata.states[index]
is_rusinov@58 261 del automata.states[index]
is_rusinov@58 262 automata.states.insert(0, state)
is_rusinov@64 263 self.selected_state = 0
is_rusinov@69 264 self.refresh_dicts()
is_rusinov@58 265 self.refresh_list()
is_rusinov@7 266
is_rusinov@91 267 def to_bottom(self):
is_rusinov@64 268 selected = self.selected_state
is_rusinov@91 269 if selected is not None:
is_rusinov@64 270 index = selected
is_rusinov@58 271 state = automata.states[index]
is_rusinov@58 272 del automata.states[index]
is_rusinov@58 273 automata.states.append(state)
is_rusinov@64 274 self.selected_state = len(automata.states) - 1
is_rusinov@69 275 self.refresh_dicts()
is_rusinov@58 276 self.refresh_list()
is_rusinov@7 277
is_rusinov@8 278 def upwards(self):
is_rusinov@64 279 selected = self.selected_state
is_rusinov@91 280 if selected is not None:
is_rusinov@64 281 index = selected
is_rusinov@58 282 if index > 0:
is_rusinov@58 283 state = automata.states[index]
is_rusinov@58 284 del automata.states[index]
is_rusinov@58 285 automata.states.insert(index - 1, state)
is_rusinov@64 286 self.selected_state = index - 1
is_rusinov@69 287 self.refresh_dicts()
is_rusinov@58 288 self.refresh_list()
is_rusinov@7 289
is_rusinov@8 290 def downwards(self):
is_rusinov@64 291 selected = self.selected_state
is_rusinov@91 292 if selected is not None:
is_rusinov@64 293 index = selected
is_rusinov@58 294 if index < state_list.size() - 1:
is_rusinov@58 295 state = automata.states[index]
is_rusinov@58 296 del automata.states[index]
is_rusinov@58 297 automata.states.insert(index + 1, state)
is_rusinov@64 298 self.selected_state = index + 1
is_rusinov@69 299 self.refresh_dicts()
is_rusinov@58 300 self.refresh_list()
is_rusinov@7 301
is_rusinov@91 302 def delete_state(self):
is_rusinov@64 303 selected = self.selected_state
is_rusinov@91 304 if selected is not None and len(automata.states) != 1:
is_rusinov@64 305 index = selected
is_rusinov@69 306 symbol = automata.states[index].symbol
is_rusinov@65 307 del automata.states[index]
is_rusinov@69 308 self.refresh_dicts()
is_rusinov@65 309 if index in automata.states:
is_rusinov@65 310 self.selected_state = index
is_rusinov@69 311 else:
is_rusinov@65 312 self.selected_state = len(automata.states) - 1
is_rusinov@58 313 self.refresh_list()
is_rusinov@65 314 self.select_item(self.selected_state)
is_rusinov@69 315 self.draw_changed_state(symbol, automata.states[0].symbol)
is_rusinov@69 316 else:
is_rusinov@69 317 error.config(text="Operation is refused")
is_rusinov@69 318 error.after(2000, self.clear_error)
is_rusinov@7 319
is_rusinov@91 320 def add(self):
is_rusinov@29 321 name = state_name.get()
is_rusinov@48 322 symbol = state_symbol.get()
is_rusinov@54 323 key = state_key.get().lower()
is_rusinov@64 324 color = state_color.cget("bg")
is_rusinov@29 325 nums = []
is_rusinov@29 326 for i, value in enumerate(ckeckbox_nums):
is_rusinov@65 327 if value.get() == 1:
is_rusinov@65 328 nums.append(i)
is_rusinov@54 329 if self.keys.has_key(key):
is_rusinov@29 330 error.config(text="State with such key has already existed")
is_rusinov@69 331 error.after(2000, self.clear_error)
is_rusinov@29 332 state_key.focus()
is_rusinov@29 333 elif len(key) != 1:
is_rusinov@29 334 error.config(text="Bad key for state")
is_rusinov@69 335 error.after(2000, self.clear_error)
is_rusinov@29 336 state_key.focus()
is_rusinov@29 337 elif automata.symbols.has_key(symbol):
is_rusinov@29 338 error.config(text="State with such symbol has already existed")
is_rusinov@69 339 error.after(2000, self.clear_error)
is_rusinov@29 340 state_symbol.focus()
is_rusinov@29 341 elif len(symbol) != 1:
is_rusinov@29 342 error.config(text="Bad symbol for state")
is_rusinov@69 343 error.after(2000, self.clear_error)
is_rusinov@29 344 state_symbol.focus()
is_rusinov@29 345 else:
is_rusinov@69 346 state = State(name, symbol, color, key, nums)
is_rusinov@29 347 automata.states.append(state)
is_rusinov@34 348 automata.symbols[symbol] = len(automata.states) - 1
is_rusinov@34 349 self.keys[key] = len(automata.states) - 1
is_rusinov@58 350 error.config(text="")
is_rusinov@65 351 self.selected_state = len(automata.states) - 1
is_rusinov@58 352 self.refresh_list()
is_rusinov@65 353 self.select_item(self.selected_state)
is_rusinov@66 354 automata.st_sym[symbol] = state
is_rusinov@5 355
is_rusinov@91 356 def change(self):
is_rusinov@64 357 selected = self.selected_state
is_rusinov@91 358 if selected is not None:
is_rusinov@64 359 index = selected
is_rusinov@58 360 name = state_name.get()
is_rusinov@58 361 symbol = state_symbol.get()
is_rusinov@58 362 key = state_key.get().lower()
is_rusinov@64 363 color = state_color.cget("bg")
is_rusinov@58 364 nums = []
is_rusinov@58 365 for i, value in enumerate(ckeckbox_nums):
is_rusinov@58 366 if value.get() == 1:
is_rusinov@58 367 nums.append(i)
is_rusinov@58 368 if self.keys.has_key(key) and self.keys[key] != index:
is_rusinov@91 369 error.config(text="This key is already used")
is_rusinov@69 370 error.after(2000, self.clear_error)
is_rusinov@58 371 state_key.focus()
is_rusinov@58 372 elif len(key) != 1:
is_rusinov@58 373 error.config(text="Bad key for state")
is_rusinov@69 374 error.after(2000, self.clear_error)
is_rusinov@58 375 state_key.focus()
is_rusinov@91 376 elif (automata.symbols.has_key(symbol) and
is_rusinov@93 377 automata.symbols[symbol] != index):
is_rusinov@91 378 error.config(text="This symbol is already used")
is_rusinov@69 379 error.after(2000, self.clear_error)
is_rusinov@58 380 state_symbol.focus()
is_rusinov@58 381 elif len(symbol) != 1:
is_rusinov@58 382 error.config(text="Bad symbol for state")
is_rusinov@69 383 error.after(2000, self.clear_error)
is_rusinov@58 384 state_symbol.focus()
is_rusinov@58 385 else:
is_rusinov@69 386 state = State(name, symbol, color, key, nums)
is_rusinov@72 387 symbol_old = automata.states[index].symbol
is_rusinov@66 388 automata.states[index] = state
is_rusinov@69 389 self.refresh_dicts()
is_rusinov@72 390 self.draw_changed_state(symbol_old, symbol)
is_rusinov@58 391 self.refresh_list()
is_rusinov@54 392
is_rusinov@69 393 def draw_changed_state(self, symbol_old, symbol_new):
is_rusinov@69 394 cells = []
is_rusinov@69 395 for row in range(automata.height):
is_rusinov@69 396 for col in range(automata.width):
is_rusinov@69 397 if automata.field[row][col] == symbol_old:
is_rusinov@69 398 automata.field[row][col] = symbol_new
is_rusinov@69 399 cells.append((row, col))
is_rusinov@69 400 self.draw_cell(cells)
is_rusinov@69 401
is_rusinov@75 402 def show_size_window(self, event=None):
is_rusinov@91 403 sizes = str(len(automata.field[0])) + " x " + str(len(automata.field))
is_rusinov@91 404 size_label.config(text=sizes)
is_rusinov@18 405 size_window.deiconify()
Ilia@55 406
is_rusinov@75 407 def hide_size_window(self, event=None):
is_rusinov@18 408 size_window.withdraw()
Ilia@55 409
Ilia@55 410 def show_automata_window(self):
is_rusinov@70 411 self.select_item(self.selected_state)
is_rusinov@70 412 self.refresh_list
Ilia@55 413 automata_window.deiconify()
Ilia@55 414
Ilia@55 415 def hide_automata_window(self):
Ilia@55 416 automata_window.withdraw()
is_rusinov@65 417
is_rusinov@58 418 def refresh_list(self):
is_rusinov@58 419 state_list.delete(0, "end")
is_rusinov@58 420 for state in automata.states:
is_rusinov@58 421 state_list.insert("end", state)
is_rusinov@91 422 if self.selected_state is not None:
is_rusinov@64 423 state_list.selection_set(self.selected_state)
is_rusinov@65 424
is_rusinov@65 425 def select_item(self, index):
is_rusinov@91 426 if index is not None:
is_rusinov@58 427 state = automata.states[index]
is_rusinov@58 428 state_name.delete(0, "end")
is_rusinov@58 429 state_name.insert(0, state.name)
is_rusinov@58 430 state_symbol.delete(0, "end")
is_rusinov@58 431 state_symbol.insert(0, state.symbol)
is_rusinov@58 432 for key in self.keys.keys():
is_rusinov@58 433 if self.keys[key] == index:
is_rusinov@58 434 state_key.delete(0, "end")
is_rusinov@58 435 state_key.insert(0, key)
is_rusinov@64 436 state_color.config(bg=state.color)
is_rusinov@58 437 for i in range(9):
is_rusinov@58 438 ckeckbox_nums[i].set(i in state.nums)
is_rusinov@65 439 else:
is_rusinov@65 440 state_name.delete(0, "end")
is_rusinov@65 441 state_symbol.delete(0, "end")
is_rusinov@65 442 state_key.delete(0, "end")
is_rusinov@65 443 state_color.config(bg="white")
is_rusinov@65 444 for i in range(9):
is_rusinov@65 445 ckeckbox_nums[i].set(False)
is_rusinov@64 446
is_rusinov@65 447 def list_mouse_release(self, event):
is_rusinov@65 448 selected = state_list.curselection()
is_rusinov@65 449 self.selected_state = int(selected[0])
is_rusinov@91 450 if selected:
is_rusinov@65 451 self.select_item(self.selected_state)
is_rusinov@69 452
is_rusinov@64 453 def choose_color(self, event):
is_rusinov@64 454 state_color.config(bg=tkColorChooser.askcolor()[1])
is_rusinov@69 455
is_rusinov@69 456 def clear_error(self):
is_rusinov@69 457 error.config(text="")
is_rusinov@69 458
is_rusinov@70 459 def clear_message(self):
is_rusinov@70 460 message.config(text="")
is_rusinov@70 461
is_rusinov@75 462 def clean_field(self, event=None):
is_rusinov@69 463 symbol = automata.states[0].symbol
is_rusinov@69 464 cells = []
is_rusinov@69 465 for row in range(automata.height):
is_rusinov@69 466 for col in range(automata.width):
is_rusinov@69 467 if automata.field[row][col] != symbol:
is_rusinov@69 468 automata.field[row][col] = symbol
is_rusinov@69 469 cells.append((row, col))
is_rusinov@69 470 self.draw_cell(cells)
is_rusinov@69 471
is_rusinov@75 472 def fill_randomly(self, event=None):
is_rusinov@69 473 cells = []
is_rusinov@69 474 for row in range(automata.height):
is_rusinov@69 475 for col in range(automata.width):
is_rusinov@91 476 rand_index = random.randint(0, len(automata.states) - 1)
is_rusinov@91 477 automata.field[row][col] = automata.states[rand_index].symbol
is_rusinov@69 478 cells.append((row, col))
is_rusinov@69 479 self.draw_cell(cells)
is_rusinov@69 480
is_rusinov@69 481 def refresh_dicts(self):
is_rusinov@69 482 automata.symbols = {}
is_rusinov@69 483 automata.st_sym = {}
is_rusinov@69 484 self.keys = {}
is_rusinov@69 485 for index, state in enumerate(automata.states):
is_rusinov@69 486 automata.symbols[state.symbol] = index
is_rusinov@69 487 automata.st_sym[state.symbol] = state
is_rusinov@69 488 self.keys[state.key] = index
is_rusinov@69 489
Ilia@77 490 def exit(self, event=None):
is_rusinov@91 491 if tkMessageBox.askyesno("Save?", "Save current automata?"):
is_rusinov@78 492 self.save_file()
is_rusinov@78 493 root.destroy()
is_rusinov@78 494
is_rusinov@78 495 def change_scroll_area(self):
is_rusinov@91 496 step = self.cell_size + self.line_width
is_rusinov@91 497 width = automata.width * step + self.line_width
is_rusinov@91 498 height = automata.height * step + self.line_width
is_rusinov@78 499 canvas.config(scrollregion=(0, 0, width, height))
is_rusinov@91 500
is_rusinov@87 501 def update_status(self):
is_rusinov@91 502 size = str(len(automata.field[0])) + " x " + str(len(automata.field))
is_rusinov@91 503 status_size.config(text="size: " + size)
is_rusinov@87 504 state = "paused"
is_rusinov@87 505 speed = 0
is_rusinov@87 506 if self.is_started:
is_rusinov@87 507 state = "running"
is_rusinov@87 508 speed = 512 / self.delay
is_rusinov@87 509 status_state.config(text="status: " + state)
is_rusinov@87 510 status_speed.config(text="speed: " + str(speed))
Ilia@55 511
Ilia@6 512
Ilia@6 513 root = Tk()
Ilia@36 514 root.title("Cyclic Cellular Automata")
Ilia@6 515
darkhan@42 516 canvas = Canvas(root, background="grey")
Ilia@6 517 canvas.config(width=500, height=400)
Ilia@6 518
is_rusinov@54 519 automata = Automata()
Ilia@36 520 handlers = Handlers()
Ilia@36 521
is_rusinov@54 522 canvas.tag_bind("cell", "<1>", handlers.press1)
is_rusinov@64 523 canvas.tag_bind("cell", "<B1-Motion>", handlers.motion1)
is_rusinov@54 524 canvas.tag_bind("cell", "<3>", handlers.press3)
is_rusinov@64 525 canvas.tag_bind("cell", "<B3-Motion>", handlers.motion3)
is_rusinov@54 526 canvas.bind_all("<KeyPress>", handlers.press_key)
is_rusinov@54 527 canvas.bind_all("<KeyRelease>", handlers.release_key)
Ilia@36 528
is_rusinov@87 529 scroll_x = Scrollbar(root, orient="horizontal")
is_rusinov@87 530 scroll_y = Scrollbar(root, orient="vertical")
is_rusinov@87 531 statusline = Frame(root)
is_rusinov@87 532 status_size = Label(statusline)
is_rusinov@87 533 status_state = Label(statusline)
is_rusinov@87 534 status_speed = Label(statusline)
is_rusinov@87 535
is_rusinov@87 536 handlers.update_status()
Ilia@79 537
Ilia@79 538 canvas.grid(row=0, column=0, sticky="nsew")
Ilia@79 539 scroll_y.grid(row=0, column=1, sticky="ns")
Ilia@79 540 scroll_x.grid(row=1, column=0, sticky="ew")
is_rusinov@87 541 statusline.grid(row=2, column=0, sticky="ew")
is_rusinov@87 542 status_size.grid(row=0, column=0, sticky="w")
is_rusinov@87 543 status_state.grid(row=0, column=1, sticky="w")
is_rusinov@87 544 status_speed.grid(row=0, column=2, sticky="w")
Ilia@79 545
Ilia@79 546 handlers.change_scroll_area()
Ilia@79 547 canvas.config(xscrollcommand=scroll_x.set, yscrollcommand=scroll_y.set)
Ilia@79 548 scroll_x.config(command=canvas.xview)
Ilia@79 549 scroll_y.config(command=canvas.yview)
Ilia@79 550 root.columnconfigure(0, weight=1)
Ilia@79 551 root.rowconfigure(0, weight=1)
is_rusinov@87 552 statusline.columnconfigure(0, weight=1)
is_rusinov@87 553 statusline.columnconfigure(1, weight=1)
is_rusinov@87 554 statusline.columnconfigure(2, weight=1)
Ilia@79 555
Ilia@55 556 automata_window = Toplevel(root)
darkhan@98 557 automata_window.title("Automaton")
Ilia@55 558 automata_window.withdraw()
Ilia@55 559 automata_window.resizable(False, False)
Ilia@55 560 automata_window.protocol("WM_DELETE_WINDOW", handlers.hide_automata_window)
Ilia@9 561
darkhan@98 562 headline = Label(automata_window, text="Automaton Panel", font=16)
Ilia@55 563 headline.pack(side="top",fill="both", expand="no")
Ilia@9 564
is_rusinov@91 565 Label(automata_window, text="State Box:").pack(side="top", fill="x")
Ilia@56 566
is_rusinov@91 567 list_frame = Frame(automata_window)
Ilia@56 568 scrollbar = Scrollbar(list_frame)
Ilia@57 569 scrollbar.pack(side="right", fill="y")
is_rusinov@91 570 state_list = Listbox(list_frame, yscrollcommand=scrollbar.set,
is_rusinov@91 571 activestyle="none", selectmode="single")
is_rusinov@58 572 handlers.refresh_list()
is_rusinov@58 573 state_list.bind("<ButtonRelease-1>", handlers.list_mouse_release)
is_rusinov@7 574 state_list.pack(side="top", fill="y")
Ilia@56 575 scrollbar.config(command=state_list.yview)
Ilia@56 576 list_frame.pack(side="top")
Ilia@56 577
Ilia@59 578 manip_frame1 = Frame(automata_window, padx=10, pady=5)
Ilia@59 579 up = Button(manip_frame1, text="Up", command=handlers.upwards, width=10)
me@94 580 to_top = Button(manip_frame1, text="To Top",
me@94 581 command=handlers.to_top, width=10)
Ilia@59 582 up.pack(side="left", fill="x")
Ilia@59 583 to_top.pack(side="right", fill="x")
Ilia@59 584 manip_frame1.pack(side="top", fill="x")
Ilia@59 585
Ilia@59 586 manip_frame2 = Frame(automata_window, padx=10, pady=5)
me@94 587 down = Button(manip_frame2, text="Down",
me@94 588 command=handlers.downwards, width=10)
is_rusinov@91 589 to_bottom = Button(manip_frame2, text="To Bottom",
is_rusinov@91 590 command=handlers.to_bottom, width=10)
Ilia@59 591 down.pack(side="left", fill="x")
Ilia@59 592 to_bottom.pack(side="right", fill="x")
Ilia@59 593 manip_frame2.pack(side="top", fill="x")
Ilia@59 594
is_rusinov@91 595 delete = Button(automata_window, text="Delete",
is_rusinov@91 596 command=handlers.delete_state, width=10)
Ilia@59 597 delete.pack(side="top")
Ilia@6 598
is_rusinov@91 599 information = Label(automata_window, text="Information of State")
Ilia@9 600 information.pack(side="top", fill="x")
is_rusinov@91 601 info_frame = Frame(automata_window)
Ilia@9 602 Label(info_frame, text="Name").grid(row=0, column=0)
Ilia@9 603 state_name = Entry(info_frame)
Ilia@9 604 state_name.grid(row=0, column=1)
Ilia@9 605 Label(info_frame, text="Symbol").grid(row=1, column=0)
Ilia@9 606 state_symbol = Entry(info_frame)
Ilia@9 607 state_symbol.grid(row=1, column=1)
Ilia@60 608 Label(info_frame, text="Key").grid(row=2, column=0)
Ilia@9 609 state_key = Entry(info_frame)
Ilia@60 610 state_key.grid(row=2, column=1)
Ilia@60 611 Label(info_frame, text="Color").grid(row=3, column=0)
Ilia@60 612 state_color = Label(info_frame, background="white", cursor="plus")
Ilia@60 613 state_color.grid(row=3, column=1, sticky="ew")
is_rusinov@64 614 state_color.bind('<1>', handlers.choose_color)
Ilia@9 615 info_frame.pack(side="top")
Ilia@9 616
Ilia@36 617 ckeckbox_nums = [IntVar(), IntVar(), IntVar(), IntVar(), IntVar(),
Ilia@36 618 IntVar(), IntVar(), IntVar(), IntVar()]
Ilia@33 619
is_rusinov@91 620 condition = Label(automata_window, text="Condition of conversion")
Ilia@9 621 condition.pack(side="top", fill="x")
is_rusinov@91 622 condition_frame = Frame(automata_window)
Ilia@9 623 Label(condition_frame, text="0: ").grid(row=0, column=0)
Ilia@39 624 c_button_0 = Checkbutton(condition_frame, variable=ckeckbox_nums[0])
Ilia@36 625 c_button_0.grid(row=0, column=1)
Ilia@9 626 Label(condition_frame, text="1: ").grid(row=0, column=2)
Ilia@39 627 c_button_1 = Checkbutton(condition_frame, variable=ckeckbox_nums[1])
Ilia@36 628 c_button_1.grid(row=0, column=3)
Ilia@9 629 Label(condition_frame, text="2: ").grid(row=0, column=4)
Ilia@39 630 c_button_2 = Checkbutton(condition_frame, variable=ckeckbox_nums[2])
Ilia@36 631 c_button_2.grid(row=0, column=5)
Ilia@9 632 Label(condition_frame, text="3: ").grid(row=1, column=0)
Ilia@39 633 c_button_3 = Checkbutton(condition_frame, variable=ckeckbox_nums[3])
Ilia@36 634 c_button_3.grid(row=1, column=1)
Ilia@9 635 Label(condition_frame, text="4: ").grid(row=1, column=2)
Ilia@39 636 c_button_4 = Checkbutton(condition_frame, variable=ckeckbox_nums[4])
Ilia@36 637 c_button_4.grid(row=1, column=3)
Ilia@9 638 Label(condition_frame, text="5: ").grid(row=1, column=4)
Ilia@39 639 c_button_5 = Checkbutton(condition_frame, variable=ckeckbox_nums[5])
Ilia@36 640 c_button_5.grid(row=1, column=5)
Ilia@9 641 Label(condition_frame, text="6: ").grid(row=2, column=0)
Ilia@39 642 c_button_6 = Checkbutton(condition_frame, variable=ckeckbox_nums[6])
Ilia@36 643 c_button_6.grid(row=2, column=1)
Ilia@9 644 Label(condition_frame, text="7: ").grid(row=2, column=2)
Ilia@39 645 c_button_7 = Checkbutton(condition_frame, variable=ckeckbox_nums[7])
Ilia@36 646 c_button_7.grid(row=2, column=3)
Ilia@9 647 Label(condition_frame, text="8: ").grid(row=2, column=4)
Ilia@39 648 c_button_8 = Checkbutton(condition_frame, variable=ckeckbox_nums[8])
Ilia@36 649 c_button_8.grid(row=2, column=5)
Ilia@9 650 condition_frame.pack(side="top")
Ilia@9 651
Ilia@59 652 add_frame = Frame(automata_window, padx=10, pady=5)
Ilia@59 653 add_state = Button(add_frame, text="Add", command=handlers.add, width=10)
is_rusinov@91 654 change_state = Button(add_frame, text="Change",
is_rusinov@91 655 command=handlers.change, width=10)
Ilia@59 656 add_state.pack(side="left", fill="x")
Ilia@59 657 change_state.pack(side="right", fill="x")
Ilia@59 658 add_frame.pack(side="top", fill="x")
Ilia@9 659
is_rusinov@91 660 error = Label(automata_window)
Ilia@9 661 error.pack(side="top", fill="x")
is_rusinov@8 662
is_rusinov@70 663 side = IntVar()
Ilia@12 664
Ilia@12 665 size_window = Toplevel(root)
Ilia@12 666 size_window.title("")
Ilia@13 667 size_window.withdraw()
Ilia@55 668 size_window.resizable(False, False)
Ilia@12 669 size_window.protocol("WM_DELETE_WINDOW", handlers.hide_size_window)
me@94 670 Label(size_window, text="Current window size:").pack(side="top", fill="x")
is_rusinov@93 671 size_label = Label(size_window)
is_rusinov@91 672 size_label.pack(side="top", fill="x")
is_rusinov@91 673 Label(size_window, text="New size:").pack(side="top", fill="x")
Ilia@12 674 new_size = Frame(size_window)
Ilia@12 675 size_x = Entry(new_size, width=5)
Ilia@12 676 size_x.grid(row=0, column=0)
Ilia@12 677 Label(new_size, text=" x ").grid(row=0, column=1)
Ilia@12 678 size_y = Entry(new_size, width=5)
Ilia@12 679 size_y.grid(row=0, column=2)
Ilia@12 680 new_size.pack(side="top")
is_rusinov@91 681 Label(size_window, text="Expansion of window:").pack(side="top", fill="x")
Ilia@12 682 expansion = Frame(size_window)
is_rusinov@91 683 r0 = Radiobutton(expansion, variable=side, value=0, indicatoron=0,
is_rusinov@91 684 width=2, height=1)
Ilia@12 685 r0.select()
is_rusinov@91 686 r0.grid(row=0, column=0)
is_rusinov@91 687 r1 = Radiobutton(expansion, variable=side, value=1, indicatoron=0,
is_rusinov@91 688 width=2, height=1)
is_rusinov@91 689 r1.grid(row=0, column=1)
is_rusinov@91 690 r2 = Radiobutton(expansion, variable=side, value=2, indicatoron=0,
is_rusinov@91 691 width=2, height=1)
is_rusinov@91 692 r2.grid(row=0, column=2)
is_rusinov@91 693 r3 = Radiobutton(expansion, variable=side, value=3, indicatoron=0,
is_rusinov@91 694 width=2, height=1)
is_rusinov@91 695 r3.grid(row=1, column=0)
is_rusinov@91 696 r4 = Radiobutton(expansion, variable=side, value=4, indicatoron=0,
is_rusinov@91 697 width=2, height=1)
is_rusinov@91 698 r4.grid(row=1, column=1)
is_rusinov@91 699 r5 = Radiobutton(expansion, variable=side, value=5, indicatoron=0,
is_rusinov@91 700 width=2, height=1)
is_rusinov@91 701 r5.grid(row=1, column=2)
is_rusinov@91 702 r6 = Radiobutton(expansion, variable=side, value=6, indicatoron=0,
is_rusinov@91 703 width=2, height=1)
is_rusinov@91 704 r6.grid(row=2, column=0)
is_rusinov@91 705 r7 = Radiobutton(expansion, variable=side, value=7, indicatoron=0,
is_rusinov@91 706 width=2, height=1)
is_rusinov@91 707 r7.grid(row=2, column=1)
is_rusinov@91 708 r8 = Radiobutton(expansion, variable=side, value=8, indicatoron=0,
is_rusinov@91 709 width=2, height=1)
Ilia@12 710 r8.grid(row=2, column=2)
Ilia@12 711 expansion.pack(side="top")
Ilia@12 712 Label(size_window).pack(side="top", fill="x")
Ilia@12 713 apply_frame = Frame(size_window, padx=10, pady=5)
is_rusinov@91 714 apply_size = Button(apply_frame, text="Apply", width=6,
is_rusinov@91 715 command=handlers.change_size)
Ilia@12 716 apply_size.pack(side="left", fill="x")
is_rusinov@91 717 close_size = Button(apply_frame, text="Close", width=6,
is_rusinov@91 718 command=handlers.hide_size_window)
Ilia@12 719 close_size.pack(side="right", fill="x")
Ilia@12 720 apply_frame.pack(side="top", fill="x")
is_rusinov@70 721 message = Label(size_window, text="")
is_rusinov@70 722 message.pack(side="top", fill="x")
Ilia@6 723 menubar = Menu(root)
Ilia@6 724 root.config(menu=menubar)
Ilia@6 725
Ilia@6 726 menu_file = Menu(menubar)
is_rusinov@91 727 menu_file.add_command(label="New", command=handlers.new_file,
is_rusinov@91 728 accelerator="Ctrl+N")
Ilia@77 729 menu_file.bind_all("<Control-n>", handlers.new_file)
is_rusinov@91 730 menu_file.add_command(label="Open...", command=handlers.open_file,
is_rusinov@91 731 accelerator="Ctrl+O")
Ilia@77 732 menu_file.bind_all("<Control-o>", handlers.open_file)
is_rusinov@91 733 menu_file.add_command(label="Save...", command=handlers.save_file,
is_rusinov@91 734 accelerator="Ctrl+S")
is_rusinov@76 735 menu_file.bind_all("<Control-s>", handlers.save_file)
Ilia@6 736 menu_file.add_separator()
is_rusinov@91 737 menu_file.add_command(label="Exit", command=handlers.exit,
is_rusinov@91 738 accelerator="Ctrl+Q")
Ilia@77 739 menu_file.bind_all("<Control-q>", handlers.exit)
Ilia@6 740 menubar.add_cascade(label="File", menu=menu_file)
Ilia@6 741
Ilia@6 742 menu_action = Menu(menubar)
is_rusinov@91 743 menu_action.add_command(label="Start", command=handlers.start,
is_rusinov@91 744 accelerator="Ctrl+G")
Ilia@77 745 menu_action.bind_all("<Control-g>", handlers.start)
is_rusinov@91 746 menu_action.add_command(label="Stop", command=handlers.stop,
is_rusinov@91 747 accelerator="Ctrl+F")
Ilia@77 748 menu_action.bind_all("<Control-f>", handlers.stop)
is_rusinov@91 749 menu_action.add_command(label="Next Step", command=handlers.next_step,
is_rusinov@91 750 accelerator="Space")
Ilia@77 751 menu_action.bind_all("<space>", handlers.next_step)
Ilia@12 752 menu_action.add_separator()
is_rusinov@91 753 menu_action.add_command(label="Increase speed", command=handlers.faster,
is_rusinov@91 754 accelerator="Alt+F")
Ilia@77 755 menu_action.bind_all("<Alt-f>", handlers.faster)
is_rusinov@91 756 menu_action.add_command(label="Decrease speed", command=handlers.slower,
is_rusinov@91 757 accelerator="Alt+S")
Ilia@77 758 menu_action.bind_all("<Alt-s>", handlers.slower)
Ilia@12 759 menu_action.add_separator()
is_rusinov@91 760 menu_action.add_command(label="Zoom In", command=handlers.zoom_in,
is_rusinov@91 761 accelerator="Ctrl+Z")
Ilia@77 762 menu_action.bind_all("<Control-z>", handlers.zoom_in)
is_rusinov@91 763 menu_action.add_command(label="Zoom Out", command=handlers.zoom_out,
is_rusinov@91 764 accelerator="Ctrl+X")
Ilia@77 765 menu_action.bind_all("<Control-x>", handlers.zoom_out)
Ilia@12 766 menu_action.add_separator()
is_rusinov@91 767 menu_action.add_command(label="Clean field", command=handlers.clean_field,
is_rusinov@91 768 accelerator="Ctrl+C")
Ilia@77 769 menu_action.bind_all("<Control-c>", handlers.clean_field)
me@94 770 menu_action.add_command(label="Fill randomly",
me@94 771 command=handlers.fill_randomly,
is_rusinov@91 772 accelerator="Ctrl+R")
Ilia@77 773 menu_action.bind_all("<Control-r>", handlers.fill_randomly)
Ilia@13 774 menu_action.add_separator()
me@94 775 menu_action.add_command(label="Change size",
me@94 776 command=handlers.show_size_window,
is_rusinov@91 777 accelerator="Ctrl+D")
Ilia@77 778 menu_action.bind_all("<Control-d>", handlers.show_size_window)
Ilia@6 779 menubar.add_cascade(label="Action", menu=menu_action)
Ilia@6 780
darkhan@98 781 menubar.add_command(label="Automaton", command=handlers.show_automata_window)
Ilia@6 782
is_rusinov@43 783 menubar.add_command(label="Help", command=handlers.show_help_window)
Ilia@6 784
Ilia@6 785 root.mainloop()