rsl(1)                                                         rsl(1)

  NAME
      rsl - check an RSL specification

  SYNOPSIS
      rsl [file ...]

  DESCRIPTION
      rsl is the checker for an  RSL  specification.   File  arguments  are
      taken  to  be RSL modules containing object and operation definitions.
      If no files are specified, then input is taken from stdin.

      Checking is performed in two passes.  The first pass checks for syntax
      errors, reporting any such errors encounted with a message of the form
      "line N: syntax error."

      If the syntax pass detects no errors, then the second pass checks  for
      completeness  and consistency of the defintion.  A message is ouput as
      each object and operation is checked, of the form  "Checking  [object,
      operation]  <name>."   If  a  definition refers to any undefined enti-
      ties, then a message to that effect is output.  For example, if object
      O has component O1, but O1 is not defined, the output message is "Com-
      ponent O1 not defined."

  BUGS
      Superfluous syntax errors are somtimes reported.  Specifically, when a
      syntax  error is detected at say line N, then additional syntax errors
      may be reported at lines shortly after N.   Correcting  the  error  at
      line N will eliminate the superfluous errors that follow.

  SEE ALSO
      Complete documentation on RSL appears in "The RSL Requirements Specifi-
      cation Language, Version 2.0, September 1992".  For Fall 1992,  it  is
      avaialble at the 2nd Edition copy center.