Main Control Panel Help                             Welcome to unravel  Unravel is a software analysis tool for extracting source programstatements relevant to a computation.  The computation is defined asthe state of some program variable at some statement in the program.  This is the main control window for unravel.  Before a slice can becomputed, the source files must be examined (analyzed) to build thedata structures needed to compute a program slice.  The main panel has several buttons to invoke each part of unravel,review results and ask to see this help file.  The main panel alsodisplays the analysis status of each source file in the current directory.  A typical unravel session would require the following:(1) Preparation -- Load the source files into a directory(2) Run the unravel program -- This brings up the main control window(3) Run the Analyzer -- Push the Run Analyzer button.  This brings upthe analyzer panel where the files to analyze are selected.  From theanalyzer panel, the button Analyze Selected Files will run theanalyzer on the selected files.  This builds data structures andsupport files needed to perform slicing.  If any source does notcontain ANSI C unravel cannot analyze that file.  (4) Review analysis results -- Examine the analysis results by pushingthe REVIEW HISTORY button and selecting Last Analysis from the menu.This brings up the results of the last run of the analyzer.(5) Run the Slicer  -- Push the Run Slicer button.  This brings up theslicer panel.  From this panel you can calculate slices on the sourceprograms.Version: @(#)unravel.help	1.2  9/23/94