Skip to content

Instantly share code, notes, and snippets.

@GiovanniBalestrieri
Created February 13, 2017 23:33
Show Gist options
  • Save GiovanniBalestrieri/76bc6da5b3d498061e2fa63fadac6fd2 to your computer and use it in GitHub Desktop.
Save GiovanniBalestrieri/76bc6da5b3d498061e2fa63fadac6fd2 to your computer and use it in GitHub Desktop.
/**
* Consistency Check. Returns true if passed
*/
private static boolean performConsistencyCheckWith(InfModel inf) {
boolean res = false;
ValidityReport validity = inf.validate();
if (validity.isValid()) {
System.out.println("\tConsistency Check:\n Passed\n");
res = true;
} else {
System.out.println("\tConsistency Check:\n Conflicts\n");
for (Iterator i = validity.getReports(); i.hasNext(); ) {
System.out.println(" - " + i.next());
}
}
return res;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment