Inspector_Dialog

A dialog inspector allows textual editing of SAL object states. The current implementation only edits fields, setting up the dialog with a separate line for each field. The dialog is then invoked for a particular object in the field's domain.

Implementations:

• Inspector_Dialog
  Basic implementation.
  Constructor args: a dialog instance.
• Inspector_Dialog_Tk
  Creates a Tk dialog.
  Constructor args: UI_Tk, window name.

• set_entry_name : Inspector_Dialog . Field . string -> void
  Sets the name by which the field is to be edited.