@Override
public List<Unit> getPredsOf(Unit unit) {
if (unit.equals(nIf)) {
return Collections.emptyList();
} else if (unit.equals(n1)) {
return Collections.singletonList(nIf);
} else if (unit.equals(n2)) {
return Collections.singletonList(nIf);
} else {
throw new RuntimeException("UNEXPECTED CASE");
}
}
private ArrayList<AnnotationElem> getElements(Set<? extends AnnotationElement> set) {
ArrayList<AnnotationElem> aelemList = new ArrayList<AnnotationElem>();
for (AnnotationElement ae : set) {
// Debug.printDbg("element: ", ae.getName() ," ", ae.getValue() ," type: ", ae.getClass());
// Debug.printDbg("value type: ", ae.getValue().getValueType() ," class: ",
// ae.getValue().getClass());
Debug.printDbg(" element type: ", ae.getValue().getClass());
List<AnnotationElem> eList =
handleAnnotationElement(ae, Collections.singletonList(ae.getValue()));
if (eList != null) aelemList.addAll(eList);
}
return aelemList;
}
@Override
public List<Unit> getTails() {
return Collections.singletonList(nIf);
}