private boolean mustGeneratePO(ISCContextRoot root) {
try {
for (ISCAxiom iscAxiom : root.getSCAxioms()) {
if (iscAxiom.hasAttribute(ContradictionAttribute.ATTRIBUTE)) {
if (iscAxiom.getAttributeValue(ContradictionAttribute.ATTRIBUTE)) {
return true;
}
}
}
} catch (RodinDBException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
return false;
}
private IPOGSource[] createSources(ISCContextRoot root) {
List<IPOGSource> sources = new ArrayList<IPOGSource>();
try {
for (ISCAxiom iscAxiom : root.getSCAxioms()) {
if (iscAxiom.hasAttribute(ContradictionAttribute.ATTRIBUTE)) {
if (iscAxiom.getAttributeValue(ContradictionAttribute.ATTRIBUTE)) {
sources.add(makeSource(IPOSource.DEFAULT_ROLE, iscAxiom));
}
}
}
} catch (RodinDBException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
IPOGSource[] arr = new IPOGSource[sources.size()];
arr = sources.toArray(arr);
return arr;
}