IteratorLabel label = IteratorLabel.getItrLabel(isEmpty);
createEdge(source, sink, label);
}
protected void createBooleanEdge(EclipseCFGNode source, EclipseCFGNode sink, boolean boolValue) {
BooleanLabel label = BooleanLabel.getBooleanLabel(boolValue);
createEdge(source, sink, label);
}