Package statechum.Helper

Examples of statechum.Helper.whatToRun

247
248
249
250
251
252
253
254
255
    dumper.topElement.appendChild(initElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"duplicate graph");
  }
View Full Code Here
259
260
261
262
263
264
265
266
267
  public final void testLoadInit_fail8()
  {
    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(
        removeTagFromString(xmlData,ELEM_KINDS.ATTR_POSITIVE_SIZE).getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readInitialData(loader.expectNextElement(ELEM_KINDS.ELEM_INIT.name()));
    }},IllegalArgumentException.class,"missing positive size");
  }
View Full Code Here
141
142
143
144
145
146
147
148
149
150
  }
 
  @Test
  public void testGetNameFail()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ErlangRunner.getName(new File("  aa/bb....   "),ERL.BEAM, true);
    }},IllegalArgumentException.class,"Invalid module");

  }
View Full Code Here
236
237
238
239
240
241
242
243
244
  }
 
  @Test
  public void testCompileFailure0a()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() throws IOException {
      ErlangRunner.compileErl(new File("junk"),null,true);
    }},IllegalArgumentException.class,"Invalid module");
  }
View Full Code Here
244
245
246
247
248
249
250
251
252
  }
 
  @Test
  public void testCompileFailure1a()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() throws IOException {
      ErlangRunner.compileErl(new File("junk.erl"),null,true);
    }},IllegalArgumentException.class,"does not have a parent directory");
  }
View Full Code Here
255
256
257
258
259
260
261
262
263
 
  @Test
  public void testCompileFailure2a() throws IOException
  {
    Writer wr = new FileWriter(output);wr.write(someErlang);wr.write("someJunk");wr.close();
    checkForCorrectException(new whatToRun() { public @Override void run() throws IOException {
      ErlangRunner.compileErl(output,null,true);
    }},IllegalArgumentException.class,"Failure running erlc");
  }
View Full Code Here
264
265
266
267
268
269
270
271
272
 
  @Test
  public void testCompileFailure2b() throws IOException
  {
    Writer wr = new FileWriter(output);wr.write(someErlang);wr.write("someJunk");wr.close();
    checkForCorrectException(new whatToRun() { public @Override void run() throws IOException {
      ErlangRunner.compileErl(output,erlRuntime.createNewRunner(),true);
    }},IllegalArgumentException.class,"failedToCompile");// error message returned by Erlang code
  }
View Full Code Here
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
    Assert.assertTrue(registeredProcessExists(runner));

    final ErlangRunner r = new ErlangRunner(erlRuntime.traceRunnerNode);
    Assert.assertFalse(r.mboxOpen);
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      r.call(new OtpErlangObject[]{new OtpErlangAtom("echoA")},200);
    }},IllegalArgumentException.class,"is closed");
    Assert.assertFalse(registeredProcessExists(r));

    r.initRunner();
    Assert.assertTrue(r.mboxOpen);
 
    OtpErlangTuple response = (OtpErlangTuple)r.call(new OtpErlangObject[]{new OtpErlangAtom("echo"),
        new OtpErlangList(new OtpErlangObject[]{ new OtpErlangAtom(dataHead)})},
        0);
    Assert.assertEquals(dataHead,((OtpErlangAtom)response.elementAt(0)).atomValue());

    Assert.assertTrue(registeredProcessExists(r));

    checkForCorrectException(new whatToRun() { public @Override void run() {
      r.initRunner();// this will fail because the corresponding process is already running.
    }},IllegalArgumentException.class,"already_started");
    Assert.assertFalse(r.mboxOpen);
    Assert.assertFalse(registeredProcessExists(r));
   
    // verify failure
    checkForCorrectException(new whatToRun() { public @Override void run() {
      r.call(new OtpErlangObject[]{new OtpErlangAtom("echoA")},200);
    }},IllegalArgumentException.class,"is closed");
   
  }
View Full Code Here
467
468
469
470
471
472
473
474
475
476
    Assert.assertTrue(registeredProcessExists(runner));

    final ErlangRunner r = new ErlangRunner(erlRuntime.traceRunnerNode);
    Assert.assertFalse(r.mboxOpen);
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      r.call(new OtpErlangObject[]{new OtpErlangAtom("echoA")},200);
    }},IllegalArgumentException.class,"is closed");
    Assert.assertFalse(registeredProcessExists(r));
  }
View Full Code Here
494
495
496
497
498
499
500
501
502
503
    r.close();
    Assert.assertFalse(r.mboxOpen);
    Assert.assertFalse(registeredProcessExists(r));
   
    // verify failure
    checkForCorrectException(new whatToRun() { public @Override void run() {
      r.call(new OtpErlangObject[]{new OtpErlangAtom("echoA")},200);
    }},IllegalArgumentException.class,"is closed");
   
  }
View Full Code Here
TOP

Related Classes of statechum.Helper.whatToRun

  • collections.TestMapWithSearch
  • collections.TestMapWithSearchMisc
  • statechum.analysis.Erlang.Signatures.TestTypes
  • statechum.analysis.Erlang.TestErlangGraphs
  • statechum.analysis.Erlang.TestErlangModule
  • statechum.analysis.Erlang.TestErlangParser
  • statechum.analysis.Erlang.TestErlangParser$TestParseBitStrFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseDoubleFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseInvalidCharsInAtomFail
  • statechum.analysis.Erlang.TestErlangRunner
    • 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.