protected void processIPN(Document document, List<Transition> conflictingTransitions)
throws SyntaxErrorException {
InteractionNetRDFImporter importer = new InteractionNetRDFImporter(document);
InteractionNet net = (InteractionNet) importer.loadInteractionNet();
SyntaxChecker checker = net.getSyntaxChecker();
if (!checker.checkSyntax()) throw new SyntaxErrorException(checker.getErrors());
new EnforceabilityChecker(net).checkEnforceability();
}
protected SyntaxChecker getCheckerIPN(Document document) {
InteractionNetRDFImporter importer = new InteractionNetRDFImporter(document);
InteractionNet net = (InteractionNet) importer.loadInteractionNet();
return net.getSyntaxChecker();
}