Next: The Command ``walk''
Up: The Commands of ``malaga''
Previous: The Command ``tree'' (malaga)
  Contents
Use this command if you want to examine the values of the currently defined
variables. They will be displayed in window on their own. You do not need to
give any arguments, but you can only execute this command if malaga is in
debug mode or if the previous analysis has been stopped by an error in the
rules.
If you are executing the command variables for the first time, or if you
have closed a Variables window that you'd opened before, a window will
open, displaying the values of all variables currently defined.
If there is a Variables window currently opened, the new variable
contents will be displayed in this window.
The Variables window has a menu with some commands:
- Window:
- Here, two items can be selected:
- Export Postscript
:
- Choose this item to convert the variable
display to Postscript and save it as a file.
- Close:
- Choose this item to close the Variables window.
- Font size:
- Choose one of the menu's subitems to change the font size.
- Variables:
- Show selected variables:
- Choose one of the menu's subitems (variable
names) to hide (or show) the corresponding variable.
- Show all variables:
- Choose this item to display all variables that are
currently defined.
- Show no variables:
- Choose this item to suppress the display of all
defined variables.
Next: The Command ``walk''
Up: The Commands of ``malaga''
Previous: The Command ``tree'' (malaga)
  Contents
Bjoern Beutel