//
// $Log: inherits.pp,v $
// Revision 5.5.1.1  1994/08/24  19:32:36  demeter
// *** empty log message ***
//
// Revision 5.5  1994/08/24  19:32:35  demeter
// *** empty log message ***
//
// Revision 5.4.1.1  1994/02/20  19:53:43  demeter
// *** empty log message ***
//
// Revision 5.4  1994/02/20  19:53:42  demeter
// *** empty log message ***
//
// Revision 5.3.1.1  1994/01/26  20:08:14  demeter
// *** empty log message ***
//
// Revision 5.3  1994/01/26  20:08:13  demeter
// *** empty log message ***
//
// Revision 5.2.1.1  1994/01/25  17:25:41  demeter
// *** empty log message ***
//
// Revision 5.2  1994/01/25  17:25:39  demeter
// *** empty log message ***
//
// Revision 5.1.1.4  1993/11/16  23:31:20  demeter
// fix bug for manipulate return_val: common problem
//
// Revision 5.1.1.3  1993/11/16  16:24:32  demeter
// new file
//
//
//

*operation* int inherits(Cd_graph*            g,
		         Vertex*              s,
                         Vertex*              t)
     *init* (@ 0 @)
  *traverse*
     *from* Cd_graph
       *through* -> *, adjacencies, *
     *to-stop* Adjacency
  *wrapper* Adjacency
    *prefix*
    (@
       if (s->get_vertex_name()->g_equal(t->get_vertex_name()))
       {
          return_val = 1;
          return;
       }

       if (source->get_vertex_name()->g_equal(s->get_vertex_name()))
         if (superclasses)
            return_val = superclasses->inherits(g,t);
    @)


*operation* int inherits(Cd_graph*            g,
                         Vertex*              t)
     *init* (@ 0 @)
  *traverse*
     *from* Vertex_List
     *to-stop* Vertex
  *wrapper* Vertex
    *prefix*
    (@
       if (return_val == 1)
          return;

       static DemString * mark = new DemString("bypassing");

       if (!mark->g_equal(this->get_bypassing()))
       {
           if (this->get_vertex_name()->g_equal(t->get_vertex_name()))
           {
              return_val = 1;
              return;
           }
           if (g->inherits(g,this,t))
              return_val = 1;
        }
    @)