예제 #1
0
  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();
  }
예제 #2
0
 protected SyntaxChecker getCheckerIPN(Document document) {
   InteractionNetRDFImporter importer = new InteractionNetRDFImporter(document);
   InteractionNet net = (InteractionNet) importer.loadInteractionNet();
   return net.getSyntaxChecker();
 }