//
// Multiple Inheritance check
//


Cd_graph {
	
	/*
	 * Use the already calculated SuperClass info to do the check
	 */

	void check_inherit() to Adjacency {
		before Adjacency {{
			 if (host.num_supers() > 1)
				System.out.println("WARNING: Class " +
					host.get_source_name() +
					" inherits from multiple classes.");
		}}
	}
}