// singleinh.beh
//
// This file contains code which implements the Single Inheritance check.

// Visitor class which implements the single inheritance check.  The
// implementation is simple and straightforward, most of the work
// is already done by the Cd_graph::flatten() method.
SingleInhVisitor {
{{
   public void before(Adjacency a) {
      if ((a.fetchParents() != null) && (a.fetchParents().size() > 1)) {
         System.out.println(
            "*** Error: Class " +
            a.fetchIdent() +
            " has multiple super classes."  +
            '\n'
         );
         Main.ecount++;
      }
   }
}}
}