Examples of org.openiaml.verification.nusmv.VerificationEngine.verify()

Class org.openiaml.verification.nusmv.VerificationEngine

Examples of org.openiaml.verification.nusmv.VerificationEngine.verify()

org.openiaml.verification.nusmv.VerificationEngine.verify()
Verify a given model. Violations can then be obtained by {@link #getViolations()}. @param model the model to check @param monitor the monitor to notify progress @return OK if no violations were found; warning if some were found; error if an exception occured; cancel if the monitor was cancelled @throws VerificationException


    // do verification
    VerificationEngine verify = new VerificationEngine();
    IStatus status;
    try {
      status = verify.verify(model, new SubProgressMonitor(monitor, 9));
    } catch (VerificationException e) {
      return errorStatus(e);
    }


    // check for violation exceptions

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.