Return to ocdebug.1 CVS log

Up to [Research Unix] / researchv10dc / man / mana

Annotation of researchv10dc/man/mana/ocdebug.1, revision 1.1.1.1

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

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.