def _init_menubar(self): menubar = Menu(self._top) filemenu = Menu(menubar, tearoff=0) filemenu.add_command(label='Print to Postscript', underline=0, command=self._cframe.print_to_file, accelerator='Ctrl-p') filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-x') menubar.add_cascade(label='File', underline=0, menu=filemenu) zoommenu = Menu(menubar, tearoff=0) zoommenu.add_radiobutton(label='Tiny', variable=self._size, underline=0, value=10, command=self.resize) zoommenu.add_radiobutton(label='Small', variable=self._size, underline=0, value=12, command=self.resize) zoommenu.add_radiobutton(label='Medium', variable=self._size, underline=0, value=14, command=self.resize) zoommenu.add_radiobutton(label='Large', variable=self._size, underline=0, value=28, command=self.resize) zoommenu.add_radiobutton(label='Huge', variable=self._size, underline=0, value=50, command=self.resize) menubar.add_cascade(label='Zoom', underline=0, menu=zoommenu) self._top.config(menu=menubar)
def _init_menubar(self): self._result_size = IntVar(self.top) menubar = Menu(self.top) filemenu = Menu(menubar, tearoff=0, borderwidth=0) filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-q') menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) rescntmenu = Menu(editmenu, tearoff=0) rescntmenu.add_radiobutton(label='20', variable=self._result_size, underline=0, value=20, command=self.set_result_size) rescntmenu.add_radiobutton(label='50', variable=self._result_size, underline=0, value=50, command=self.set_result_size) rescntmenu.add_radiobutton(label='100', variable=self._result_size, underline=0, value=100, command=self.set_result_size) rescntmenu.invoke(1) editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) self.top.config(menu=menubar)
def _init_menubar(self): menubar = Menu(self._top) filemenu = Menu(menubar, tearoff=0) filemenu.add_command( label="Print to Postscript", underline=0, command=self._cframe.print_to_file, accelerator="Ctrl-p", ) filemenu.add_command( label="Exit", underline=1, command=self.destroy, accelerator="Ctrl-x" ) menubar.add_cascade(label="File", underline=0, menu=filemenu) zoommenu = Menu(menubar, tearoff=0) zoommenu.add_radiobutton( label="Tiny", variable=self._size, underline=0, value=10, command=self.resize, ) zoommenu.add_radiobutton( label="Small", variable=self._size, underline=0, value=12, command=self.resize, ) zoommenu.add_radiobutton( label="Medium", variable=self._size, underline=0, value=14, command=self.resize, ) zoommenu.add_radiobutton( label="Large", variable=self._size, underline=0, value=28, command=self.resize, ) zoommenu.add_radiobutton( label="Huge", variable=self._size, underline=0, value=50, command=self.resize, ) menubar.add_cascade(label="Zoom", underline=0, menu=zoommenu) self._top.config(menu=menubar)
def _create_menu(self): '''Create the menu in the GUI.''' menubar = Menu(self) self.menus = {} count = 0 self.file_menu = Menu(menubar, tearoff=0) self.file_menu.add_command(label="New Game") #, command=self.reset) self.menus["file_new_game"] = count count += 1 self.file_menu.add_command(label="Save") self.menus["file_save"] = count count += 1 self.file_menu.add_command(label="Open") self.menus["file_open"] = count count += 1 self.file_menu.add_command( label="Exit") #, command=self.master.destroy) self.menus["file_exit"] = count count += 1 menubar.add_cascade(label="File", menu=self.file_menu) if battleship.GameController.DEV_FLAG: count = 0 self.dev_menu = Menu(menubar, tearoff=0) self.dev_menu.add_command(label="Auto Place") self.menus["dev_auto_place"] = count count += 1 self.dev_menu.add_command(label="Random Shot") self.menus["dev_random_shot"] = count count += 1 self.dev_menu.add_command(label="Auto Load") self.menus["dev_auto_load"] = count count += 1 menubar.add_cascade(label="Dev", menu=self.dev_menu) help_menu = Menu(menubar, tearoff=0) help_menu.add_command(label="Rules", command=self._show_rules) help_menu.add_command(label="Keyboard Shortcuts", command=self.show_keyboard_shortcuts) menubar.add_cascade(label="Help", menu=help_menu) self.master.config(menu=menubar)
def _create_menu(self): '''Create the menu in the GUI.''' menubar = Menu(self) self.menus = {} count = 0 self.file_menu = Menu(menubar, tearoff=0) self.file_menu.add_command(label="New Game")#, command=self.reset) self.menus["file_new_game"] = count count += 1 self.file_menu.add_command(label="Save") self.menus["file_save"] = count count += 1 self.file_menu.add_command(label="Open") self.menus["file_open"] = count count += 1 self.file_menu.add_command(label="Exit")#, command=self.master.destroy) self.menus["file_exit"] = count count += 1 menubar.add_cascade(label="File", menu=self.file_menu) if battleship.GameController.DEV_FLAG: count = 0 self.dev_menu = Menu(menubar, tearoff=0) self.dev_menu.add_command(label="Auto Place") self.menus["dev_auto_place"] = count count += 1 self.dev_menu.add_command(label="Random Shot") self.menus["dev_random_shot"] = count count += 1 self.dev_menu.add_command(label="Auto Load") self.menus["dev_auto_load"] = count count += 1 menubar.add_cascade(label="Dev", menu=self.dev_menu) help_menu = Menu(menubar, tearoff=0) help_menu.add_command(label="Rules", command=self._show_rules) help_menu.add_command(label="Keyboard Shortcuts", command=self.show_keyboard_shortcuts) menubar.add_cascade(label="Help", menu=help_menu) self.master.config(menu=menubar)
def _init_menubar(self): self._result_size = IntVar(self.top) menubar = Menu(self.top) filemenu = Menu(menubar, tearoff=0, borderwidth=0) filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-q') menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) rescntmenu = Menu(editmenu, tearoff=0) rescntmenu.add_radiobutton(label='20', variable=self._result_size, underline=0, value=20, command=self.set_result_size) rescntmenu.add_radiobutton(label='50', variable=self._result_size, underline=0, value=50, command=self.set_result_size) rescntmenu.add_radiobutton(label='100', variable=self._result_size, underline=0, value=100, command=self.set_result_size) rescntmenu.invoke(1) editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) self.top.config(menu=menubar)
def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='q') menubar.add_cascade(label='File', underline=0, menu=filemenu) actionmenu = Menu(menubar, tearoff=0) actionmenu.add_command(label='Next', underline=0, command=self.next, accelerator='n, Space') actionmenu.add_command(label='Previous', underline=0, command=self.prev, accelerator='p, Backspace') menubar.add_cascade(label='Action', underline=0, menu=actionmenu) optionmenu = Menu(menubar, tearoff=0) optionmenu.add_checkbutton(label='Remove Duplicates', underline=0, variable=self._glue.remove_duplicates, command=self._toggle_remove_duplicates, accelerator='r') menubar.add_cascade(label='Options', underline=0, menu=optionmenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_radiobutton(label='Tiny', variable=self._size, underline=0, value=10, command=self.resize) viewmenu.add_radiobutton(label='Small', variable=self._size, underline=0, value=12, command=self.resize) viewmenu.add_radiobutton(label='Medium', variable=self._size, underline=0, value=14, command=self.resize) viewmenu.add_radiobutton(label='Large', variable=self._size, underline=0, value=18, command=self.resize) viewmenu.add_radiobutton(label='Huge', variable=self._size, underline=0, value=24, command=self.resize) menubar.add_cascade(label='View', underline=0, menu=viewmenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label='About', underline=0, command=self.about) menubar.add_cascade(label='Help', underline=0, menu=helpmenu) parent.config(menu=menubar)
def _init_menubar(self): self._result_size = IntVar(self.top) self._cntx_bf_len = IntVar(self.top) self._cntx_af_len = IntVar(self.top) menubar = Menu(self.top) filemenu = Menu(menubar, tearoff=0, borderwidth=0) filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-q') menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) rescntmenu = Menu(editmenu, tearoff=0) rescntmenu.add_radiobutton(label='20', variable=self._result_size, underline=0, value=20, command=self.set_result_size) rescntmenu.add_radiobutton(label='50', variable=self._result_size, underline=0, value=50, command=self.set_result_size) rescntmenu.add_radiobutton(label='100', variable=self._result_size, underline=0, value=100, command=self.set_result_size) rescntmenu.invoke(1) editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu) cntxmenu = Menu(editmenu, tearoff=0) cntxbfmenu = Menu(cntxmenu, tearoff=0) cntxbfmenu.add_radiobutton(label='60 characters', variable=self._cntx_bf_len, underline=0, value=60, command=self.set_cntx_bf_len) cntxbfmenu.add_radiobutton(label='80 characters', variable=self._cntx_bf_len, underline=0, value=80, command=self.set_cntx_bf_len) cntxbfmenu.add_radiobutton(label='100 characters', variable=self._cntx_bf_len, underline=0, value=100, command=self.set_cntx_bf_len) cntxbfmenu.invoke(1) cntxmenu.add_cascade(label='Before', underline=0, menu=cntxbfmenu) cntxafmenu = Menu(cntxmenu, tearoff=0) cntxafmenu.add_radiobutton(label='70 characters', variable=self._cntx_af_len, underline=0, value=70, command=self.set_cntx_af_len) cntxafmenu.add_radiobutton(label='90 characters', variable=self._cntx_af_len, underline=0, value=90, command=self.set_cntx_af_len) cntxafmenu.add_radiobutton(label='110 characters', variable=self._cntx_af_len, underline=0, value=110, command=self.set_cntx_af_len) cntxafmenu.invoke(1) cntxmenu.add_cascade(label='After', underline=0, menu=cntxafmenu) editmenu.add_cascade(label='Context', underline=0, menu=cntxmenu) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) self.top.config(menu=menubar)
def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='q') menubar.add_cascade(label='File', underline=0, menu=filemenu) actionmenu = Menu(menubar, tearoff=0) actionmenu.add_command(label='Next', underline=0, command=self.next, accelerator='n, Space') actionmenu.add_command(label='Previous', underline=0, command=self.prev, accelerator='p, Backspace') menubar.add_cascade(label='Action', underline=0, menu=actionmenu) optionmenu = Menu(menubar, tearoff=0) optionmenu.add_checkbutton(label='Remove Duplicates', underline=0, variable=self._glue.remove_duplicates, command=self._toggle_remove_duplicates, accelerator='r') menubar.add_cascade(label='Options', underline=0, menu=optionmenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_radiobutton(label='Tiny', variable=self._size, underline=0, value=10, command=self.resize) viewmenu.add_radiobutton(label='Small', variable=self._size, underline=0, value=12, command=self.resize) viewmenu.add_radiobutton(label='Medium', variable=self._size, underline=0, value=14, command=self.resize) viewmenu.add_radiobutton(label='Large', variable=self._size, underline=0, value=18, command=self.resize) viewmenu.add_radiobutton(label='Huge', variable=self._size, underline=0, value=24, command=self.resize) menubar.add_cascade(label='View', underline=0, menu=viewmenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label='About', underline=0, command=self.about) menubar.add_cascade(label='Help', underline=0, menu=helpmenu) parent.config(menu=menubar)
def _init_menubar(self): self._result_size = IntVar(self.top) self._cntx_bf_len = IntVar(self.top) self._cntx_af_len = IntVar(self.top) menubar = Menu(self.top) filemenu = Menu(menubar, tearoff=0, borderwidth=0) filemenu.add_command(label="Exit", underline=1, command=self.destroy, accelerator="Ctrl-q") menubar.add_cascade(label="File", underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) rescntmenu = Menu(editmenu, tearoff=0) rescntmenu.add_radiobutton( label="20", variable=self._result_size, underline=0, value=20, command=self.set_result_size, ) rescntmenu.add_radiobutton( label="50", variable=self._result_size, underline=0, value=50, command=self.set_result_size, ) rescntmenu.add_radiobutton( label="100", variable=self._result_size, underline=0, value=100, command=self.set_result_size, ) rescntmenu.invoke(1) editmenu.add_cascade(label="Result Count", underline=0, menu=rescntmenu) cntxmenu = Menu(editmenu, tearoff=0) cntxbfmenu = Menu(cntxmenu, tearoff=0) cntxbfmenu.add_radiobutton( label="60 characters", variable=self._cntx_bf_len, underline=0, value=60, command=self.set_cntx_bf_len, ) cntxbfmenu.add_radiobutton( label="80 characters", variable=self._cntx_bf_len, underline=0, value=80, command=self.set_cntx_bf_len, ) cntxbfmenu.add_radiobutton( label="100 characters", variable=self._cntx_bf_len, underline=0, value=100, command=self.set_cntx_bf_len, ) cntxbfmenu.invoke(1) cntxmenu.add_cascade(label="Before", underline=0, menu=cntxbfmenu) cntxafmenu = Menu(cntxmenu, tearoff=0) cntxafmenu.add_radiobutton( label="70 characters", variable=self._cntx_af_len, underline=0, value=70, command=self.set_cntx_af_len, ) cntxafmenu.add_radiobutton( label="90 characters", variable=self._cntx_af_len, underline=0, value=90, command=self.set_cntx_af_len, ) cntxafmenu.add_radiobutton( label="110 characters", variable=self._cntx_af_len, underline=0, value=110, command=self.set_cntx_af_len, ) cntxafmenu.invoke(1) cntxmenu.add_cascade(label="After", underline=0, menu=cntxafmenu) editmenu.add_cascade(label="Context", underline=0, menu=cntxmenu) menubar.add_cascade(label="Edit", underline=0, menu=editmenu) self.top.config(menu=menubar)
def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command(label='Reset Parser', underline=0, command=self.reset, accelerator='Del') filemenu.add_command(label='Print to Postscript', underline=0, command=self.postscript, accelerator='Ctrl-p') filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-x') menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) editmenu.add_command(label='Edit Grammar', underline=5, command=self.edit_grammar, accelerator='Ctrl-g') editmenu.add_command(label='Edit Text', underline=5, command=self.edit_sentence, accelerator='Ctrl-t') menubar.add_cascade(label='Edit', underline=0, menu=editmenu) rulemenu = Menu(menubar, tearoff=0) rulemenu.add_command(label='Step', underline=1, command=self.step, accelerator='Space') rulemenu.add_separator() rulemenu.add_command(label='Match', underline=0, command=self.match, accelerator='Ctrl-m') rulemenu.add_command(label='Expand', underline=0, command=self.expand, accelerator='Ctrl-e') rulemenu.add_separator() rulemenu.add_command(label='Backtrack', underline=0, command=self.backtrack, accelerator='Ctrl-b') menubar.add_cascade(label='Apply', underline=0, menu=rulemenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_checkbutton(label="Show Grammar", underline=0, variable=self._show_grammar, command=self._toggle_grammar) viewmenu.add_separator() viewmenu.add_radiobutton(label='Tiny', variable=self._size, underline=0, value=10, command=self.resize) viewmenu.add_radiobutton(label='Small', variable=self._size, underline=0, value=12, command=self.resize) viewmenu.add_radiobutton(label='Medium', variable=self._size, underline=0, value=14, command=self.resize) viewmenu.add_radiobutton(label='Large', variable=self._size, underline=0, value=18, command=self.resize) viewmenu.add_radiobutton(label='Huge', variable=self._size, underline=0, value=24, command=self.resize) menubar.add_cascade(label='View', underline=0, menu=viewmenu) animatemenu = Menu(menubar, tearoff=0) animatemenu.add_radiobutton(label="No Animation", underline=0, variable=self._animation_frames, value=0) animatemenu.add_radiobutton(label="Slow Animation", underline=0, variable=self._animation_frames, value=10, accelerator='-') animatemenu.add_radiobutton(label="Normal Animation", underline=0, variable=self._animation_frames, value=5, accelerator='=') animatemenu.add_radiobutton(label="Fast Animation", underline=0, variable=self._animation_frames, value=2, accelerator='+') menubar.add_cascade(label="Animate", underline=1, menu=animatemenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label='About', underline=0, command=self.about) helpmenu.add_command(label='Instructions', underline=0, command=self.help, accelerator='F1') menubar.add_cascade(label='Help', underline=0, menu=helpmenu) parent.config(menu=menubar)
def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command( label='Reset Parser', underline=0, command=self.reset, accelerator='Del' ) filemenu.add_command( label='Print to Postscript', underline=0, command=self.postscript, accelerator='Ctrl-p', ) filemenu.add_command( label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-x' ) menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) editmenu.add_command( label='Edit Grammar', underline=5, command=self.edit_grammar, accelerator='Ctrl-g', ) editmenu.add_command( label='Edit Text', underline=5, command=self.edit_sentence, accelerator='Ctrl-t', ) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) rulemenu = Menu(menubar, tearoff=0) rulemenu.add_command( label='Step', underline=1, command=self.step, accelerator='Space' ) rulemenu.add_separator() rulemenu.add_command( label='Match', underline=0, command=self.match, accelerator='Ctrl-m' ) rulemenu.add_command( label='Expand', underline=0, command=self.expand, accelerator='Ctrl-e' ) rulemenu.add_separator() rulemenu.add_command( label='Backtrack', underline=0, command=self.backtrack, accelerator='Ctrl-b' ) menubar.add_cascade(label='Apply', underline=0, menu=rulemenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_checkbutton( label="Show Grammar", underline=0, variable=self._show_grammar, command=self._toggle_grammar, ) viewmenu.add_separator() viewmenu.add_radiobutton( label='Tiny', variable=self._size, underline=0, value=10, command=self.resize, ) viewmenu.add_radiobutton( label='Small', variable=self._size, underline=0, value=12, command=self.resize, ) viewmenu.add_radiobutton( label='Medium', variable=self._size, underline=0, value=14, command=self.resize, ) viewmenu.add_radiobutton( label='Large', variable=self._size, underline=0, value=18, command=self.resize, ) viewmenu.add_radiobutton( label='Huge', variable=self._size, underline=0, value=24, command=self.resize, ) menubar.add_cascade(label='View', underline=0, menu=viewmenu) animatemenu = Menu(menubar, tearoff=0) animatemenu.add_radiobutton( label="No Animation", underline=0, variable=self._animation_frames, value=0 ) animatemenu.add_radiobutton( label="Slow Animation", underline=0, variable=self._animation_frames, value=10, accelerator='-', ) animatemenu.add_radiobutton( label="Normal Animation", underline=0, variable=self._animation_frames, value=5, accelerator='=', ) animatemenu.add_radiobutton( label="Fast Animation", underline=0, variable=self._animation_frames, value=2, accelerator='+', ) menubar.add_cascade(label="Animate", underline=1, menu=animatemenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label='About', underline=0, command=self.about) helpmenu.add_command( label='Instructions', underline=0, command=self.help, accelerator='F1' ) menubar.add_cascade(label='Help', underline=0, menu=helpmenu) parent.config(menu=menubar)
class ShiftReduceApp(object): """ A graphical tool for exploring the shift-reduce parser. The tool displays the parser's stack and the remaining text, and allows the user to control the parser's operation. In particular, the user can shift tokens onto the stack, and can perform reductions on the top elements of the stack. A "step" button simply steps through the parsing process, performing the operations that ``nltk.parse.ShiftReduceParser`` would use. """ def __init__(self, grammar, sent, trace=0): self._sent = sent self._parser = SteppingShiftReduceParser(grammar, trace) # Set up the main window. self._top = Tk() self._top.title('Shift Reduce Parser Application') # Animations. animating_lock is a lock to prevent the demo # from performing new operations while it's animating. self._animating_lock = 0 self._animate = IntVar(self._top) self._animate.set(10) # = medium # The user can hide the grammar. self._show_grammar = IntVar(self._top) self._show_grammar.set(1) # Initialize fonts. self._init_fonts(self._top) # Set up key bindings. self._init_bindings() # Create the basic frames. self._init_menubar(self._top) self._init_buttons(self._top) self._init_feedback(self._top) self._init_grammar(self._top) self._init_canvas(self._top) # A popup menu for reducing. self._reduce_menu = Menu(self._canvas, tearoff=0) # Reset the demo, and set the feedback frame to empty. self.reset() self._lastoper1['text'] = '' ######################################### ## Initialization Helpers ######################################### def _init_fonts(self, root): # See: <http://www.astro.washington.edu/owen/ROTKFolklore.html> self._sysfont = Font(font=Button()["font"]) root.option_add("*Font", self._sysfont) # TWhat's our font size (default=same as sysfont) self._size = IntVar(root) self._size.set(self._sysfont.cget('size')) self._boldfont = Font(family='helvetica', weight='bold', size=self._size.get()) self._font = Font(family='helvetica', size=self._size.get()) def _init_grammar(self, parent): # Grammar view. self._prodframe = listframe = Frame(parent) self._prodframe.pack(fill='both', side='left', padx=2) self._prodlist_label = Label( self._prodframe, font=self._boldfont, text='Available Reductions' ) self._prodlist_label.pack() self._prodlist = Listbox( self._prodframe, selectmode='single', relief='groove', background='white', foreground='#909090', font=self._font, selectforeground='#004040', selectbackground='#c0f0c0', ) self._prodlist.pack(side='right', fill='both', expand=1) self._productions = list(self._parser.grammar().productions()) for production in self._productions: self._prodlist.insert('end', (' %s' % production)) self._prodlist.config(height=min(len(self._productions), 25)) # Add a scrollbar if there are more than 25 productions. if 1: # len(self._productions) > 25: listscroll = Scrollbar(self._prodframe, orient='vertical') self._prodlist.config(yscrollcommand=listscroll.set) listscroll.config(command=self._prodlist.yview) listscroll.pack(side='left', fill='y') # If they select a production, apply it. self._prodlist.bind('<<ListboxSelect>>', self._prodlist_select) # When they hover over a production, highlight it. self._hover = -1 self._prodlist.bind('<Motion>', self._highlight_hover) self._prodlist.bind('<Leave>', self._clear_hover) def _init_bindings(self): # Quit self._top.bind('<Control-q>', self.destroy) self._top.bind('<Control-x>', self.destroy) self._top.bind('<Alt-q>', self.destroy) self._top.bind('<Alt-x>', self.destroy) # Ops (step, shift, reduce, undo) self._top.bind('<space>', self.step) self._top.bind('<s>', self.shift) self._top.bind('<Alt-s>', self.shift) self._top.bind('<Control-s>', self.shift) self._top.bind('<r>', self.reduce) self._top.bind('<Alt-r>', self.reduce) self._top.bind('<Control-r>', self.reduce) self._top.bind('<Delete>', self.reset) self._top.bind('<u>', self.undo) self._top.bind('<Alt-u>', self.undo) self._top.bind('<Control-u>', self.undo) self._top.bind('<Control-z>', self.undo) self._top.bind('<BackSpace>', self.undo) # Misc self._top.bind('<Control-p>', self.postscript) self._top.bind('<Control-h>', self.help) self._top.bind('<F1>', self.help) self._top.bind('<Control-g>', self.edit_grammar) self._top.bind('<Control-t>', self.edit_sentence) # Animation speed control self._top.bind('-', lambda e, a=self._animate: a.set(20)) self._top.bind('=', lambda e, a=self._animate: a.set(10)) self._top.bind('+', lambda e, a=self._animate: a.set(4)) def _init_buttons(self, parent): # Set up the frames. self._buttonframe = buttonframe = Frame(parent) buttonframe.pack(fill='none', side='bottom') Button( buttonframe, text='Step', background='#90c0d0', foreground='black', command=self.step, ).pack(side='left') Button( buttonframe, text='Shift', underline=0, background='#90f090', foreground='black', command=self.shift, ).pack(side='left') Button( buttonframe, text='Reduce', underline=0, background='#90f090', foreground='black', command=self.reduce, ).pack(side='left') Button( buttonframe, text='Undo', underline=0, background='#f0a0a0', foreground='black', command=self.undo, ).pack(side='left') def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command( label='Reset Parser', underline=0, command=self.reset, accelerator='Del' ) filemenu.add_command( label='Print to Postscript', underline=0, command=self.postscript, accelerator='Ctrl-p', ) filemenu.add_command( label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-x' ) menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) editmenu.add_command( label='Edit Grammar', underline=5, command=self.edit_grammar, accelerator='Ctrl-g', ) editmenu.add_command( label='Edit Text', underline=5, command=self.edit_sentence, accelerator='Ctrl-t', ) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) rulemenu = Menu(menubar, tearoff=0) rulemenu.add_command( label='Step', underline=1, command=self.step, accelerator='Space' ) rulemenu.add_separator() rulemenu.add_command( label='Shift', underline=0, command=self.shift, accelerator='Ctrl-s' ) rulemenu.add_command( label='Reduce', underline=0, command=self.reduce, accelerator='Ctrl-r' ) rulemenu.add_separator() rulemenu.add_command( label='Undo', underline=0, command=self.undo, accelerator='Ctrl-u' ) menubar.add_cascade(label='Apply', underline=0, menu=rulemenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_checkbutton( label="Show Grammar", underline=0, variable=self._show_grammar, command=self._toggle_grammar, ) viewmenu.add_separator() viewmenu.add_radiobutton( label='Tiny', variable=self._size, underline=0, value=10, command=self.resize, ) viewmenu.add_radiobutton( label='Small', variable=self._size, underline=0, value=12, command=self.resize, ) viewmenu.add_radiobutton( label='Medium', variable=self._size, underline=0, value=14, command=self.resize, ) viewmenu.add_radiobutton( label='Large', variable=self._size, underline=0, value=18, command=self.resize, ) viewmenu.add_radiobutton( label='Huge', variable=self._size, underline=0, value=24, command=self.resize, ) menubar.add_cascade(label='View', underline=0, menu=viewmenu) animatemenu = Menu(menubar, tearoff=0) animatemenu.add_radiobutton( label="No Animation", underline=0, variable=self._animate, value=0 ) animatemenu.add_radiobutton( label="Slow Animation", underline=0, variable=self._animate, value=20, accelerator='-', ) animatemenu.add_radiobutton( label="Normal Animation", underline=0, variable=self._animate, value=10, accelerator='=', ) animatemenu.add_radiobutton( label="Fast Animation", underline=0, variable=self._animate, value=4, accelerator='+', ) menubar.add_cascade(label="Animate", underline=1, menu=animatemenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label='About', underline=0, command=self.about) helpmenu.add_command( label='Instructions', underline=0, command=self.help, accelerator='F1' ) menubar.add_cascade(label='Help', underline=0, menu=helpmenu) parent.config(menu=menubar) def _init_feedback(self, parent): self._feedbackframe = feedbackframe = Frame(parent) feedbackframe.pack(fill='x', side='bottom', padx=3, pady=3) self._lastoper_label = Label( feedbackframe, text='Last Operation:', font=self._font ) self._lastoper_label.pack(side='left') lastoperframe = Frame(feedbackframe, relief='sunken', border=1) lastoperframe.pack(fill='x', side='right', expand=1, padx=5) self._lastoper1 = Label( lastoperframe, foreground='#007070', background='#f0f0f0', font=self._font ) self._lastoper2 = Label( lastoperframe, anchor='w', width=30, foreground='#004040', background='#f0f0f0', font=self._font, ) self._lastoper1.pack(side='left') self._lastoper2.pack(side='left', fill='x', expand=1) def _init_canvas(self, parent): self._cframe = CanvasFrame( parent, background='white', width=525, closeenough=10, border=2, relief='sunken', ) self._cframe.pack(expand=1, fill='both', side='top', pady=2) canvas = self._canvas = self._cframe.canvas() self._stackwidgets = [] self._rtextwidgets = [] self._titlebar = canvas.create_rectangle( 0, 0, 0, 0, fill='#c0f0f0', outline='black' ) self._exprline = canvas.create_line(0, 0, 0, 0, dash='.') self._stacktop = canvas.create_line(0, 0, 0, 0, fill='#408080') size = self._size.get() + 4 self._stacklabel = TextWidget( canvas, 'Stack', color='#004040', font=self._boldfont ) self._rtextlabel = TextWidget( canvas, 'Remaining Text', color='#004040', font=self._boldfont ) self._cframe.add_widget(self._stacklabel) self._cframe.add_widget(self._rtextlabel) ######################################### ## Main draw procedure ######################################### def _redraw(self): scrollregion = self._canvas['scrollregion'].split() (cx1, cy1, cx2, cy2) = [int(c) for c in scrollregion] # Delete the old stack & rtext widgets. for stackwidget in self._stackwidgets: self._cframe.destroy_widget(stackwidget) self._stackwidgets = [] for rtextwidget in self._rtextwidgets: self._cframe.destroy_widget(rtextwidget) self._rtextwidgets = [] # Position the titlebar & exprline (x1, y1, x2, y2) = self._stacklabel.bbox() y = y2 - y1 + 10 self._canvas.coords(self._titlebar, -5000, 0, 5000, y - 4) self._canvas.coords(self._exprline, 0, y * 2 - 10, 5000, y * 2 - 10) # Position the titlebar labels.. (x1, y1, x2, y2) = self._stacklabel.bbox() self._stacklabel.move(5 - x1, 3 - y1) (x1, y1, x2, y2) = self._rtextlabel.bbox() self._rtextlabel.move(cx2 - x2 - 5, 3 - y1) # Draw the stack. stackx = 5 for tok in self._parser.stack(): if isinstance(tok, Tree): attribs = { 'tree_color': '#4080a0', 'tree_width': 2, 'node_font': self._boldfont, 'node_color': '#006060', 'leaf_color': '#006060', 'leaf_font': self._font, } widget = tree_to_treesegment(self._canvas, tok, **attribs) widget.label()['color'] = '#000000' else: widget = TextWidget(self._canvas, tok, color='#000000', font=self._font) widget.bind_click(self._popup_reduce) self._stackwidgets.append(widget) self._cframe.add_widget(widget, stackx, y) stackx = widget.bbox()[2] + 10 # Draw the remaining text. rtextwidth = 0 for tok in self._parser.remaining_text(): widget = TextWidget(self._canvas, tok, color='#000000', font=self._font) self._rtextwidgets.append(widget) self._cframe.add_widget(widget, rtextwidth, y) rtextwidth = widget.bbox()[2] + 4 # Allow enough room to shift the next token (for animations) if len(self._rtextwidgets) > 0: stackx += self._rtextwidgets[0].width() # Move the remaining text to the correct location (keep it # right-justified, when possible); and move the remaining text # label, if necessary. stackx = max(stackx, self._stacklabel.width() + 25) rlabelwidth = self._rtextlabel.width() + 10 if stackx >= cx2 - max(rtextwidth, rlabelwidth): cx2 = stackx + max(rtextwidth, rlabelwidth) for rtextwidget in self._rtextwidgets: rtextwidget.move(4 + cx2 - rtextwidth, 0) self._rtextlabel.move(cx2 - self._rtextlabel.bbox()[2] - 5, 0) midx = (stackx + cx2 - max(rtextwidth, rlabelwidth)) / 2 self._canvas.coords(self._stacktop, midx, 0, midx, 5000) (x1, y1, x2, y2) = self._stacklabel.bbox() # Set up binding to allow them to shift a token by dragging it. if len(self._rtextwidgets) > 0: def drag_shift(widget, midx=midx, self=self): if widget.bbox()[0] < midx: self.shift() else: self._redraw() self._rtextwidgets[0].bind_drag(drag_shift) self._rtextwidgets[0].bind_click(self.shift) # Draw the stack top. self._highlight_productions() def _draw_stack_top(self, widget): # hack.. midx = widget.bbox()[2] + 50 self._canvas.coords(self._stacktop, midx, 0, midx, 5000) def _highlight_productions(self): # Highlight the productions that can be reduced. self._prodlist.selection_clear(0, 'end') for prod in self._parser.reducible_productions(): index = self._productions.index(prod) self._prodlist.selection_set(index) ######################################### ## Button Callbacks ######################################### def destroy(self, *e): if self._top is None: return self._top.destroy() self._top = None def reset(self, *e): self._parser.initialize(self._sent) self._lastoper1['text'] = 'Reset App' self._lastoper2['text'] = '' self._redraw() def step(self, *e): if self.reduce(): return True elif self.shift(): return True else: if list(self._parser.parses()): self._lastoper1['text'] = 'Finished:' self._lastoper2['text'] = 'Success' else: self._lastoper1['text'] = 'Finished:' self._lastoper2['text'] = 'Failure' def shift(self, *e): if self._animating_lock: return if self._parser.shift(): tok = self._parser.stack()[-1] self._lastoper1['text'] = 'Shift:' self._lastoper2['text'] = '%r' % tok if self._animate.get(): self._animate_shift() else: self._redraw() return True return False def reduce(self, *e): if self._animating_lock: return production = self._parser.reduce() if production: self._lastoper1['text'] = 'Reduce:' self._lastoper2['text'] = '%s' % production if self._animate.get(): self._animate_reduce() else: self._redraw() return production def undo(self, *e): if self._animating_lock: return if self._parser.undo(): self._redraw() def postscript(self, *e): self._cframe.print_to_file() def mainloop(self, *args, **kwargs): """ Enter the Tkinter mainloop. This function must be called if this demo is created from a non-interactive program (e.g. from a secript); otherwise, the demo will close as soon as the script completes. """ if in_idle(): return self._top.mainloop(*args, **kwargs) ######################################### ## Menubar callbacks ######################################### def resize(self, size=None): if size is not None: self._size.set(size) size = self._size.get() self._font.configure(size=-(abs(size))) self._boldfont.configure(size=-(abs(size))) self._sysfont.configure(size=-(abs(size))) # self._stacklabel['font'] = ('helvetica', -size-4, 'bold') # self._rtextlabel['font'] = ('helvetica', -size-4, 'bold') # self._lastoper_label['font'] = ('helvetica', -size) # self._lastoper1['font'] = ('helvetica', -size) # self._lastoper2['font'] = ('helvetica', -size) # self._prodlist['font'] = ('helvetica', -size) # self._prodlist_label['font'] = ('helvetica', -size-2, 'bold') self._redraw() def help(self, *e): # The default font's not very legible; try using 'fixed' instead. try: ShowText( self._top, 'Help: Shift-Reduce Parser Application', (__doc__ or '').strip(), width=75, font='fixed', ) except: ShowText( self._top, 'Help: Shift-Reduce Parser Application', (__doc__ or '').strip(), width=75, ) def about(self, *e): ABOUT = "NLTK Shift-Reduce Parser Application\n" + "Written by Edward Loper" TITLE = 'About: Shift-Reduce Parser Application' try: from six.moves.tkinter_messagebox import Message Message(message=ABOUT, title=TITLE).show() except: ShowText(self._top, TITLE, ABOUT) def edit_grammar(self, *e): CFGEditor(self._top, self._parser.grammar(), self.set_grammar) def set_grammar(self, grammar): self._parser.set_grammar(grammar) self._productions = list(grammar.productions()) self._prodlist.delete(0, 'end') for production in self._productions: self._prodlist.insert('end', (' %s' % production)) def edit_sentence(self, *e): sentence = " ".join(self._sent) title = 'Edit Text' instr = 'Enter a new sentence to parse.' EntryDialog(self._top, sentence, instr, self.set_sentence, title) def set_sentence(self, sent): self._sent = sent.split() # [XX] use tagged? self.reset() ######################################### ## Reduce Production Selection ######################################### def _toggle_grammar(self, *e): if self._show_grammar.get(): self._prodframe.pack( fill='both', side='left', padx=2, after=self._feedbackframe ) self._lastoper1['text'] = 'Show Grammar' else: self._prodframe.pack_forget() self._lastoper1['text'] = 'Hide Grammar' self._lastoper2['text'] = '' def _prodlist_select(self, event): selection = self._prodlist.curselection() if len(selection) != 1: return index = int(selection[0]) production = self._parser.reduce(self._productions[index]) if production: self._lastoper1['text'] = 'Reduce:' self._lastoper2['text'] = '%s' % production if self._animate.get(): self._animate_reduce() else: self._redraw() else: # Reset the production selections. self._prodlist.selection_clear(0, 'end') for prod in self._parser.reducible_productions(): index = self._productions.index(prod) self._prodlist.selection_set(index) def _popup_reduce(self, widget): # Remove old commands. productions = self._parser.reducible_productions() if len(productions) == 0: return self._reduce_menu.delete(0, 'end') for production in productions: self._reduce_menu.add_command(label=str(production), command=self.reduce) self._reduce_menu.post( self._canvas.winfo_pointerx(), self._canvas.winfo_pointery() ) ######################################### ## Animations ######################################### def _animate_shift(self): # What widget are we shifting? widget = self._rtextwidgets[0] # Where are we shifting from & to? right = widget.bbox()[0] if len(self._stackwidgets) == 0: left = 5 else: left = self._stackwidgets[-1].bbox()[2] + 10 # Start animating. dt = self._animate.get() dx = (left - right) * 1.0 / dt self._animate_shift_frame(dt, widget, dx) def _animate_shift_frame(self, frame, widget, dx): if frame > 0: self._animating_lock = 1 widget.move(dx, 0) self._top.after(10, self._animate_shift_frame, frame - 1, widget, dx) else: # but: stacktop?? # Shift the widget to the stack. del self._rtextwidgets[0] self._stackwidgets.append(widget) self._animating_lock = 0 # Display the available productions. self._draw_stack_top(widget) self._highlight_productions() def _animate_reduce(self): # What widgets are we shifting? numwidgets = len(self._parser.stack()[-1]) # number of children widgets = self._stackwidgets[-numwidgets:] # How far are we moving? if isinstance(widgets[0], TreeSegmentWidget): ydist = 15 + widgets[0].label().height() else: ydist = 15 + widgets[0].height() # Start animating. dt = self._animate.get() dy = ydist * 2.0 / dt self._animate_reduce_frame(dt / 2, widgets, dy) def _animate_reduce_frame(self, frame, widgets, dy): if frame > 0: self._animating_lock = 1 for widget in widgets: widget.move(0, dy) self._top.after(10, self._animate_reduce_frame, frame - 1, widgets, dy) else: del self._stackwidgets[-len(widgets) :] for widget in widgets: self._cframe.remove_widget(widget) tok = self._parser.stack()[-1] if not isinstance(tok, Tree): raise ValueError() label = TextWidget( self._canvas, str(tok.label()), color='#006060', font=self._boldfont ) widget = TreeSegmentWidget(self._canvas, label, widgets, width=2) (x1, y1, x2, y2) = self._stacklabel.bbox() y = y2 - y1 + 10 if not self._stackwidgets: x = 5 else: x = self._stackwidgets[-1].bbox()[2] + 10 self._cframe.add_widget(widget, x, y) self._stackwidgets.append(widget) # Display the available productions. self._draw_stack_top(widget) self._highlight_productions() # # Delete the old widgets.. # del self._stackwidgets[-len(widgets):] # for widget in widgets: # self._cframe.destroy_widget(widget) # # # Make a new one. # tok = self._parser.stack()[-1] # if isinstance(tok, Tree): # attribs = {'tree_color': '#4080a0', 'tree_width': 2, # 'node_font': bold, 'node_color': '#006060', # 'leaf_color': '#006060', 'leaf_font':self._font} # widget = tree_to_treesegment(self._canvas, tok.type(), # **attribs) # widget.node()['color'] = '#000000' # else: # widget = TextWidget(self._canvas, tok.type(), # color='#000000', font=self._font) # widget.bind_click(self._popup_reduce) # (x1, y1, x2, y2) = self._stacklabel.bbox() # y = y2-y1+10 # if not self._stackwidgets: x = 5 # else: x = self._stackwidgets[-1].bbox()[2] + 10 # self._cframe.add_widget(widget, x, y) # self._stackwidgets.append(widget) # self._redraw() self._animating_lock = 0 ######################################### ## Hovering. ######################################### def _highlight_hover(self, event): # What production are we hovering over? index = self._prodlist.nearest(event.y) if self._hover == index: return # Clear any previous hover highlighting. self._clear_hover() # If the production corresponds to an available reduction, # highlight the stack. selection = [int(s) for s in self._prodlist.curselection()] if index in selection: rhslen = len(self._productions[index].rhs()) for stackwidget in self._stackwidgets[-rhslen:]: if isinstance(stackwidget, TreeSegmentWidget): stackwidget.label()['color'] = '#00a000' else: stackwidget['color'] = '#00a000' # Remember what production we're hovering over. self._hover = index def _clear_hover(self, *event): # Clear any previous hover highlighting. if self._hover == -1: return self._hover = -1 for stackwidget in self._stackwidgets: if isinstance(stackwidget, TreeSegmentWidget): stackwidget.label()['color'] = 'black' else: stackwidget['color'] = 'black'
class ShiftReduceApp(object): """ A graphical tool for exploring the shift-reduce parser. The tool displays the parser's stack and the remaining text, and allows the user to control the parser's operation. In particular, the user can shift tokens onto the stack, and can perform reductions on the top elements of the stack. A "step" button simply steps through the parsing process, performing the operations that ``nltk.parse.ShiftReduceParser`` would use. """ def __init__(self, grammar, sent, trace=0): self._sent = sent self._parser = SteppingShiftReduceParser(grammar, trace) # Set up the main window. self._top = Tk() self._top.title('Shift Reduce Parser Application') # Animations. animating_lock is a lock to prevent the demo # from performing new operations while it's animating. self._animating_lock = 0 self._animate = IntVar(self._top) self._animate.set(10) # = medium # The user can hide the grammar. self._show_grammar = IntVar(self._top) self._show_grammar.set(1) # Initialize fonts. self._init_fonts(self._top) # Set up key bindings. self._init_bindings() # Create the basic frames. self._init_menubar(self._top) self._init_buttons(self._top) self._init_feedback(self._top) self._init_grammar(self._top) self._init_canvas(self._top) # A popup menu for reducing. self._reduce_menu = Menu(self._canvas, tearoff=0) # Reset the demo, and set the feedback frame to empty. self.reset() self._lastoper1['text'] = '' ######################################### ## Initialization Helpers ######################################### def _init_fonts(self, root): # See: <http://www.astro.washington.edu/owen/ROTKFolklore.html> self._sysfont = Font(font=Button()["font"]) root.option_add("*Font", self._sysfont) # TWhat's our font size (default=same as sysfont) self._size = IntVar(root) self._size.set(self._sysfont.cget('size')) self._boldfont = Font(family='helvetica', weight='bold', size=self._size.get()) self._font = Font(family='helvetica', size=self._size.get()) def _init_grammar(self, parent): # Grammar view. self._prodframe = listframe = Frame(parent) self._prodframe.pack(fill='both', side='left', padx=2) self._prodlist_label = Label( self._prodframe, font=self._boldfont, text='Available Reductions' ) self._prodlist_label.pack() self._prodlist = Listbox( self._prodframe, selectmode='single', relief='groove', background='white', foreground='#909090', font=self._font, selectforeground='#004040', selectbackground='#c0f0c0', ) self._prodlist.pack(side='right', fill='both', expand=1) self._productions = list(self._parser.grammar().productions()) for production in self._productions: self._prodlist.insert('end', (' %s' % production)) self._prodlist.config(height=min(len(self._productions), 25)) # Add a scrollbar if there are more than 25 productions. if 1: # len(self._productions) > 25: listscroll = Scrollbar(self._prodframe, orient='vertical') self._prodlist.config(yscrollcommand=listscroll.set) listscroll.config(command=self._prodlist.yview) listscroll.pack(side='left', fill='y') # If they select a production, apply it. self._prodlist.bind('<<ListboxSelect>>', self._prodlist_select) # When they hover over a production, highlight it. self._hover = -1 self._prodlist.bind('<Motion>', self._highlight_hover) self._prodlist.bind('<Leave>', self._clear_hover) def _init_bindings(self): # Quit self._top.bind('<Control-q>', self.destroy) self._top.bind('<Control-x>', self.destroy) self._top.bind('<Alt-q>', self.destroy) self._top.bind('<Alt-x>', self.destroy) # Ops (step, shift, reduce, undo) self._top.bind('<space>', self.step) self._top.bind('<s>', self.shift) self._top.bind('<Alt-s>', self.shift) self._top.bind('<Control-s>', self.shift) self._top.bind('<r>', self.reduce) self._top.bind('<Alt-r>', self.reduce) self._top.bind('<Control-r>', self.reduce) self._top.bind('<Delete>', self.reset) self._top.bind('<u>', self.undo) self._top.bind('<Alt-u>', self.undo) self._top.bind('<Control-u>', self.undo) self._top.bind('<Control-z>', self.undo) self._top.bind('<BackSpace>', self.undo) # Misc self._top.bind('<Control-p>', self.postscript) self._top.bind('<Control-h>', self.help) self._top.bind('<F1>', self.help) self._top.bind('<Control-g>', self.edit_grammar) self._top.bind('<Control-t>', self.edit_sentence) # Animation speed control self._top.bind('-', lambda e, a=self._animate: a.set(20)) self._top.bind('=', lambda e, a=self._animate: a.set(10)) self._top.bind('+', lambda e, a=self._animate: a.set(4)) def _init_buttons(self, parent): # Set up the frames. self._buttonframe = buttonframe = Frame(parent) buttonframe.pack(fill='none', side='bottom') Button( buttonframe, text='Step', background='#90c0d0', foreground='black', command=self.step, ).pack(side='left') Button( buttonframe, text='Shift', underline=0, background='#90f090', foreground='black', command=self.shift, ).pack(side='left') Button( buttonframe, text='Reduce', underline=0, background='#90f090', foreground='black', command=self.reduce, ).pack(side='left') Button( buttonframe, text='Undo', underline=0, background='#f0a0a0', foreground='black', command=self.undo, ).pack(side='left') def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command( label='Reset Parser', underline=0, command=self.reset, accelerator='Del' ) filemenu.add_command( label='Print to Postscript', underline=0, command=self.postscript, accelerator='Ctrl-p', ) filemenu.add_command( label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-x' ) menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) editmenu.add_command( label='Edit Grammar', underline=5, command=self.edit_grammar, accelerator='Ctrl-g', ) editmenu.add_command( label='Edit Text', underline=5, command=self.edit_sentence, accelerator='Ctrl-t', ) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) rulemenu = Menu(menubar, tearoff=0) rulemenu.add_command( label='Step', underline=1, command=self.step, accelerator='Space' ) rulemenu.add_separator() rulemenu.add_command( label='Shift', underline=0, command=self.shift, accelerator='Ctrl-s' ) rulemenu.add_command( label='Reduce', underline=0, command=self.reduce, accelerator='Ctrl-r' ) rulemenu.add_separator() rulemenu.add_command( label='Undo', underline=0, command=self.undo, accelerator='Ctrl-u' ) menubar.add_cascade(label='Apply', underline=0, menu=rulemenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_checkbutton( label="Show Grammar", underline=0, variable=self._show_grammar, command=self._toggle_grammar, ) viewmenu.add_separator() viewmenu.add_radiobutton( label='Tiny', variable=self._size, underline=0, value=10, command=self.resize, ) viewmenu.add_radiobutton( label='Small', variable=self._size, underline=0, value=12, command=self.resize, ) viewmenu.add_radiobutton( label='Medium', variable=self._size, underline=0, value=14, command=self.resize, ) viewmenu.add_radiobutton( label='Large', variable=self._size, underline=0, value=18, command=self.resize, ) viewmenu.add_radiobutton( label='Huge', variable=self._size, underline=0, value=24, command=self.resize, ) menubar.add_cascade(label='View', underline=0, menu=viewmenu) animatemenu = Menu(menubar, tearoff=0) animatemenu.add_radiobutton( label="No Animation", underline=0, variable=self._animate, value=0 ) animatemenu.add_radiobutton( label="Slow Animation", underline=0, variable=self._animate, value=20, accelerator='-', ) animatemenu.add_radiobutton( label="Normal Animation", underline=0, variable=self._animate, value=10, accelerator='=', ) animatemenu.add_radiobutton( label="Fast Animation", underline=0, variable=self._animate, value=4, accelerator='+', ) menubar.add_cascade(label="Animate", underline=1, menu=animatemenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label='About', underline=0, command=self.about) helpmenu.add_command( label='Instructions', underline=0, command=self.help, accelerator='F1' ) menubar.add_cascade(label='Help', underline=0, menu=helpmenu) parent.config(menu=menubar) def _init_feedback(self, parent): self._feedbackframe = feedbackframe = Frame(parent) feedbackframe.pack(fill='x', side='bottom', padx=3, pady=3) self._lastoper_label = Label( feedbackframe, text='Last Operation:', font=self._font ) self._lastoper_label.pack(side='left') lastoperframe = Frame(feedbackframe, relief='sunken', border=1) lastoperframe.pack(fill='x', side='right', expand=1, padx=5) self._lastoper1 = Label( lastoperframe, foreground='#007070', background='#f0f0f0', font=self._font ) self._lastoper2 = Label( lastoperframe, anchor='w', width=30, foreground='#004040', background='#f0f0f0', font=self._font, ) self._lastoper1.pack(side='left') self._lastoper2.pack(side='left', fill='x', expand=1) def _init_canvas(self, parent): self._cframe = CanvasFrame( parent, background='white', width=525, closeenough=10, border=2, relief='sunken', ) self._cframe.pack(expand=1, fill='both', side='top', pady=2) canvas = self._canvas = self._cframe.canvas() self._stackwidgets = [] self._rtextwidgets = [] self._titlebar = canvas.create_rectangle( 0, 0, 0, 0, fill='#c0f0f0', outline='black' ) self._exprline = canvas.create_line(0, 0, 0, 0, dash='.') self._stacktop = canvas.create_line(0, 0, 0, 0, fill='#408080') size = self._size.get() + 4 self._stacklabel = TextWidget( canvas, 'Stack', color='#004040', font=self._boldfont ) self._rtextlabel = TextWidget( canvas, 'Remaining Text', color='#004040', font=self._boldfont ) self._cframe.add_widget(self._stacklabel) self._cframe.add_widget(self._rtextlabel) ######################################### ## Main draw procedure ######################################### def _redraw(self): scrollregion = self._canvas['scrollregion'].split() (cx1, cy1, cx2, cy2) = [int(c) for c in scrollregion] # Delete the old stack & rtext widgets. for stackwidget in self._stackwidgets: self._cframe.destroy_widget(stackwidget) self._stackwidgets = [] for rtextwidget in self._rtextwidgets: self._cframe.destroy_widget(rtextwidget) self._rtextwidgets = [] # Position the titlebar & exprline (x1, y1, x2, y2) = self._stacklabel.bbox() y = y2 - y1 + 10 self._canvas.coords(self._titlebar, -5000, 0, 5000, y - 4) self._canvas.coords(self._exprline, 0, y * 2 - 10, 5000, y * 2 - 10) # Position the titlebar labels.. (x1, y1, x2, y2) = self._stacklabel.bbox() self._stacklabel.move(5 - x1, 3 - y1) (x1, y1, x2, y2) = self._rtextlabel.bbox() self._rtextlabel.move(cx2 - x2 - 5, 3 - y1) # Draw the stack. stackx = 5 for tok in self._parser.stack(): if isinstance(tok, Tree): attribs = { 'tree_color': '#4080a0', 'tree_width': 2, 'node_font': self._boldfont, 'node_color': '#006060', 'leaf_color': '#006060', 'leaf_font': self._font, } widget = tree_to_treesegment(self._canvas, tok, **attribs) widget.label()['color'] = '#000000' else: widget = TextWidget(self._canvas, tok, color='#000000', font=self._font) widget.bind_click(self._popup_reduce) self._stackwidgets.append(widget) self._cframe.add_widget(widget, stackx, y) stackx = widget.bbox()[2] + 10 # Draw the remaining text. rtextwidth = 0 for tok in self._parser.remaining_text(): widget = TextWidget(self._canvas, tok, color='#000000', font=self._font) self._rtextwidgets.append(widget) self._cframe.add_widget(widget, rtextwidth, y) rtextwidth = widget.bbox()[2] + 4 # Allow enough room to shift the next token (for animations) if len(self._rtextwidgets) > 0: stackx += self._rtextwidgets[0].width() # Move the remaining text to the correct location (keep it # right-justified, when possible); and move the remaining text # label, if necessary. stackx = max(stackx, self._stacklabel.width() + 25) rlabelwidth = self._rtextlabel.width() + 10 if stackx >= cx2 - max(rtextwidth, rlabelwidth): cx2 = stackx + max(rtextwidth, rlabelwidth) for rtextwidget in self._rtextwidgets: rtextwidget.move(4 + cx2 - rtextwidth, 0) self._rtextlabel.move(cx2 - self._rtextlabel.bbox()[2] - 5, 0) midx = (stackx + cx2 - max(rtextwidth, rlabelwidth)) / 2 self._canvas.coords(self._stacktop, midx, 0, midx, 5000) (x1, y1, x2, y2) = self._stacklabel.bbox() # Set up binding to allow them to shift a token by dragging it. if len(self._rtextwidgets) > 0: def drag_shift(widget, midx=midx, self=self): if widget.bbox()[0] < midx: self.shift() else: self._redraw() self._rtextwidgets[0].bind_drag(drag_shift) self._rtextwidgets[0].bind_click(self.shift) # Draw the stack top. self._highlight_productions() def _draw_stack_top(self, widget): # hack.. midx = widget.bbox()[2] + 50 self._canvas.coords(self._stacktop, midx, 0, midx, 5000) def _highlight_productions(self): # Highlight the productions that can be reduced. self._prodlist.selection_clear(0, 'end') for prod in self._parser.reducible_productions(): index = self._productions.index(prod) self._prodlist.selection_set(index) ######################################### ## Button Callbacks ######################################### def destroy(self, *e): if self._top is None: return self._top.destroy() self._top = None def reset(self, *e): self._parser.initialize(self._sent) self._lastoper1['text'] = 'Reset App' self._lastoper2['text'] = '' self._redraw() def step(self, *e): if self.reduce(): return True elif self.shift(): return True else: if list(self._parser.parses()): self._lastoper1['text'] = 'Finished:' self._lastoper2['text'] = 'Success' else: self._lastoper1['text'] = 'Finished:' self._lastoper2['text'] = 'Failure' def shift(self, *e): if self._animating_lock: return if self._parser.shift(): tok = self._parser.stack()[-1] self._lastoper1['text'] = 'Shift:' self._lastoper2['text'] = '%r' % tok if self._animate.get(): self._animate_shift() else: self._redraw() return True return False def reduce(self, *e): if self._animating_lock: return production = self._parser.reduce() if production: self._lastoper1['text'] = 'Reduce:' self._lastoper2['text'] = '%s' % production if self._animate.get(): self._animate_reduce() else: self._redraw() return production def undo(self, *e): if self._animating_lock: return if self._parser.undo(): self._redraw() def postscript(self, *e): self._cframe.print_to_file() def mainloop(self, *args, **kwargs): """ Enter the Tkinter mainloop. This function must be called if this demo is created from a non-interactive program (e.g. from a secript); otherwise, the demo will close as soon as the script completes. """ if in_idle(): return self._top.mainloop(*args, **kwargs) ######################################### ## Menubar callbacks ######################################### def resize(self, size=None): if size is not None: self._size.set(size) size = self._size.get() self._font.configure(size=-(abs(size))) self._boldfont.configure(size=-(abs(size))) self._sysfont.configure(size=-(abs(size))) # self._stacklabel['font'] = ('helvetica', -size-4, 'bold') # self._rtextlabel['font'] = ('helvetica', -size-4, 'bold') # self._lastoper_label['font'] = ('helvetica', -size) # self._lastoper1['font'] = ('helvetica', -size) # self._lastoper2['font'] = ('helvetica', -size) # self._prodlist['font'] = ('helvetica', -size) # self._prodlist_label['font'] = ('helvetica', -size-2, 'bold') self._redraw() def help(self, *e): # The default font's not very legible; try using 'fixed' instead. try: ShowText( self._top, 'Help: Shift-Reduce Parser Application', (__doc__ or '').strip(), width=75, font='fixed', ) except: ShowText( self._top, 'Help: Shift-Reduce Parser Application', (__doc__ or '').strip(), width=75, ) def about(self, *e): ABOUT = "NLTK Shift-Reduce Parser Application\n" + "Written by Edward Loper" TITLE = 'About: Shift-Reduce Parser Application' try: from six.moves.tkinter_messagebox import Message Message(message=ABOUT, title=TITLE).show() except: ShowText(self._top, TITLE, ABOUT) def edit_grammar(self, *e): CFGEditor(self._top, self._parser.grammar(), self.set_grammar) def set_grammar(self, grammar): self._parser.set_grammar(grammar) self._productions = list(grammar.productions()) self._prodlist.delete(0, 'end') for production in self._productions: self._prodlist.insert('end', (' %s' % production)) def edit_sentence(self, *e): sentence = " ".join(self._sent) title = 'Edit Text' instr = 'Enter a new sentence to parse.' EntryDialog(self._top, sentence, instr, self.set_sentence, title) def set_sentence(self, sent): self._sent = sent.split() # [XX] use tagged? self.reset() ######################################### ## Reduce Production Selection ######################################### def _toggle_grammar(self, *e): if self._show_grammar.get(): self._prodframe.pack( fill='both', side='left', padx=2, after=self._feedbackframe ) self._lastoper1['text'] = 'Show Grammar' else: self._prodframe.pack_forget() self._lastoper1['text'] = 'Hide Grammar' self._lastoper2['text'] = '' def _prodlist_select(self, event): selection = self._prodlist.curselection() if len(selection) != 1: return index = int(selection[0]) production = self._parser.reduce(self._productions[index]) if production: self._lastoper1['text'] = 'Reduce:' self._lastoper2['text'] = '%s' % production if self._animate.get(): self._animate_reduce() else: self._redraw() else: # Reset the production selections. self._prodlist.selection_clear(0, 'end') for prod in self._parser.reducible_productions(): index = self._productions.index(prod) self._prodlist.selection_set(index) def _popup_reduce(self, widget): # Remove old commands. productions = self._parser.reducible_productions() if len(productions) == 0: return self._reduce_menu.delete(0, 'end') for production in productions: self._reduce_menu.add_command(label=str(production), command=self.reduce) self._reduce_menu.post( self._canvas.winfo_pointerx(), self._canvas.winfo_pointery() ) ######################################### ## Animations ######################################### def _animate_shift(self): # What widget are we shifting? widget = self._rtextwidgets[0] # Where are we shifting from & to? right = widget.bbox()[0] if len(self._stackwidgets) == 0: left = 5 else: left = self._stackwidgets[-1].bbox()[2] + 10 # Start animating. dt = self._animate.get() dx = (left - right) * 1.0 / dt self._animate_shift_frame(dt, widget, dx) def _animate_shift_frame(self, frame, widget, dx): if frame > 0: self._animating_lock = 1 widget.move(dx, 0) self._top.after(10, self._animate_shift_frame, frame - 1, widget, dx) else: # but: stacktop?? # Shift the widget to the stack. del self._rtextwidgets[0] self._stackwidgets.append(widget) self._animating_lock = 0 # Display the available productions. self._draw_stack_top(widget) self._highlight_productions() def _animate_reduce(self): # What widgets are we shifting? numwidgets = len(self._parser.stack()[-1]) # number of children widgets = self._stackwidgets[-numwidgets:] # How far are we moving? if isinstance(widgets[0], TreeSegmentWidget): ydist = 15 + widgets[0].label().height() else: ydist = 15 + widgets[0].height() # Start animating. dt = self._animate.get() dy = ydist * 2.0 / dt self._animate_reduce_frame(dt / 2, widgets, dy) def _animate_reduce_frame(self, frame, widgets, dy): if frame > 0: self._animating_lock = 1 for widget in widgets: widget.move(0, dy) self._top.after(10, self._animate_reduce_frame, frame - 1, widgets, dy) else: del self._stackwidgets[-len(widgets) :] for widget in widgets: self._cframe.remove_widget(widget) tok = self._parser.stack()[-1] if not isinstance(tok, Tree): raise ValueError() label = TextWidget( self._canvas, str(tok.label()), color='#006060', font=self._boldfont ) widget = TreeSegmentWidget(self._canvas, label, widgets, width=2) (x1, y1, x2, y2) = self._stacklabel.bbox() y = y2 - y1 + 10 if not self._stackwidgets: x = 5 else: x = self._stackwidgets[-1].bbox()[2] + 10 self._cframe.add_widget(widget, x, y) self._stackwidgets.append(widget) # Display the available productions. self._draw_stack_top(widget) self._highlight_productions() # # Delete the old widgets.. # del self._stackwidgets[-len(widgets):] # for widget in widgets: # self._cframe.destroy_widget(widget) # # # Make a new one. # tok = self._parser.stack()[-1] # if isinstance(tok, Tree): # attribs = {'tree_color': '#4080a0', 'tree_width': 2, # 'node_font': bold, 'node_color': '#006060', # 'leaf_color': '#006060', 'leaf_font':self._font} # widget = tree_to_treesegment(self._canvas, tok.type(), # **attribs) # widget.node()['color'] = '#000000' # else: # widget = TextWidget(self._canvas, tok.type(), # color='#000000', font=self._font) # widget.bind_click(self._popup_reduce) # (x1, y1, x2, y2) = self._stacklabel.bbox() # y = y2-y1+10 # if not self._stackwidgets: x = 5 # else: x = self._stackwidgets[-1].bbox()[2] + 10 # self._cframe.add_widget(widget, x, y) # self._stackwidgets.append(widget) # self._redraw() self._animating_lock = 0 ######################################### ## Hovering. ######################################### def _highlight_hover(self, event): # What production are we hovering over? index = self._prodlist.nearest(event.y) if self._hover == index: return # Clear any previous hover highlighting. self._clear_hover() # If the production corresponds to an available reduction, # highlight the stack. selection = [int(s) for s in self._prodlist.curselection()] if index in selection: rhslen = len(self._productions[index].rhs()) for stackwidget in self._stackwidgets[-rhslen:]: if isinstance(stackwidget, TreeSegmentWidget): stackwidget.label()['color'] = '#00a000' else: stackwidget['color'] = '#00a000' # Remember what production we're hovering over. self._hover = index def _clear_hover(self, *event): # Clear any previous hover highlighting. if self._hover == -1: return self._hover = -1 for stackwidget in self._stackwidgets: if isinstance(stackwidget, TreeSegmentWidget): stackwidget.label()['color'] = 'black' else: stackwidget['color'] = 'black'
class Game(Frame): '''Top-level Frame managing top-level events. Interact directly with user.''' ############ geometry ############### X_PADDING = 25 Y_PADDING = 25 SHIP_PANEL_WIDTH = 150 BUTTON_PANEL_HEIGHT = 50 BUTTON_PADDING = 5 WARNING_BAR_HEIGHT = 40 ##################################### ########### states ################## PLACING = 0 PLAYING = 1 GAME_OVER = 2 ##################################### ############ colors ################# BACKGROUND_COLOR = "white" WARNING_BACKGROUND = "khaki1" ##################################### ###### window titles and messages ################ GAME_OVER_POPUP_TITLE = "Game Over" GAME_OVER_WIN_MSG = "You win!" GAME_OVER_LOSE_MSG = "Game over. You lose." WINDOW_TITLE_GAME_OVER = "Battleship (Game Over)" WINDOW_TITLE_NORMAL = "Battleship" ################################################## def __init__(self, master): '''Create the UI for a game of battleship.''' Frame.__init__(self, master) self._create_ui() # these are 'controller' elements that should really be in another class self.ai = ShipAI(self.their_grid._model, self.my_grid._model) self.reset() def show_warning(self, msg, title=None): '''Show a warning msg that a certain action is illegal. Allows user to understand what's going on (i.e. why their action failed. ''' tkMessageBox.showwarning(title, msg) def _create_ui(self): '''Create all UI elements for the game.''' self._create_menu() self._add_grids() self._add_staging_panel() self._addship_panels() self._make_buttons() self.config(height=self.Y_PADDING * 3 + self.my_grid.size + self.BUTTON_PANEL_HEIGHT + self.WARNING_BAR_HEIGHT) self.set_all_bgs(self.BACKGROUND_COLOR, self) def _destroy_popup(self, event=None): '''Process removal of the popup.''' self.master.focus_set() self._popup.grab_release() self._popup.destroy() def _show_rules(self): '''Show the help dialog in a new window.''' # load the help page help_page_location = "help/rules.txt" f = open(help_page_location, "r") lines = f.read() f.close() tkMessageBox.showinfo("Rules", lines) def show_keyboard_shortcuts(self): '''Show a dialog box with the keyboard shortcuts.''' # load the keyboard shortcuts page ks_page_location = "help/keyboard_shortcuts.txt" f = open(ks_page_location, "r") lines = f.read() f.close() tkMessageBox.showinfo("Keyboard Shortcuts", lines) def _create_menu(self): '''Create the menu in the GUI.''' menubar = Menu(self) self.menus = {} count = 0 self.file_menu = Menu(menubar, tearoff=0) self.file_menu.add_command(label="New Game") #, command=self.reset) self.menus["file_new_game"] = count count += 1 self.file_menu.add_command(label="Save") self.menus["file_save"] = count count += 1 self.file_menu.add_command(label="Open") self.menus["file_open"] = count count += 1 self.file_menu.add_command( label="Exit") #, command=self.master.destroy) self.menus["file_exit"] = count count += 1 menubar.add_cascade(label="File", menu=self.file_menu) if battleship.GameController.DEV_FLAG: count = 0 self.dev_menu = Menu(menubar, tearoff=0) self.dev_menu.add_command(label="Auto Place") self.menus["dev_auto_place"] = count count += 1 self.dev_menu.add_command(label="Random Shot") self.menus["dev_random_shot"] = count count += 1 self.dev_menu.add_command(label="Auto Load") self.menus["dev_auto_load"] = count count += 1 menubar.add_cascade(label="Dev", menu=self.dev_menu) help_menu = Menu(menubar, tearoff=0) help_menu.add_command(label="Rules", command=self._show_rules) help_menu.add_command(label="Keyboard Shortcuts", command=self.show_keyboard_shortcuts) menubar.add_cascade(label="Help", menu=help_menu) self.master.config(menu=menubar) def _add_staging_panel(self): '''Create the placement/ship staging panel.''' self.my_grid_frame.staging_panel = ShipPlacementPanel(self) self.my_grid_frame.staging_panel.place( x=self.X_PADDING * 2 + self.SHIP_PANEL_WIDTH + self.my_grid.size, y=self.Y_PADDING) def set_all_bgs(self, color, parent): '''Set all the backgrounds of the child widgets to a certain color.''' parent.config(background=color) for child in parent.winfo_children(): self.set_all_bgs(color, child) def _addship_panels(self): '''Add a list of ships to select from, for adding. Note that staging area must be added FIRST''' ############################## ShipPanel ######################## self.my_grid_frame.ship_panel = ShipPanel(self) self.my_grid_frame.ship_panel.place(x=self.X_PADDING, y=self.Y_PADDING * 4) self.unselect_ship() ################################################################## ###################### ShipWarPanel ############################## self.my_grid_frame._ship_war_panel = ShipWarPanel(self) self.my_grid_frame._ship_war_panel.config( height=self.my_grid_frame.winfo_height()) self.my_grid_frame._ship_war_panel.place(x=self.X_PADDING, y=self.Y_PADDING * 2) ################################################################## ###################### EnemyShipPanel ############################ self.their_grid_frame.ship_panel = EnemyShipPanel(self) self.their_grid_frame.ship_panel.place(x=self.my_grid.size * 2 + self.X_PADDING * 3 + self.SHIP_PANEL_WIDTH, y=self.Y_PADDING * 4) ################################################################## def unselect_ship(self): '''Deselect all ships in the placement and staging GUIs.''' self.my_grid_frame.ship_panel._ship_var.set(10) self.my_grid_frame.staging_panel.reset() def _hide_frame(self, frame): '''Since you can't hide a frame per se, 'unpack' the frame's child widgets. WARNING: this removes all packing directions for children''' frame.lower() for child in frame.winfo_children(): child.pack_forget() def show_game_over_popup(self, winner): '''Show a popup with a dialog saying the game is over, and showing the winning player.''' msg = { battleship.GameController.HUMAN_PLAYER: self.GAME_OVER_WIN_MSG, battleship.GameController.AI_PLAYER: self.GAME_OVER_LOSE_MSG }[winner] tkMessageBox.showinfo(self.GAME_OVER_POPUP_TITLE, msg) def process_placing_state(self): '''Basic stuff to do during placing state.''' self.config(width=self.X_PADDING * 3 + self.my_grid.size + self.SHIP_PANEL_WIDTH + self.my_grid_frame.staging_panel.CANVAS_WIDTH) # show staging panel self.my_grid_frame.staging_panel.pack_ui() self.my_grid_frame.staging_panel.lift(aboveThis=self.their_grid_frame) self.my_grid_frame.staging_panel.reset() #re-pack self.play_game_button.pack(side=LEFT, padx=self.BUTTON_PADDING, pady=self.BUTTON_PADDING) self.play_game_button.config(state=DISABLED) self._hide_frame(self.their_grid_frame) self._hide_frame(self.my_grid_frame._ship_war_panel) self.my_grid_frame.ship_panel.lift( aboveThis=self.my_grid_frame._ship_war_panel) # allow the AI to place ships self.ai.place_ships() def process_playing_state(self): '''Basic stuff to do during playing state.''' self.config(width=self.X_PADDING * 4 + self.my_grid.size * 2 + self.SHIP_PANEL_WIDTH * 2) self.my_grid._model.finalize() self.their_grid._model.finalize() self._hide_frame(self.my_grid_frame.staging_panel) self.their_grid.config(state=NORMAL) self.their_grid.enable() # hide while playing self.play_game_button.pack_forget() self.unselect_ship() self.my_grid_frame._ship_war_panel.pack_ui() self.my_grid_frame._ship_war_panel.lift( aboveThis=self.my_grid_frame.ship_panel) # show opponent's grid self.their_grid_frame.lift(aboveThis=self.my_grid_frame.staging_panel) self.their_grid_label.pack() self.their_grid.pack(side=LEFT, pady=20) def process_game_over_state(self): '''Change the view to reflect the game is over.''' self.their_grid.disable() self.master.title(self.WINDOW_TITLE_GAME_OVER) def process_state(self): '''Simple state controller to enable and disable certain widgets depending on the state.''' if self._state == self.PLACING: self.process_placing_state() elif self._state == self.PLAYING: self.process_playing_state() elif self._state == self.GAME_OVER: self.process_game_over_state() def _add_grid_events(self): '''Add events to the grids.''' #self.their_grid.tag_bind("tile", "<Button-1>", self._shot) pass def _add_grids(self): '''Create UI containers for the player grids.''' self.my_grid_frame = PlayerGridFrame(self) self.my_grid_frame.place(x=self.X_PADDING + self.SHIP_PANEL_WIDTH, y=self.Y_PADDING) l1 = Label(self.my_grid_frame, text="Your Grid") l1.pack() self.my_grid = ShipGrid(self.my_grid_frame, True) self.my_grid.pack(side=LEFT, pady=20) self.their_grid_frame = PlayerGridFrame(self) self.their_grid_frame.place(x=self.my_grid.size + self.X_PADDING * 2 + self.SHIP_PANEL_WIDTH, y=self.Y_PADDING) self.their_grid_label = Label(self.their_grid_frame, text="Opponent's Grid") self.their_grid_label.pack() self.their_grid = ShipGrid(self.their_grid_frame, False) self.their_grid.pack(side=LEFT, pady=20) self._add_grid_events() def reset(self): '''New game!''' self.master.title(self.WINDOW_TITLE_NORMAL) # reset selected ship self.unselect_ship() # reset staging area self.my_grid_frame.staging_panel.reset() # reset indicators on ships in panels self.my_grid_frame._ship_war_panel.reset() for ship, button in self.my_grid_frame.ship_panel.ship_buttons.items(): button.config(foreground="black") for x, y in self.my_grid.get_tiles(): self.reset_closure(x, y) self._state = self.PLACING self.process_state() def reset_closure(self, x, y): '''Add a placement event to the given tile. TODO this is badly named''' tag_id = self.my_grid._get_tile_name(x, y) c = self.get_add_ship_callback() f = lambda event: self.add_staged_ship(x, y, c) self.my_grid.tag_bind(tag_id, "<Button-1>", f) def add_staged_ship(self, x, y, callback): '''Take the stage from the staging area, and place it on the board at position (x, y). After ship has been placed, execute the function <callback>.''' s = self.my_grid_frame.staging_panel.get_staged_ship() if s is not None: self.my_grid.add_ship(x, y, s.get_short_name(), s.is_vertical(), callback) def get_add_ship_callback(self): '''Return the callback function for adding a ship.''' return lambda: self.ship_set(self.my_grid_frame.ship_panel. get_current_ship()) def _set_ship_sunk(self, ship): '''This is a callback, to be called when a ship has been sunk. TODO for now only called when one of MY ships is sunk. UI shows that the given ship has been sunk.''' self.my_grid_frame.ship_panel.set_sunk(ship) def _set_ship_hit(self, ship): '''This is a callback, to be called when a ship has been hit. TODO for now only called when one of MY ships is hit. UI shows that the given ship has been hit.''' assert ship is not None self.my_grid_frame._ship_war_panel.update(ship) def ship_set(self, ship): '''This is a callback, to be called when a ship has been placed. UI shows that the given ship has been placed.''' self._set_ships[ship] = True self.my_grid_frame.ship_panel.set_placed(ship) if all(self._set_ships.values()): self.play_game_button.config(state=NORMAL) def _make_buttons(self): '''Create action buttons at the bottom.''' button_row = self.my_grid.size + self.Y_PADDING + ( self.BUTTON_PANEL_HEIGHT - 2 * self.BUTTON_PADDING) button_frame = Frame(self) button_frame.place(x=self.my_grid.size - self.X_PADDING, y=button_row) self.play_game_button = Button(button_frame, text="Play") self.play_game_button.pack(side=LEFT, padx=self.BUTTON_PADDING, pady=self.BUTTON_PADDING) def redraw(self): '''Redraw the GUI, reloading all info from the model. TODO this is a work-in-progress''' # first, figure out the state # are the ships placed? are they sunk? grids = [self.my_grid._model, self.their_grid._model] # set panels to the correct state self.my_grid_frame.ship_panel.redraw(grids[0]) self.my_grid_frame._ship_war_panel.redraw(grids[0]) self.their_grid_frame.ship_panel.redraw(grids[1]) # set the grid to the correct state self.my_grid.redraw(grids[0]) self.their_grid.redraw(grids[1]) if all([g.has_all_ships() for g in grids]) and all([g.all_sunk() for g in grids]): #TODO # state is game over. pass elif all([g.has_all_ships() for g in grids]): self.process_playing_state() else: #TODO # state is placing pass
class Game(Frame): '''Top-level Frame managing top-level events. Interact directly with user.''' ############ geometry ############### X_PADDING = 25 Y_PADDING = 25 SHIP_PANEL_WIDTH = 150 BUTTON_PANEL_HEIGHT = 50 BUTTON_PADDING = 5 WARNING_BAR_HEIGHT = 40 ##################################### ########### states ################## PLACING = 0 PLAYING = 1 GAME_OVER = 2 ##################################### ############ colors ################# BACKGROUND_COLOR = "white" WARNING_BACKGROUND = "khaki1" ##################################### ###### window titles and messages ################ GAME_OVER_POPUP_TITLE = "Game Over" GAME_OVER_WIN_MSG = "You win!" GAME_OVER_LOSE_MSG = "Game over. You lose." WINDOW_TITLE_GAME_OVER = "Battleship (Game Over)" WINDOW_TITLE_NORMAL = "Battleship" ################################################## def __init__(self, master): '''Create the UI for a game of battleship.''' Frame.__init__(self, master) self._create_ui() # these are 'controller' elements that should really be in another class self.ai = ShipAI(self.their_grid._model, self.my_grid._model) self.reset() def show_warning(self, msg, title=None): '''Show a warning msg that a certain action is illegal. Allows user to understand what's going on (i.e. why their action failed. ''' tkMessageBox.showwarning(title, msg) def _create_ui(self): '''Create all UI elements for the game.''' self._create_menu() self._add_grids() self._add_staging_panel() self._addship_panels() self._make_buttons() self.config(height=self.Y_PADDING * 3 + self.my_grid.size + self.BUTTON_PANEL_HEIGHT + self.WARNING_BAR_HEIGHT) self.set_all_bgs(self.BACKGROUND_COLOR, self) def _destroy_popup(self, event=None): '''Process removal of the popup.''' self.master.focus_set() self._popup.grab_release() self._popup.destroy() def _show_rules(self): '''Show the help dialog in a new window.''' # load the help page help_page_location = "help/rules.txt" f = open(help_page_location, "r") lines = f.read() f.close() tkMessageBox.showinfo("Rules", lines) def show_keyboard_shortcuts(self): '''Show a dialog box with the keyboard shortcuts.''' # load the keyboard shortcuts page ks_page_location = "help/keyboard_shortcuts.txt" f = open(ks_page_location, "r") lines = f.read() f.close() tkMessageBox.showinfo("Keyboard Shortcuts", lines) def _create_menu(self): '''Create the menu in the GUI.''' menubar = Menu(self) self.menus = {} count = 0 self.file_menu = Menu(menubar, tearoff=0) self.file_menu.add_command(label="New Game")#, command=self.reset) self.menus["file_new_game"] = count count += 1 self.file_menu.add_command(label="Save") self.menus["file_save"] = count count += 1 self.file_menu.add_command(label="Open") self.menus["file_open"] = count count += 1 self.file_menu.add_command(label="Exit")#, command=self.master.destroy) self.menus["file_exit"] = count count += 1 menubar.add_cascade(label="File", menu=self.file_menu) if battleship.GameController.DEV_FLAG: count = 0 self.dev_menu = Menu(menubar, tearoff=0) self.dev_menu.add_command(label="Auto Place") self.menus["dev_auto_place"] = count count += 1 self.dev_menu.add_command(label="Random Shot") self.menus["dev_random_shot"] = count count += 1 self.dev_menu.add_command(label="Auto Load") self.menus["dev_auto_load"] = count count += 1 menubar.add_cascade(label="Dev", menu=self.dev_menu) help_menu = Menu(menubar, tearoff=0) help_menu.add_command(label="Rules", command=self._show_rules) help_menu.add_command(label="Keyboard Shortcuts", command=self.show_keyboard_shortcuts) menubar.add_cascade(label="Help", menu=help_menu) self.master.config(menu=menubar) def _add_staging_panel(self): '''Create the placement/ship staging panel.''' self.my_grid_frame.staging_panel = ShipPlacementPanel(self) self.my_grid_frame.staging_panel.place( x=self.X_PADDING * 2 + self.SHIP_PANEL_WIDTH + self.my_grid.size, y=self.Y_PADDING ) def set_all_bgs(self, color, parent): '''Set all the backgrounds of the child widgets to a certain color.''' parent.config(background=color) for child in parent.winfo_children(): self.set_all_bgs(color, child) def _addship_panels(self): '''Add a list of ships to select from, for adding. Note that staging area must be added FIRST''' ############################## ShipPanel ######################## self.my_grid_frame.ship_panel = ShipPanel(self) self.my_grid_frame.ship_panel.place(x=self.X_PADDING, y=self.Y_PADDING * 4) self.unselect_ship() ################################################################## ###################### ShipWarPanel ############################## self.my_grid_frame._ship_war_panel = ShipWarPanel(self) self.my_grid_frame._ship_war_panel.config(height=self.my_grid_frame.winfo_height()) self.my_grid_frame._ship_war_panel.place(x=self.X_PADDING, y=self.Y_PADDING * 2) ################################################################## ###################### EnemyShipPanel ############################ self.their_grid_frame.ship_panel = EnemyShipPanel(self) self.their_grid_frame.ship_panel.place(x=self.my_grid.size * 2 + self.X_PADDING * 3 + self.SHIP_PANEL_WIDTH, y=self.Y_PADDING * 4) ################################################################## def unselect_ship(self): '''Deselect all ships in the placement and staging GUIs.''' self.my_grid_frame.ship_panel._ship_var.set(10) self.my_grid_frame.staging_panel.reset() def _hide_frame(self, frame): '''Since you can't hide a frame per se, 'unpack' the frame's child widgets. WARNING: this removes all packing directions for children''' frame.lower() for child in frame.winfo_children(): child.pack_forget() def show_game_over_popup(self, winner): '''Show a popup with a dialog saying the game is over, and showing the winning player.''' msg = { battleship.GameController. HUMAN_PLAYER : self.GAME_OVER_WIN_MSG, battleship.GameController.AI_PLAYER : self.GAME_OVER_LOSE_MSG } [winner] tkMessageBox.showinfo(self.GAME_OVER_POPUP_TITLE, msg) def process_placing_state(self): '''Basic stuff to do during placing state.''' self.config(width=self.X_PADDING * 3 + self.my_grid.size + self.SHIP_PANEL_WIDTH + self.my_grid_frame.staging_panel.CANVAS_WIDTH) # show staging panel self.my_grid_frame.staging_panel.pack_ui() self.my_grid_frame.staging_panel.lift(aboveThis=self.their_grid_frame) self.my_grid_frame.staging_panel.reset() #re-pack self.play_game_button.pack(side=LEFT, padx=self.BUTTON_PADDING, pady=self.BUTTON_PADDING) self.play_game_button.config(state=DISABLED) self._hide_frame(self.their_grid_frame) self._hide_frame(self.my_grid_frame._ship_war_panel) self.my_grid_frame.ship_panel.lift(aboveThis=self.my_grid_frame._ship_war_panel) # allow the AI to place ships self.ai.place_ships() def process_playing_state(self): '''Basic stuff to do during playing state.''' self.config(width=self.X_PADDING * 4 + self.my_grid.size * 2 + self.SHIP_PANEL_WIDTH * 2) self.my_grid._model.finalize() self.their_grid._model.finalize() self._hide_frame(self.my_grid_frame.staging_panel) self.their_grid.config(state=NORMAL) self.their_grid.enable() # hide while playing self.play_game_button.pack_forget() self.unselect_ship() self.my_grid_frame._ship_war_panel.pack_ui() self.my_grid_frame._ship_war_panel.lift(aboveThis=self.my_grid_frame.ship_panel) # show opponent's grid self.their_grid_frame.lift(aboveThis=self.my_grid_frame.staging_panel) self.their_grid_label.pack() self.their_grid.pack(side=LEFT, pady=20) def process_game_over_state(self): '''Change the view to reflect the game is over.''' self.their_grid.disable() self.master.title(self.WINDOW_TITLE_GAME_OVER) def process_state(self): '''Simple state controller to enable and disable certain widgets depending on the state.''' if self._state == self.PLACING: self.process_placing_state() elif self._state == self.PLAYING: self.process_playing_state() elif self._state == self.GAME_OVER: self.process_game_over_state() def _add_grid_events(self): '''Add events to the grids.''' #self.their_grid.tag_bind("tile", "<Button-1>", self._shot) pass def _add_grids(self): '''Create UI containers for the player grids.''' self.my_grid_frame = PlayerGridFrame(self) self.my_grid_frame.place(x=self.X_PADDING + self.SHIP_PANEL_WIDTH, y=self.Y_PADDING) l1 = Label(self.my_grid_frame, text="Your Grid") l1.pack() self.my_grid = ShipGrid(self.my_grid_frame, True) self.my_grid.pack(side=LEFT, pady=20) self.their_grid_frame = PlayerGridFrame(self) self.their_grid_frame.place(x=self.my_grid.size + self.X_PADDING * 2 + self.SHIP_PANEL_WIDTH, y=self.Y_PADDING) self.their_grid_label = Label(self.their_grid_frame, text="Opponent's Grid") self.their_grid_label.pack() self.their_grid = ShipGrid(self.their_grid_frame, False) self.their_grid.pack(side=LEFT, pady=20) self._add_grid_events() def reset(self): '''New game!''' self.master.title(self.WINDOW_TITLE_NORMAL) # reset selected ship self.unselect_ship() # reset staging area self.my_grid_frame.staging_panel.reset() # reset indicators on ships in panels self.my_grid_frame._ship_war_panel.reset() for ship, button in self.my_grid_frame.ship_panel.ship_buttons.items(): button.config(foreground="black") for x, y in self.my_grid.get_tiles(): self.reset_closure(x, y) self._state = self.PLACING self.process_state() def reset_closure(self, x, y): '''Add a placement event to the given tile. TODO this is badly named''' tag_id = self.my_grid._get_tile_name(x, y) c = self.get_add_ship_callback() f = lambda event: self.add_staged_ship(x, y, c) self.my_grid.tag_bind(tag_id, "<Button-1>", f) def add_staged_ship(self, x, y, callback): '''Take the stage from the staging area, and place it on the board at position (x, y). After ship has been placed, execute the function <callback>.''' s = self.my_grid_frame.staging_panel.get_staged_ship() if s is not None: self.my_grid.add_ship(x, y, s.get_short_name(), s.is_vertical(), callback) def get_add_ship_callback(self): '''Return the callback function for adding a ship.''' return lambda: self.ship_set(self.my_grid_frame.ship_panel.get_current_ship()) def _set_ship_sunk(self, ship): '''This is a callback, to be called when a ship has been sunk. TODO for now only called when one of MY ships is sunk. UI shows that the given ship has been sunk.''' self.my_grid_frame.ship_panel.set_sunk(ship) def _set_ship_hit(self, ship): '''This is a callback, to be called when a ship has been hit. TODO for now only called when one of MY ships is hit. UI shows that the given ship has been hit.''' assert ship is not None self.my_grid_frame._ship_war_panel.update(ship) def ship_set(self, ship): '''This is a callback, to be called when a ship has been placed. UI shows that the given ship has been placed.''' self._set_ships[ship] = True self.my_grid_frame.ship_panel.set_placed(ship) if all(self._set_ships.values()): self.play_game_button.config(state=NORMAL) def _make_buttons(self): '''Create action buttons at the bottom.''' button_row = self.my_grid.size + self.Y_PADDING + (self.BUTTON_PANEL_HEIGHT - 2 * self.BUTTON_PADDING) button_frame = Frame(self) button_frame.place(x=self.my_grid.size - self.X_PADDING, y=button_row) self.play_game_button = Button(button_frame, text="Play") self.play_game_button.pack(side=LEFT, padx=self.BUTTON_PADDING, pady=self.BUTTON_PADDING) def redraw(self): '''Redraw the GUI, reloading all info from the model. TODO this is a work-in-progress''' # first, figure out the state # are the ships placed? are they sunk? grids = [self.my_grid._model, self.their_grid._model] # set panels to the correct state self.my_grid_frame.ship_panel.redraw(grids[0]) self.my_grid_frame._ship_war_panel.redraw(grids[0]) self.their_grid_frame.ship_panel.redraw(grids[1]) # set the grid to the correct state self.my_grid.redraw(grids[0]) self.their_grid.redraw(grids[1]) if all([g.has_all_ships() for g in grids]) and all([g.all_sunk() for g in grids]): #TODO # state is game over. pass elif all([g.has_all_ships() for g in grids]): self.process_playing_state() else: #TODO # state is placing pass
def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command(label="Exit", underline=1, command=self.destroy, accelerator="q") menubar.add_cascade(label="File", underline=0, menu=filemenu) actionmenu = Menu(menubar, tearoff=0) actionmenu.add_command(label="Next", underline=0, command=self.next, accelerator="n, Space") actionmenu.add_command(label="Previous", underline=0, command=self.prev, accelerator="p, Backspace") menubar.add_cascade(label="Action", underline=0, menu=actionmenu) optionmenu = Menu(menubar, tearoff=0) optionmenu.add_checkbutton( label="Remove Duplicates", underline=0, variable=self._glue.remove_duplicates, command=self._toggle_remove_duplicates, accelerator="r", ) menubar.add_cascade(label="Options", underline=0, menu=optionmenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_radiobutton( label="Tiny", variable=self._size, underline=0, value=10, command=self.resize, ) viewmenu.add_radiobutton( label="Small", variable=self._size, underline=0, value=12, command=self.resize, ) viewmenu.add_radiobutton( label="Medium", variable=self._size, underline=0, value=14, command=self.resize, ) viewmenu.add_radiobutton( label="Large", variable=self._size, underline=0, value=18, command=self.resize, ) viewmenu.add_radiobutton( label="Huge", variable=self._size, underline=0, value=24, command=self.resize, ) menubar.add_cascade(label="View", underline=0, menu=viewmenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label="About", underline=0, command=self.about) menubar.add_cascade(label="Help", underline=0, menu=helpmenu) parent.config(menu=menubar)
def _init_menubar(self, parent): menubar = Menu(parent) filemenu = Menu(menubar, tearoff=0) filemenu.add_command(label="Reset Parser", underline=0, command=self.reset, accelerator="Del") filemenu.add_command( label="Print to Postscript", underline=0, command=self.postscript, accelerator="Ctrl-p", ) filemenu.add_command(label="Exit", underline=1, command=self.destroy, accelerator="Ctrl-x") menubar.add_cascade(label="File", underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) editmenu.add_command( label="Edit Grammar", underline=5, command=self.edit_grammar, accelerator="Ctrl-g", ) editmenu.add_command( label="Edit Text", underline=5, command=self.edit_sentence, accelerator="Ctrl-t", ) menubar.add_cascade(label="Edit", underline=0, menu=editmenu) rulemenu = Menu(menubar, tearoff=0) rulemenu.add_command(label="Step", underline=1, command=self.step, accelerator="Space") rulemenu.add_separator() rulemenu.add_command(label="Match", underline=0, command=self.match, accelerator="Ctrl-m") rulemenu.add_command(label="Expand", underline=0, command=self.expand, accelerator="Ctrl-e") rulemenu.add_separator() rulemenu.add_command(label="Backtrack", underline=0, command=self.backtrack, accelerator="Ctrl-b") menubar.add_cascade(label="Apply", underline=0, menu=rulemenu) viewmenu = Menu(menubar, tearoff=0) viewmenu.add_checkbutton( label="Show Grammar", underline=0, variable=self._show_grammar, command=self._toggle_grammar, ) viewmenu.add_separator() viewmenu.add_radiobutton( label="Tiny", variable=self._size, underline=0, value=10, command=self.resize, ) viewmenu.add_radiobutton( label="Small", variable=self._size, underline=0, value=12, command=self.resize, ) viewmenu.add_radiobutton( label="Medium", variable=self._size, underline=0, value=14, command=self.resize, ) viewmenu.add_radiobutton( label="Large", variable=self._size, underline=0, value=18, command=self.resize, ) viewmenu.add_radiobutton( label="Huge", variable=self._size, underline=0, value=24, command=self.resize, ) menubar.add_cascade(label="View", underline=0, menu=viewmenu) animatemenu = Menu(menubar, tearoff=0) animatemenu.add_radiobutton(label="No Animation", underline=0, variable=self._animation_frames, value=0) animatemenu.add_radiobutton( label="Slow Animation", underline=0, variable=self._animation_frames, value=10, accelerator="-", ) animatemenu.add_radiobutton( label="Normal Animation", underline=0, variable=self._animation_frames, value=5, accelerator="=", ) animatemenu.add_radiobutton( label="Fast Animation", underline=0, variable=self._animation_frames, value=2, accelerator="+", ) menubar.add_cascade(label="Animate", underline=1, menu=animatemenu) helpmenu = Menu(menubar, tearoff=0) helpmenu.add_command(label="About", underline=0, command=self.about) helpmenu.add_command(label="Instructions", underline=0, command=self.help, accelerator="F1") menubar.add_cascade(label="Help", underline=0, menu=helpmenu) parent.config(menu=menubar)
def _init_menubar(self): self._result_size = IntVar(self.top) self._cntx_bf_len = IntVar(self.top) self._cntx_af_len = IntVar(self.top) menubar = Menu(self.top) filemenu = Menu(menubar, tearoff=0, borderwidth=0) filemenu.add_command(label='Exit', underline=1, command=self.destroy, accelerator='Ctrl-q') menubar.add_cascade(label='File', underline=0, menu=filemenu) editmenu = Menu(menubar, tearoff=0) rescntmenu = Menu(editmenu, tearoff=0) rescntmenu.add_radiobutton(label='20', variable=self._result_size, underline=0, value=20, command=self.set_result_size) rescntmenu.add_radiobutton(label='50', variable=self._result_size, underline=0, value=50, command=self.set_result_size) rescntmenu.add_radiobutton(label='100', variable=self._result_size, underline=0, value=100, command=self.set_result_size) rescntmenu.invoke(1) editmenu.add_cascade(label='Result Count', underline=0, menu=rescntmenu) cntxmenu = Menu(editmenu, tearoff=0) cntxbfmenu = Menu(cntxmenu, tearoff=0) cntxbfmenu.add_radiobutton(label='60 characters', variable=self._cntx_bf_len, underline=0, value=60, command=self.set_cntx_bf_len) cntxbfmenu.add_radiobutton(label='80 characters', variable=self._cntx_bf_len, underline=0, value=80, command=self.set_cntx_bf_len) cntxbfmenu.add_radiobutton(label='100 characters', variable=self._cntx_bf_len, underline=0, value=100, command=self.set_cntx_bf_len) cntxbfmenu.invoke(1) cntxmenu.add_cascade(label='Before', underline=0, menu=cntxbfmenu) cntxafmenu = Menu(cntxmenu, tearoff=0) cntxafmenu.add_radiobutton(label='70 characters', variable=self._cntx_af_len, underline=0, value=70, command=self.set_cntx_af_len) cntxafmenu.add_radiobutton(label='90 characters', variable=self._cntx_af_len, underline=0, value=90, command=self.set_cntx_af_len) cntxafmenu.add_radiobutton(label='110 characters', variable=self._cntx_af_len, underline=0, value=110, command=self.set_cntx_af_len) cntxafmenu.invoke(1) cntxmenu.add_cascade(label='After', underline=0, menu=cntxafmenu) editmenu.add_cascade(label='Context', underline=0, menu=cntxmenu) menubar.add_cascade(label='Edit', underline=0, menu=editmenu) self.top.config(menu=menubar)