Graphical Feedback
|
CPN Tools help
|
Several kinds of graphical feedback are used to provide different kinds of information when editing and analysing a CP-net.
- Speech bubbles
- Status bubbles
- Auras
- Changing cursor icon
Speech Bubbles
A speech bubble is a yellow rectangle that provides context-sensitive information. Some speech bubbles appear automatically, while others appear after a slight delay after the cursor is moved over an appropriate object. For example, moving the cursor over a declaration with a syntax error will cause a speech bubble containing an error message to appear.
Speech bubbles are used to show:
- Error messages during syntax checking.
- Error messages when simulating nets.
- Tool tips for tools in palettes available.
- Detailed information for status bubbles, which are described below
- The result of applying the Evaluate ML tool.
- The full path to a saved net. To see the full path, move the cursor over the name of the net in the index.
To make a speech bubble disappear either click on it, or move the cursor away from the object with which the speech bubble is associated.
Status Bubbles
Status bubbles are colour-coded bubbles that occasionally appear at the bottom of the index. Move the cursor over a status bubble to see the corresponding speech bubble.
Status bubbles have one of the following colours:
- Green indicates that an operation was completed successfully.
- Yellow indicates either a warning or that a stop criteria was fulfilled when calculating a state space
- Red indicates that an error occurred when executing an operation.
- Light purple indicates that a time-consuming operation, such as a long simulation, is currently being executed.
Some status bubble will automatically disappear after a certain amount of time. Red status bubbles will not disappear until you click on them
Auras
Colour-coded auras are used to highlight objects with particular characteristics or to indicate different kinds of relationships between objects. Auras are associated with places, transitions, arcs, inscriptions, declarations, monitors, page tabs, and index entries, such as page names and net names.
Auras have the following colours:
Changing Cursor Icon
The cursor icon changes to indicate which actions can be, or are being, performed. For example:
- The standard cursor is an arrow or just an arrowhead, e.g.
- The hand cursor, i.e.
, indicates that an item can be moved.
- The crossbar cursor indicates that it is possible to edit text.
- The double-headed arrow cursor indicates that an item can be resized. The directions of the arrow heads indicate which direction the item can be resized, e.g.. horizontally
, vertically, or both simultaneously.
- The hourglass cursor indicates that a time-consuming operation, such as opening a net, is being performed.
- After picking up a tool from one of the palettes, the cursor will change to indicate which tool has been picked up.
- For multi-phase tools, i.e. tools that are applied by clicking on more than one object, the cursor will indicate which phase of the tool will be applied next. Examples of multi-phase tools are the assign port-socket tool and the set subpage tool.