Google
 

Trailing-Edge - PDP-10 Archives - decuslib10-12 - 43,50552/forver.opr
There are no other files named forver.opr in the archive.

      This  file  documents  FORVER  version  2.6  and attempts to
      describe some of its limitations so  that  users  can  avoid
      some of these. Consult FORVER.MIC to see how to build FORVER.


         LIMITATIONS IMPOSED BY FORVER ON FORTRAN SOURCE FILES


         1. Keywords  like "SUBROUTINE", "END" and "IF" can only be
            used in the  "normal"  context,  ie.    FORVER  doesn't
            understand  things  like  "IF(3)=1.3".    So  if FORVER
            starts pouring out endless syntax  errors,  this  might
            well be the cause.

         2. Identifiers,  constants,  etc...  cannot  have imbedded
            spaces, and may not be split accross lines (ie. with  a
            continuation  line).  This means that constants in DATA
            statements must be all on one line (each constant  must
            be  on one line, apart from that continuation lines may
            be used freely, with no limit).  An exception  to  this
            are  string  constants  (quoted strings only: Hollerith
            constants still have to be all on the same line).    So
            watch out for this kind of problem.

         3. Similarly,  all "identifier" symbols must have at least
            one separator between them, for instance "DO 10  I=1,5"
            cannot be written as "DO10I=1,5".

         4. Instrinsic  function  names must be explicitly declared
            if they are to be used as normal variable names.    Eg.
            you'll  have  to declare something like "INTEGER ISIGN"
            if you want to write something like "ISIGN = 1".


      This is  about  all  there  is  to  FORVER  in  the  way  of
      restrictions to the FORTRAN syntax.


                    CALLING UP FORVER AND RUNNING IT


      You invoke FORVER with the monitor command:


          .R FORVER


      FORVER will then announce itself and display its prompt:


          FVR>


      To this you must reply with the name of the FORTRAN file you
      wish to verify. The extension is defaulted to ".FOR".

      After  the  file name, you can specify a number of switches,
      whose meaning is explained in more detail in  HLP:FORVER.HLP
      and DOC:FORVER.DOC.

      After  the  source program has been munged by FORVER, and if
                   FORVER.OPR - Notes on using FORVER

      there  are  references  to  routines not defined within this
      source file, You will get  a  prompt  saying  "Search:",  to
      which you must answer one of:


         - ?<return>
           This  will  list the names of the yet undefined routines
           referenced in your program.

         - <return>
           Hitting just the <return>  key  will  forget  about  the
           currently undefined routines and proceed to verify calls
           to  those  that  are defined.  Verification is obviously
           not done for the undefined references.

         - filename
           By specifying a filespec (extension defaults to  ".VTR")
           FORVER   will   search   an   "attribute  library  file"
           containing the  pertinent  information  related  to  the
           routines  defined  there.    Notice  that  this  file is
           generated by default unless disabled by the /VTR  toggle
           switch in the FORVER command line.