Package statechum.analysis.Erlang

Examples of statechum.analysis.Erlang.ErlangModule

269
270
271
272
273
274
275
276
277
278
279
280
    while(num.contains(n))
      n = rnd.nextInt();
    wr.write("handle_call("+n+",_,_)->{reply,ok,5}.\n");
   
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
   
    createLabel("call, 45, ok",config);
    checkFailureFor("call, [45], ok", config);
    checkFailureFor("call, {45}, ok", config);
    checkFailureFor("call, aa, ok", config);
View Full Code Here
290
291
292
293
294
295
296
297
298
299
300
301
        wr.write("handle_call("+i+",_,_)->{reply,ok,5};\n");
     
    wr.write("handle_call("+56+",_,_)->{reply,ok,5}.\n");
   
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
   
    createLabel("call, 98, ok",config);
    checkFailureFor("call, [45], ok", config);
    checkFailureFor("call, {45}, ok", config);
    checkFailureFor("call, aa, ok", config);
View Full Code Here
308
309
310
311
312
313
314
315
316
317
318
319
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call("+1+",_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
/*    OtpErlangObject funcDescr = ErlangLabel.parseText(mod.sigs.get("call").toErlangTerm().replace("boundaries", "positive"));
    System.out.println(funcDescr);*/
    mod.sigs.put("funcPositive", new FuncSignature(defaultConfig,
        ErlangLabel.parseText("{\"testFile.erl\",3,handle_call,1,"+
        "{'Func',[],[{'Int',[positive]}],{'Atom',[],[ok]}}}"),
View Full Code Here
330
331
332
333
334
335
336
337
338
339
340
341
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call("+1+",_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
    mod.sigs.put("funcNegative", new FuncSignature(defaultConfig,
        ErlangLabel.parseText("{\"testFile.erl\",3,handle_call,1,"+
        "{'Func',[],[{'Int',[negative]}],{'Atom',[],[ok]}}}"),
      null));
   
View Full Code Here
350
351
352
353
354
355
356
357
358
359
360
361
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call("+1+",_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
    mod.sigs.put("funcNonnegative", new FuncSignature(defaultConfig,
        ErlangLabel.parseText("{\"testFile.erl\",3,handle_call,1,"+
        "{'Func',[],[{'Int',[nonnegative]}],{'Atom',[],[ok]}}}"),
      null));
   
View Full Code Here
421
422
423
424
425
426
427
428
429
430
431
432
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call([67,1900,atom],_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
   
    createLabel("call, 256, ok",config);
    createLabel("call, [67], ok",config);
    createLabel("call, [atom,67,67,1900], ok",config);
    checkFailureFor("call, 67, ok", config);
View Full Code Here
455
456
457
458
459
460
461
462
463
464
465
466
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call([67,1900,atom|junk],_,_)->{reply,ok,5};\n");
    wr.write("handle_call([\"str\"|55],_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    final Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
   
    createLabel("call, 256, ok",config);
    checkFailureFor("call, [\"rrr\"], ok",config);
    checkFailureFor("call, [atom,67,67,1900], ok",config); // proper list
    checkFailureFor("call, 67, ok", config);
View Full Code Here
488
489
490
491
492
493
494
495
496
497
498
499
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call([67,1900,atom|junk],_,_)->{reply,ok,5};\n");
    wr.write("handle_call([\"str\"],_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    final Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);

    createLabel("call, 256, ok",config);
    createLabel("call, [\"rrr\"], ok",config);
    createLabel("call, [atom,67,67,1900], ok",config); // proper list
    checkFailureFor("call, 67, ok", config);
View Full Code Here
520
521
522
523
524
525
526
527
528
529
530
531
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");
    wr.write("handle_call([67,1900,atom|junk],_,_)->{reply,ok,5};\n");
    wr.write("handle_call("+256+",_,_)->{reply,ok,5}.\n");
    wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    final Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
   
    createLabel("call, 256, ok",config);
    ErlangLabel.erlangObjectToLabel(ErlangRunner.getRunner().evaluateString("{call, [atom|junk], ok}"),config);
    ErlangLabel.erlangObjectToLabel(ErlangRunner.getRunner().evaluateString("{call, [atom |junk], ok}"),config);
    checkForCorrectException(new whatToRun() { public @Override void run() {
View Full Code Here
241
242
243
244
245
246
247
248
249
250
251
252
  @Test
  public void testTypeCompatibility1() throws IOException
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n"+
    "\nhandle_call(45,_,_)->{reply,ok,5}.\n");wr.write(otherMethods);wr.close();
    ErlangModule mod = ErlangModule.loadModule(ErlangModule.setupErlangConfiguration(new File(erlangFile)));
    Configuration config = Configuration.getDefaultConfiguration().copy();config.setErlangModuleName(mod.getName());config.setLabelKind(LABELKIND.LABEL_ERLANG);
   
    createLabel("call, 45, ok",config);
    checkFailureFor("call, [45], ok", config);
    checkFailureFor("call, {45}, ok", config);
    checkFailureFor("call, aa, ok", config);
View Full Code Here
TOP

Related Classes of statechum.analysis.Erlang.ErlangModule

  • com.ericsson.otp.erlang.OtpErlangAtom
  • com.ericsson.otp.erlang.OtpErlangList
  • com.ericsson.otp.erlang.OtpErlangObject
  • com.ericsson.otp.erlang.OtpErlangString
  • com.ericsson.otp.erlang.OtpErlangTuple
  • statechum.analysis.Erlang.Signatures.FuncSignature
  • statechum.analysis.Erlang.Signatures.TestTypes
  • statechum.analysis.learning.TestErlangOracleLearner
  • statechum.apps.ErlangApplicationLoader
  • statechum.apps.ErlangGraphVisualiser
    • 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.