示例#1
0
 public Item createInitialItem(FlowGraph graph, Term node) {
   if (node == graph.entryNode()) {
     return DataFlowItem.REACHABLE;
   } else {
     return DataFlowItem.NOT_REACHABLE;
   }
 }