Package nltk_lite :: Package draw :: Class SymbolWidget
[show private | hide private]
[frames | no frames]

Type SymbolWidget

  object --+        
           |        
CanvasWidget --+    
               |    
      TextWidget --+
                   |
                  SymbolWidget


A canvas widget that displays special symbols, such as the negation sign and the exists operator. Symbols are specified by name. Currently, the following symbol names are defined: neg, disj, conj, lambda, merge, forall, exists, subseteq, subset, notsubset, emptyset, imp, rightarrow, equal, notequal, epsilon.

Attributes:
Method Summary
  __init__(self, canvas, symbol, **attribs)
Create a new symbol widget.
string __repr__(self)
Return a string representation of this canvas widget.
  set_symbol(self, symbol)
Change the symbol that is displayed by this symbol widget.
string symbol(self)
Return the name of the symbol that is displayed by this symbol widget.
  symbolsheet(size)
Open a new Tkinter window that displays the entire alphabet for the symbol font. (Static method)
Inherited from TextWidget: __getitem__, __setitem__, set_text, text
Inherited from CanvasWidget: bbox, bind_click, bind_drag, canvas, child_widgets, destroy, height, hidden, hide, manage, move, moveto, parent, show, tags, unbind_click, unbind_drag, update, width
Inherited from object: __delattr__, __getattribute__, __hash__, __new__, __reduce__, __reduce_ex__, __setattr__, __str__

Class Variable Summary
dict SYMBOLS: A dictionary mapping from symbols to the character in the symbol font used to render them.

Instance Method Details

__init__(self, canvas, symbol, **attribs)
(Constructor)

Create a new symbol widget.
Parameters:
canvas - This canvas widget's canvas.
           (type=Tkinter.Canvas)
symbol - The name of the symbol to display.
           (type=string)
attribs - The new canvas widget's attributes.
Overrides:
nltk_lite.draw.TextWidget.__init__

__repr__(self)
(Representation operator)

Returns:
a string representation of this canvas widget.
           (type=string)
Overrides:
nltk_lite.draw.TextWidget.__repr__ (inherited documentation)

set_symbol(self, symbol)

Change the symbol that is displayed by this symbol widget.
Parameters:
symbol - The name of the symbol to display.
           (type=string)

symbol(self)

Returns:
the name of the symbol that is displayed by this symbol widget.
           (type=string)

Static Method Details

symbolsheet(size=20)

Open a new Tkinter window that displays the entire alphabet for the symbol font. This is useful for constructing the SymbolWidget.SYMBOLS dictionary.

Class Variable Details

SYMBOLS

A dictionary mapping from symbols to the character in the symbol font used to render them.
Type:
dict
Value:
{'conj': '\xd9',
 'disj': '\xda',
 'emptyset': '\xc6',
 'epsilon': 'e',
 'equal': '=',
 'exists': '$',
 'forall': '"',
 'imp': '\xde',
...                                                                    

Generated by Epydoc 2.1 on Tue Sep 5 09:37:21 2006 http://epydoc.sf.net