html/man_checksuif.1.html

   1 <!-- manual page source format generated by PolyglotMan v3.0.7, -->
   2 <!-- available via anonymous ftp from ftp.cs.berkeley.edu:/ucb/people/phelps/tcltk/rman.tar.Z -->
   3
   4 <HTML>
   5 <HEAD>
   6 <TITLE>Man page for checksuif.1</TITLE>
   7 </HEAD>
   8 <BODY bgcolor=white>
   9 <A HREF="#toc">Table of Contents</A><P>
  10
  11 <H2><A NAME="sect0" HREF="#toc0">Name</A></H2>
  12
  13 <P>
  14 checksuif - check the legality of a SUIF file
  15
  16 <H2><A NAME="sect1" HREF="#toc1"><B>Synopsis</B></A></H2>
  17
  18 <P>
  19 <B>checksuif</B> [ <I>options</I> ] <I>infile</I> <I>...</I>
  20
  21 <H2><A NAME="sect2" HREF="#toc2"><B>Description</B></A></H2>
  22
  23 <P>
  24 There are many rules about what is and is not allowed in a
  25 SUIF file, and only some of these are checked by the SUIF
  26 library because there would be a lot of overhead involved
  27 in checking every rule all the time. The <I>checksuif</I> program
  28 exists as a separate pass to check more of these
  29 rules only when necessary for debugging. It reads the
  30 specified files and performs various checks on the legality
  31 of the SUIF code they contain. If any problems are
  32 found, a diagnostic message is printed to standard output.
  33 <P>
  34 All the checking routines run by <I>checksuif</I> are available
  35 for user programs to run internally in the <I>check</I> library.
  36
  37 <H2><A NAME="sect3" HREF="#toc3"><B>Options</B></A></H2>
  38
  39 <P>
  40 <B>-warn</B> Only print a warning message when a problem is
  41 found, and continue checking the program and eventually
  42 terminate normally, instead of aborting.
  43 This is the default.
  44
  45 <DL>
  46
  47 <DT><B>-fail</B> </DT></DT>
  48 <DD>Print an error message and exit with an error condition
  49 when any problem is found.
  50 </DD>
  51
  52 <DT><B>-verboase</B></DT></DT>
  53 <DD>
  54 <B>-v</B>
  55 </DD>
  56
  57 <DT><B>-V</B> </DT></DT>
  58 <DD>    Any of these three flags has the same meaning:
  59 write verbose output to standard error that
  60 describes what checksuif is doing, whether or not
  61 problems are found.
  62 </DD>
  63 </DL>
  64
  65 <H2><A NAME="sect4" HREF="#toc4"><B>History</B></A></H2>
  66
  67 <P>
  68 Bob Wilson wrote the type checking part and Chris Wilson
  69 added some other checks.
  70 <P>
  71
  72 <HR><P>
  73 <A NAME="toc"><B>Table of Contents</B></A><P>
  74 <UL>
  75 <LI><A NAME="toc0" HREF="#sect0">Name</A></LI>
  76 <LI><A NAME="toc1" HREF="#sect1">Synopsis</A></LI>
  77 <LI><A NAME="toc2" HREF="#sect2">Description</A></LI>
  78 <LI><A NAME="toc3" HREF="#sect3">Options</A></LI>
  79 <LI><A NAME="toc4" HREF="#sect4">History</A></LI>
  80 </UL>
  81 </BODY></HTML>