Esempio n. 1
0
 void ComponentExecutor::
 implements (Type& e)
 {
   implements_pre (e);
   implements (e, edge_traverser ());
   implements_post (e);
 }
Esempio n. 2
0
 void HomeExecutor::
 manages (Type& e)
 {
   manages_pre (e);
   manages (e, edge_traverser ());
   manages_post (e);
 }
Esempio n. 3
0
 // TranslationUnit
 //
 //
 void TranslationUnit::
 traverse (SemanticGraph::TranslationUnit& u)
 {
   iterate_and_traverse (u.contains_begin (),
                         u.contains_end (),
                         edge_traverser ());
 }
Esempio n. 4
0
 // TranslationRegion
 //
 //
 void TranslationRegion::
 traverse (SemanticGraph::TranslationRegion& r)
 {
   iterate_and_traverse (r.contains_begin (),
                         r.contains_end (),
                         edge_traverser ());
 }
Esempio n. 5
0
 void Home::
 manages (Type& h)
 {
   manages_pre (h);
   manages (h, edge_traverser ());
   manages_post (h);
 }
Esempio n. 6
0
 void Home::
 inherits (Type& h)
 {
   if (SemanticGraph::Inherits* inh  = h.inherits ())
   {
     inherits_pre (h);
     edge_traverser ().traverse (*inh);
     inherits_post (h);
   }
   else
   {
     inherits_none (h);
   }
 }
Esempio n. 7
0
 void Component::
 inherits (Type& c)
 {
   if (SemanticGraph::Inherits* inh  = c.inherits ())
   {
     inherits_pre (c);
     edge_traverser ().traverse (*inh);
     inherits_post (c);
   }
   else
   {
     inherits_none (c);
   }
 }
Esempio n. 8
0
      void Home::
      supports (Type& h)
      {
        Type::SupportsIterator b (h.supports_begin ()), e (h.supports_end ());

        if (b != e)
        {
          supports_pre (h);
          iterate_and_traverse (
            b, e, edge_traverser (), *this, &Home::comma, h);
          supports_post (h);
        }
        else
        {
          supports_none (h);
        }
      }
Esempio n. 9
0
      void Component::
      supports (Type& c)
      {
        Type::SupportsIterator b (c.supports_begin ()), e (c.supports_end ());

        if (b != e)
        {
          supports_pre (c);
          iterate_and_traverse (
            b, e, edge_traverser (), *this, &Component::comma, c);
          supports_post (c);
        }
        else
        {
          supports_none (c);
        }
      }
Esempio n. 10
0
    void Complex::
    inherits (Type& c)
    {
      Type::InheritsIterator b (c.inherits_begin ()), e (c.inherits_end ());

      if (b != e)
      {
        inherits_pre (c);
        iterate_and_traverse (b,
                              e,
                              edge_traverser ()/*,
                              *this,
                              &InterfaceTemplate::comma,
                              c*/);
	
	inherits_post (c);
      }
      else
      {
        inherits_none (c);
      }

    }
Esempio n. 11
0
      void ReadAttribute::
      get_raises (Type& a)
      {
        Type::GetRaisesIterator
          b (a.get_raises_begin ()),
          e (a.get_raises_end ());

        if (b != e)
        {
          get_raises_pre (a);
          iterate_and_traverse (b,
                                e,
                                edge_traverser (),
                                *this,
                                &ReadAttribute::comma,
                                a);
          get_raises_post (a);
        }
        else
        {
          get_raises_none (a);
        }
      }
 virtual void
 complements (Type& n)
 {
   complements (n, edge_traverser ());
 }
Esempio n. 13
0
 void UnionMember::
 belongs (Type& m)
 {
   belongs (m, edge_traverser ());
 }
 virtual void
 multiplies_second_factor (Type& n)
 {
   multiplies_second_factor (n, edge_traverser ());
 }
 virtual void
 divides_divisor (Type& n)
 {
   divides_divisor (n, edge_traverser ());
 }
 virtual void
 adds_first_item (Type& n)
 {
   adds_first_item (n, edge_traverser ());
 }
 virtual void
 adds_second_item (Type& n)
 {
   adds_second_item (n, edge_traverser ());
 }
 virtual void
 subtracts_subtrahend (Type& n)
 {
   subtracts_subtrahend (n, edge_traverser ());
 }
Esempio n. 19
0
 void ReadAttribute::
 belongs (Type& a)
 {
   belongs (a, edge_traverser ());
 }
 virtual void
 shifts_factor (Type& n)
 {
   shifts_factor (n, edge_traverser ());
 }
 virtual void
 shifts_pattern (Type& n)
 {
   shifts_pattern (n, edge_traverser ());
 }
 virtual void
 conjuncts_second_pattern (Type& n)
 {
   conjuncts_second_pattern (n, edge_traverser ());
 }
 virtual void
 multiplies_first_factor (Type& n)
 {
   multiplies_first_factor (n, edge_traverser ());
 }
 virtual void
 inclusively_disjuncts_second_pattern (Type& n)
 {
   inclusively_disjuncts_second_pattern (n, edge_traverser ());
 }
 virtual void
 negates (Type& n)
 {
   negates (n, edge_traverser ());
 }
 virtual void
 exclusively_disjuncts_first_pattern (Type& n)
 {
   exclusively_disjuncts_first_pattern (n, edge_traverser ());
 }