next up previous contents
Next: The Command ``walk'' Up: The Commands of ``malaga'' Previous: The Command ``tree'' (malaga)   Contents

The Command ``variables''

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 up previous contents
Next: The Command ``walk'' Up: The Commands of ``malaga'' Previous: The Command ``tree'' (malaga)   Contents
Bjoern Beutel