Package es.upv.dsic.issi.moment.maudedaemon.maude

Examples of es.upv.dsic.issi.moment.maudedaemon.maude.IMaudeJob


      "  eq s(M) + N = s(M + N) .\n" +
      "endfm\n";

    try {
     
      IMaudeJob mj = maudePB.createAndRunJobs(peanoNatExtraModule).get(0);
      maudePB.waitUntilFinish();
     
      assertTrue("Module loaded without errors.", !mj.isFailed() && mj.getOut().length() == 0);

      mj = maudePB.createAndRunJobs("red s(s(0)) + s(0) .\n").get(0);
      mj.waitUntilFinish();
     
      assertTrue("Operation executed correctly.", !mj.isFailed() && mj.getOut().length() > 0);
      assertTrue("Check num. rewrites.", mj.getRewrites() == 3);
      assertTrue("Last module.", mj.getActiveModule().equals("PEANO-NAT-EXTRA"));
      assertTrue("Correct result", mj.getResult().equals("s^3(0)"));
     
    } catch (ParseException e) {
      // Can't happen. Running Core Maude.
      e.printStackTrace();
    }
View Full Code Here

TOP

Related Classes of es.upv.dsic.issi.moment.maudedaemon.maude.IMaudeJob

Copyright © 2018 www.massapicom. All rights reserved.
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.