314315316317318319320321322323324
Iterator conts = contracts.iterator(); while ( conts.hasNext() ) { Contract cont = (Contract) conts.next(); cont.addEdge( e, start, end ); } addEdgeI( e, start, end ); }