.TH TREE-PROP 1 "15 October 1993" "Demeter"  "Demeter Software"
     

.SH NAME
tree-prop \- checks for the tree property and for multiple inheritance in a
class dictionary.

.SH SYNOPSIS
.I tree-prop 
[class-dictionary]

.SH DESCRIPTION
.I tree-prop 
is a Demeter utility tool that checks whether a given class dictionary has
the tree property and whether its inheritance hierarchy is single or multiple
inheritance.  It indicates for which classes the violation of the tree
property occurs and which classes have multiple immediate superclasses. This
tool is typically used during the design phase of an object oriented system.
It is expected that the   
.I class dictionary
has previously been checked by the semantic checker (sem-check).

The default input
.I class dictionary
is cd-param-exp which is generated by 
.I sem-check.

.SH SEE ALSO

sem-check(1)

.SH REFERENCES
.I User's Guide for the Demeter System/C++
.br
Walter L. Hursch
.br
Northeastern University, 1993