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

Examples of es.upv.dsic.issi.moment.maudedaemon.maude.IMaudeJob.waitUntilFinish()

161
162
163
164
165
166
167
168
169
170
171
      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)"));
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.