Java GraphBlock.finish Exemples

Exemple #1

Fichier : BddtHistoryBubble.java Projet : shveta08/ICSE-2012-CodeBubbles

 void finish(BddtHistoryItem hi) {
   GraphBlock gb = in_blocks.get(hi.getThread());
   if (gb != null) {
     gb.finish(hi.getTime());
     in_blocks.remove(hi.getThread());
   }
 }