Package statechum.analysis.Erlang

Examples of statechum.analysis.Erlang.ErlangLabel$ErlangChar

106
107
108
109
110
111
112
113
114
    ErlangModule.setupErlangConfiguration(config,file);config.setErlangCompileIntoBeamDirectory(true);config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    ErlangModule.loadModule(config);
    final String LBL1 = "{call, read}", LBL2 = "{call, lock}";
    final LearnerGraph gr = buildLearnerGraph("A- "+LBL1+" ->B-"+LBL2+"->B", "testConvertToModuleFailure1", config,null);
    Iterator<Label> lblIter = gr.pathroutines.computeAlphabet().iterator();
    ErlangLabel lbl1 = (ErlangLabel)lblIter.next(),lbl2 = (ErlangLabel)lblIter.next();
    List<Label> trace = Arrays.asList(new Label[]{lbl1,lbl2,lbl2});
    Assert.assertEquals("[{?F(),'call','read'},{?F(),'call','lock'},{?F(),'call','lock'}]",RPNILearner.questionToString(trace));
  }
View Full Code Here
200
201
202
203
204
205
206
207
208
209
210
      int prefixLen = outcome.answerDetails.length - 1;
      List<Label> prefix = question.subList(0, prefixLen);
      Label failedLabel = question.get(prefixLen);
      response.append("- [");
      boolean first = true;
      ErlangLabel noop = stripOutput((ErlangLabel) failedLabel);

      //assert noop.function != null : "questions do not contain function details";
      for (Label lbl : inputToPossibleOutputs.get(noop)) {
        if (!first)
          response.append(',');
View Full Code Here
510
511
512
513
514
515
516
517
    }

  }

  public static ErlangLabel stripOutput(ErlangLabel label) {
    return new ErlangLabel(label.function, label.callName, label.input,
        null);
  }
View Full Code Here
524
525
526
527
528
529
530
531
532
533
534
    for (Label lbl : question) {
      if (!(lbl instanceof ErlangLabel))
        throw new IllegalArgumentException("question element " + lbl
            + " is not of Erlang type");

      ErlangLabel erlLabel = (ErlangLabel)lbl;
     
      if (!module.getName().equals(erlLabel.function.getModuleName()))
        throw new IllegalArgumentException("current module is "+module.getName()+" but attempting to call "+erlLabel.function.getModuleName());

      if (!module.behaviour.getAlphabet().contains(lbl))
View Full Code Here
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
      if (elemAti.arity() < 2 || elemAti.arity() > 3)
        throw new IllegalArgumentException("received tuple " + elemAti
            + " of invalid arity");
      if (elemAti.arity() == 3) {
        if (config.getUseErlangOutputs()) {
          answerDetails[i] = new ErlangLabel(
              questionDetails[i].function,
              questionDetails[i].callName,
              questionDetails[i].input, elemAti.elementAt(2));
        } else {
          answerDetails[i] = new ErlangLabel(
              questionDetails[i].function,
              questionDetails[i].callName,
              questionDetails[i].input);
        }
View Full Code Here
347
348
349
350
351
352
353
354
355
356
357
        nextState = ErlangState.newErlangState(state, input, true);
        // System.out.println("OK : "+RPNILearner.questionToString(newTrace));
        break;
      case TRACE_DIFFERENTOUTPUT:
        assert outcome.answerDetails.length == traceLength;
        ErlangLabel nextLabel = outcome.answerDetails[traceLength - 1];
        state.rejects.add(input);// record the reject.
        if (!module.behaviour.getAlphabet().contains(nextLabel)) {
          module.behaviour.getAlphabet().add(nextLabel);
          // extend the alphabet
          // (if the input is already in the alphabet, fine, it would
View Full Code Here
101
102
103
104
105
106
107
108
109
    config = ErlangModule.setupErlangConfiguration(file);config.setTransitionMatrixImplType(STATETREE.STATETREE_SLOWTREE);
    ErlangModule.loadModule(config);
    final String LBL1 = "{call, read}", LBL2 = "{call, lock}";
    final LearnerGraph gr = buildLearnerGraph("A- "+LBL1+" ->B-"+LBL2+"->B", "testConvertToModuleFailure1", config,null);
    Iterator<Label> lblIter = gr.pathroutines.computeAlphabet().iterator();
    ErlangLabel lbl1 = (ErlangLabel)lblIter.next(),lbl2 = (ErlangLabel)lblIter.next();
    List<Label> trace = Arrays.asList(new Label[]{lbl1,lbl2,lbl2});
    Assert.assertEquals("[{?F(),'call','read'},{?F(),'call','lock'},{?F(),'call','lock'}]",RPNILearner.questionToString(trace));
  }
View Full Code Here
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
                      {
                        text.append("<font color="+color+">");text.append(lbl.toString());
                      }
                      else
                      {
                        ErlangLabel l = (ErlangLabel)lbl;
                        text.append("<font color=blue>");text.append(l.callName);text.append("</font>,&nbsp;");
                        text.append("<font color="+color+">");text.append(l.input);text.append("</font>");
                        if (l.expectedOutput != null)
                        {
                          text.append(",&nbsp;<font color=black>");text.append(l.expectedOutput);text.append("</font>");
View Full Code Here
1792
1793
1794
1795
1796
1797
1798
1799
1800
1801
1802
1803
        if (origLabel instanceof StringLabel)
          result = new StringLabel(prefix+origLabel);
        else
        if (origLabel instanceof ErlangLabel)
        {
          ErlangLabel oErl = (ErlangLabel)origLabel;
          result = new ErlangLabel(oErl.function,prefix+oErl.callName,
              oErl.input, oErl.expectedOutput);
        }
        else
          assert false;
       
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
                final ConvertALabel converter = ErlangModule.loadModule(grOrig.config).behaviour.new ConverterModToErl();
              AbstractLearnerGraph.interpretLabelsOnGraph(grOrig,grNew,new Transform.ConvertLabel(new ConvertALabel() {
           
            @Override
            public Label convertLabelToLabel(Label label) {
              ErlangLabel lbl = (ErlangLabel)converter.convertLabelToLabel(label);
              return new ErlangLabel(null, lbl.callName.replace(moduleName, ""), lbl.input, lbl.expectedOutput);
            }
          }));
              grNew.setName(grOrig.getNameNotNull()+"-nomodule");
              updateFrameWithPos(grNew, strippedFrameNumber++);
             
View Full Code Here
TOP

Related Classes of statechum.analysis.Erlang.ErlangLabel$ErlangChar

  • com.ericsson.otp.erlang.OtpErlangAtom
  • com.ericsson.otp.erlang.OtpErlangBitstr
  • com.ericsson.otp.erlang.OtpErlangBoolean
  • com.ericsson.otp.erlang.OtpErlangByte
  • com.ericsson.otp.erlang.OtpErlangChar
  • com.ericsson.otp.erlang.OtpErlangDouble
  • com.ericsson.otp.erlang.OtpErlangInt
  • com.ericsson.otp.erlang.OtpErlangList
  • com.ericsson.otp.erlang.OtpErlangLong
  • com.ericsson.otp.erlang.OtpErlangObject
    • 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.