A complete Exp environment

The previous code suffices for a simple Exp environment. Now we present the specifications for a more complete Exp environment. We have tried to make the environment as modular as possible so that users may borrow ideas for their own environments according to the complexity they desire.

The environment will still contain only one tool, an interpreter, with which we will be able to:

• Evaluate an Exp program in an initial environment that may be empty.
• Trigger evaluation through a popup menu. N.B. During the the evaluation, the popup menu is replaced by another with an Abort button to interrupt the Typol engine.
• Display the initial environment. This graphic interface allows us to edit the initial environment.
• Display the result environment. This view will open automatically after the first evaluation, then reopen if killed.
• Clear the initial and result environments (including the views that display them) from the popup menu.
• Display warning messages from the Typol program in a message display. This service is offered for free by the standard tool network.
• Select a variable name in the source ctedit or either environment display and highlight all occurrences of this variable name in all windows.
• Kill the source ctedit and automatically kill the environment views.

N.B. To visualize the source select that highlights interpreter warnings, you must add the following select resource specifications to the file contrib/Exp/syntax/Exp.rdb:

?.?.visual-color.?.formalism-Exp.?.Format.select-interpreter-messages.background: \resbs
PaleGoldenrod
?.?.visual-mono.?.formalism-Exp.?.Format.select-interpreter-messages.mode: none

Remember to reset the resources.

To realize the above specifications, we may use the same tool structure defined above for the complete environment. The main difference between the simple and complex environment stems from modifications of the tool network.