|
|
|
_get_text_height(self)
Get the height of a line of text |
source code
|
|
|
|
|
_visit(self,
expression,
x,
y)
Return the bottom-rightmost point without actually drawing the item |
source code
|
|
|
|
|
|
|
_handle(self,
expression,
command,
x=0,
y=0)
Returns:
the bottom-rightmost point |
source code
|
|
|
_handle_VariableExpression(self,
expression,
command,
x,
y) |
source code
|
|
|
_handle_NegatedExpression(self,
expression,
command,
x,
y) |
source code
|
|
|
_handle_DRS(self,
expression,
command,
x,
y) |
source code
|
|
|
_handle_ApplicationExpression(self,
expression,
command,
x,
y) |
source code
|
|
|
_handle_LambdaExpression(self,
expression,
command,
x,
y) |
source code
|
|
|
_handle_BooleanExpression(self,
expression,
command,
x,
y) |
source code
|
|
|
_get_centered_top(self,
top,
full_height,
item_height)
Get the y-coordinate of the point that a figure should start at if
its height is 'item_height' and it needs to be centered in an area
that starts at 'top' and is 'full_height' tall. |
source code
|
|