Package statechum.analysis.Erlang

Examples of statechum.analysis.Erlang.ErlangModule

773
774
775
776
777
778
779
780
781
782
    wr.write("handle_call(_,_,_) -> {reply,<< 4:2,5:6 >>,5}.\n");
    wr.write(otherMethods);wr.close();
    Configuration config = ErlangModule.setupErlangConfiguration(new File(erlangFile));
    config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    ErlangModule mod = ErlangModule.loadModule(config);
    Assert.assertEquals("[{?F(),'call','AnyWibble',<< 34, 56>>},{?F(),'cast','AnyWibble',5},{?F(),'info','AnyWibble',{'noreply',5}},{?F(),'init','AnyWibble','ok'}]",getAlphabetAsString(mod));
    createLabel("call, 4.7,<< 45>> ",config);
    checkFailureFor("call, 4,1",config);
  }
View Full Code Here
790
791
792
793
794
795
796
797
    wr.write("handle_call(F,_,_) when F == {4,f} -> {reply,wr(F),5}.\n");
    wr.write("wr(A) -> A+1.");
    wr.write(otherMethods);wr.close();
    Configuration config = ErlangModule.setupErlangConfiguration(new File(erlangFile));
    config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    ErlangModule mod = ErlangModule.loadModule(config);
    Assert.assertEquals("[{?F(),'cast','AnyWibble',5},{?F(),'info','AnyWibble',{'noreply',5}},{?F(),'init','AnyWibble','ok'}]",getAlphabetAsString(mod));
  }
View Full Code Here
802
803
804
805
806
807
808
809
810
811
812
813
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");

    wr.write("handle_call(true,_,_) -> {reply,1,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, true,1",config);
    checkFailureFor("call, afalse,1",config);
    checkFailureFor("call, false,1",config);
  }
View Full Code Here
818
819
820
821
822
823
824
825
826
827
828
829
  {
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");

    wr.write("handle_call([false,true],_,_) -> {reply,1,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);
    mod.sigs.put("bool", new FuncSignature(defaultConfig, ErlangLabel.parseText(
      "{\"testFile.erl\",3,handle_call,1,{'Func',[],[{'Boolean',[]}],{'Int',[values],[1]}}}"),
      null));
   
    createLabel("bool, true,1",config);
View Full Code Here
878
879
880
881
882
883
884
885
886
887
888
    wr.write("handle_call(#st{processNum=33}=Arg,_,_) -> {reply,11,5};\n");
    wr.write("handle_call(#st{smth=\"whatever\"}=Arg,_,_) -> {reply,12,5}.\n");
    wr.write(otherMethods);wr.close();
    Configuration config = ErlangModule.setupErlangConfiguration(new File(erlangFile));
    config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    ErlangModule mod = ErlangModule.loadModule(config);

    checkFailureFor("call, afalse,11",config);
    Assert.assertEquals("["+
        "{"+ErlangLabel.missingFunction+",'call',{'st'},11},"+
        "{"+ErlangLabel.missingFunction+",'cast','AnyWibble',5},"+
View Full Code Here
900
901
902
903
904
905
906
907
908
909
910
    wr.write("handle_call(#st{processNum=33,smth=\"whatever\"}=Arg,_,_) -> {reply,11,5};\n");
    wr.write("handle_call(#st{processNum=11,smth=\"Awhatever\"}=Arg,_,_) -> {reply,12,5}.\n");
    wr.write(otherMethods);wr.close();
    Configuration config = ErlangModule.setupErlangConfiguration(new File(erlangFile));
    config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    ErlangModule mod = ErlangModule.loadModule(config);

    checkFailureFor("call, afalse,11",config);
    Assert.assertEquals("["+
        "{"+ErlangLabel.missingFunction+",'call',{'st',11,[]},11},"+
        "{"+ErlangLabel.missingFunction+",'call',{'st',11,[65]},11}," +
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
  @Test
  public void testLearningFromErlangTraceFile2() throws IOException
  {
    Configuration config = ErlangModule.setupErlangConfiguration(new File(lockerFile));
        config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    ErlangModule mod = ErlangModule.loadModule(config);
    Set<ErlangLabel> alphabetA = new TreeSet<ErlangLabel>();alphabetA.addAll(mod.behaviour.getAlphabet());
    ErlangModule.flushRegistry();
    config = ErlangModule.setupErlangConfiguration(new File(lockerFile));
        config.setErlangAlphabetAnyElements(EXPANSIONOFANY.ANY_WIBBLE);
    ErlangModule modSame = ErlangModule.loadModule(config);
    Assert.assertTrue(alphabetA.equals(modSame.behaviour.getAlphabet()));// check that the same alphabet will be loaded second time.
    ErlangModule.flushRegistry();
   
    ErlangOracleLearner learner = ErlangQSMOracle.createLearner(null,"resources/earlier_failure2.txt");
    Set<ErlangLabel> alphabetFull = new TreeSet<ErlangLabel>();alphabetFull.addAll(ErlangModule.findModule("locker").behaviour.getAlphabet());
View Full Code Here
570
571
572
573
574
575
576
577
578
579
580
581
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");

    wr.write("handle_call(\"this is a test\",_,_)->{reply,ok,5};\n");
    wr.write("handle_call(\"more interesting things\",_,_)->{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, \"ttt\",ok",config);
    createLabel("call, \"ttt\"",config);
    checkFailureFor("call, \"ttt\", \"ttt\"",config);
    checkFailureFor("call, 256, ok",config);
  }
View Full Code Here
587
588
589
590
591
592
593
594
595
596
597
598
    Writer wr = new FileWriter(erlangFile);wr.write("-module(testFile).\n-behaviour(gen_server).\n");

    wr.write("handle_call({\"this is a test\",\"aa\"},_,_)->{reply,\"yy\",5};\n");
    wr.write("handle_call(\"more interesting things\",_,_)->{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, \"ttt\",ok",config);
    createLabel("call, \"ttt\",\"y\"",config);
    createLabel("call, {\"ttt\",\"a\"},\"y\"",config);
    createLabel("call, {\"\",\"\"},\"y\"",config);
    createLabel("call, {\"\",\"\"},\"\"",config);
View Full Code Here
625
626
627
628
629
630
631
632
633
634
635
636
    wr.write("handle_call(F,_,_) when F == {4,f} -> {reply,wr(F),5}.\n");
    wr.write("wr({A,B}) -> A+1.");
    //wr.write("handle_call(F,_,_) when F > 0 ->\"yy\".\n");
    //wr.write("handle_call(F,_,_) when F == self() ->\"yy\".\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, {33,\"a\"},45",config);
    createLabel("call, {33,\"a\"},245",config);
    checkFailureFor("call, {33,\"a\"},a245",config);
    checkFailureFor("call, {a33,\"a\"},245",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.