Java InteractionNet Beispiele

Beispiel #1

Datei: EnforceabilityServlet.java Projekt: 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();
  }

Beispiel #2

Datei: SyntaxCheckerServlet.java Projekt: code-d/oryx-editor

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