#! /bin/csh -f
###########################################################################
#       PROJECT:        DEMETER
#       MODULE:         CHECKER
#       FILE:           tree-prop
#       SYSTEM:         UNIX 4.3 BSD on sun3
#--------------------------------------------------------------------------
#       COPYRIGHT (c) 1991 Northeastern University
#       Prof. Karl J. Lieberherr
#--------------------------------------------------------------------------
#       AUTHOR:         Christos Stamelos, integerator: Walter Hursch
#
#       DATE:           January, 1991; integrated July 8, 1991
#       REVISED:	March 12, 1991
#			
#--------------------------------------------------------------------------
#       DESCRIPTION: tree-prop [class-dictionary]
#       tree-prop checks whether the given class dictionary has the tree
#       property and whether there is any multiple inheritance. Default 
#       argument is cd-param-exp.
#
###########################################################################

# command line evaluation
# cd = class dictionary
if ($#argv > 1) then
   echo "Usage: tree-prop [class-dictionary]"
   exit (1)
else if ($#argv == 1) then
   set cd = $1
else
   set cd = notmod/cds/cd-param-exp
endif

if (! -r $cd) then
   echo "Tree property checker error: cannot find class dictionary (cd-param-exp)."
   echo "Make sure you are in directory TOP."
   exit (1)
endif


# start tree-prop checker
set PROGRAM      = $0
set PROGRAM_NAME = $PROGRAM:t
set PROGRAM_DIR  = $PROGRAM:h
setenv GEN_DIR        $PROGRAM_DIR/util/$PROGRAM_NAME

$GEN_DIR/`get-cpu`/run-exec $cd