Java InteractionNetRDFImporter.loadInteractionNet Examples

Example #1

File: EnforceabilityServlet.java Project: code-d/oryx-editor

  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();
  }

Example #2

File: SyntaxCheckerServlet.java Project: code-d/oryx-editor

 protected SyntaxChecker getCheckerIPN(Document document) {
   InteractionNetRDFImporter importer = new InteractionNetRDFImporter(document);
   InteractionNet net = (InteractionNet) importer.loadInteractionNet();
   return net.getSyntaxChecker();
 }