blob: 149a572b35238783ba986a3309b9160f2e5539cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
.TH OCDEBUG 1 "8 Juillet 88"
.SH NAME
ocdebug \- Esterel and Lustre Debug code producer
.SH SYNOPSIS
.B ocdebug
[ option ] ... [ file ]...
.SH DESCRIPTION
The \fIocdebug\fR code producer takes as input one or more \fIoc\fR files
and produces a human-readable file.
If there is no input files, the standard input is used.
Typical use is:
.DS
ocdebug < game1.oc
.DE
or
.DS
ocdebug game1.oc
.DE
.LP
The following options are interpreted by \fIocdebug\fP.
.IP \fB-version\fR 10
Gives the version name and terminates ignoring all others arguments.
.IP \fB-names\fR 10
With this option, \fIocdebug\fR prints the signal name between brackets
for each present signal test and between braces for each output action
performed in the automaton.
.IP \fB-halts\fR 10
With this option, \fIocdebug\fR prints the haltset of each state after the
keyword: \fBhaltset\fR
.IP \fB-emitted\fR 10
With this option, the list of output or local signals emitted in each
transition is printed out after the keyword: \fBemitted\fR.
.IP \fB-s\fR 10
Silent mode. No output file is generated.
.IP \fB-v\fR 10
Verbose option: gives names of the input module.
.IP \fB-stat\fR 10
Prints statistic informations into the standard error stream:
global time and size of the process.
.IP \fB-memstat\fR 10
Memory state after compiling.
.IP "\fB\-B\fP \fIname\fP" 10
\fIname\fP denotes the output file default base name.
The suffix .debug is added automatically (and possibly a working
directory name --see the following option).
If this option is omitted the output code is printed in file:
ocdebug_out.debug.
For instance,
.DS
ocdebug -B game1 game1.oc
.DE
.IP "\fB\-D\fP \fIdirectory\fP" 10
Specify a directory where the output file will be placed.
The default is the current directory.
.SH FILES
The caller of the command
must have read/write permission for the directories containing
the working files, and execute permission for the occ file.
.SH IDENTIFICATION
.de VL
\\$2
..
Author: A Ressouche,
INRIA,
.sp 0
Sophia-Antipolis, 06600 Valbonne, FRANCE
.sp 0
Revision Number:
$Revision: 1.4 $
\&.
.SH SEE ALSO
Esterel v3 Programming Language Manual
.sp 0
Esterel v3 System Manuals.
.sp 0
strlic (1), iclc(1), lcoc (1).
.sp 0
.SH BUGS
|
