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     ! 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.