File menu to manage all or parts of the SIGNAL program on the disk in internal graphical form or textual form.
Tools menu to call the Signal compiler, a prover and a Postcript printing.
load -> graphic: (same as load in Working area contextual menu) load a file content; if this content is a correct binary Signal program or Signal module, it is added at the end of the Working area. A file browser is displayed to allow file selection.
load --> library : reads and loads a Signal file containing icons which are displayed in a specific window. An icon represents an instance of a process model. To insert an icon in your Signal program, you have to click on it and then click in your program. A library is a SIGNAL program and it may be loaded or modified as a SIGNAL program. To create a new icon or a new library, see the manual.
save : save the graphical representation of each model and module that belongs to the Working area declaration list. Each graphical representation is saved in DIR/XX.gpk where XX is its name and DIR is the current directory.
save as : save the graphical representation of each model and module that belongs to the Working area declaration list. For each (currently the last) graphical representation a file browser is displayed to allow the target file selection.
unparse as : unparse each model and module that belongs to the Working area declaration list. For each (currently the last) graphical representation a file browser is displayed to allow the target file selection.
reset : editor reinitialisation.The program is lost after agreement.
quit : Editor exit.
Compile : calls the Signal compiler. To see the different options, click here.
prove :
call prover : calls the Sigali prover. Sigali is run in an Emacs window. Before calling Sigali, you have to compile your Signal program with the z/3z option.
build resolv : includes a Signal program which can resolve algebraic equations. This new program allows to simulate the Signal model and its controler which has been synthesized by Sigali. For that, the editor needs a file XXX.sim which has been created by Sigali (where XXX denotes the name of the Signal program).
print
: What you see in the graphical window
is saved as a PostScript file or sent to the printer.
Edit menu concerning main graphical editing functions.
Draw menu concerning drawing functions which change only the design of the program and not its semantic.
View menu concerning parameters of the displaying.
create
:
when
a process model is created in the hierarchy window, its frame (a
large rectangle) is automaticly created in the canvas. This frame
may contain text (for this, see here)
or may contain graphical objects. These objects are
boxes : to create a sizable box, click inside the frame on an empty area, drag until the good size and click with the middle button.
ports : you can create a port
on the frame; in this case, the port belongs to the model interface
on an internal box
To create an input port, click on a side inside the frame or the box; to create an output port, click on a side outside the frame or the box.
links : to create a link, the first clicked point must be a port. If the second clicked point is
a port : a link is automatically routed between these two points
a box : a convenient port is created and the link is automatically routed
an empty area : this point and the following selected ones until a convenient existing port or a created one (as above) belong to the path of the link.
cut: deletes the selected object and puts it in the background buffer. If the object is
a port : the connected links are deleted
a box : all its internal objects are deleted.
This action can be undone.
copy :The selected object is copied in a background buffer.
paste : The object contained in the background buffer is inserted in the program ; each following selection of a point creates a copy of this object; - a box can be resized, - a port copy creates a port (see 'create') and copies the port declaration if the selected point is not a port, copies only the declaration if the selected point is already a port.
glue :The boxes in the area delimited by dragging from the first selected point to the release point are nested and become internal boxes of the new box; ports and links are automatically added in the new box. This action can be undone.
before the glue after the glue
break:
this action is the dual of the precedent one (glue).
It deletes the clicked box and replaces it by its internal
boxes;This action can be undone.
mapping
: presently,
the mapping is used for architecture descriptions and architecture
compilation in association of the select
action.
box mapping: when you click on a box, the boxes contained in the SELECT buffer are mapped in it. Ports (and links) are created on the clicked box if a selected box has connexions to boxes which are not contained in the buffer.
link mapping : to map a link, you must click tree times : one click on a link, and then on two input-output ports of a box which represents a communication model; then the link is cut, and two new links are created through the model.
end mapping : this action creates the links between the different box mappings, if necessary.
justify : the ports between two selected points belonging to the same side of a box are distributed between these two points. If the two points are close enough, the distribution of all the ports is done on the whole height of the box.This action can be undone.
size : changes the size of the selected box. If the selected point belongs to a corner, the size is modified in the two directions, if the selected point belongs the the center of a border, the size is modified only in one direction. This action can be undone.
move : moves the selected object (port, link or box) to the desired place. This action can be undone.
refresh : refreshes the graphical window.
select : when you click on this button, the SELECT buffer is reset; then, each clicked box (with the left button of the mouse)is inserted in the buffer. The selected boxes are displayed in blue. If you click on a selected box, it is removed from the buffer. At present, this action is only used with the mapping action. In the future, the SELECTED buffer will be used for the cut/copy/paste. To see the selected boxes, click on the button refresh.
halo :
displays, in a mauve tint, the selection area (halo) of the clicked
object (box, port or segment). If the details button is pushed
and, if this object is a port, the halo of the connected links are
displayed; if this object is a box, the halo of all the box links
are displayed. This action is undone by refresh.
box
's halo with details not
pushed
box
's halo with details
pushed
box font : allows to choose the font size and its police for the text displaying in the boxes.
port font : allows to choose the font size and its police for the names of the ports.
details : If this button is pushed, the text is fully displayed in the boxes as far as the boxes are large enough, otherwise only a part of the text is displayed. On the other hand, the state of this button modifies the behavior of the halo button.
names : If this button is pushed, the names of the ports are displayed near the ports, except for the ports which have a declaration of several signals associated with it (in this case, the names of the port are displayed only in the text window).
grid : displayes a grid
icon's bar :
another window : opens another complete window
close window :