blob: 7190fbe2f74371ff660b8e25805e585a5d2a9f8c (
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
|
.TH OCC 1 "8 Juillet 88"
.SH NAME
occ \- Esterel and Lustre C code producer
.SH SYNOPSIS
.B occ
[ option ] ... [ file ]...
.SH DESCRIPTION
The \fIocc\fR code producer takes as input one or more \fIoc\fR files
and produces standard executable C code.
If there is no input files, the standard input is used.
Typical use is:
.DS
occ < game1.oc
.DE
or
.DS
occ game1.oc
.DE
.LP
The following options are interpreted by \fIocc\fP.
.IP \fB-version\fR 10
Gives the version name and terminates ignoring all others arguments.
.IP \fB-array\fR 10
Arrays of automata are available using the \fB -array\fR option.
.IP \fB-nopack\fR 10
With this option, there is no packaging of input, output and sensor interface
procedures. This option is available for compatibility with old
\fIocc\fR versions.
.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-size\fR 10
Prints size informations into the standard error stream:
how many actions and how many bytes are produced.
.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 .c 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:
occ_out.c.
For instance,
.DS
occ -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.5 $
\&.
.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
|
