Package statechum

Examples of statechum.StringLabel

308
309
310
311
312
313
314
315
316
317
318
  {
    Label result = null;
    switch(config.getLabelKind())
    {
    case LABEL_STRING:
      result = new StringLabel(label);
      break;
    case LABEL_ERLANG:
      result = ErlangLabel.erlangObjectToLabel(ErlangLabel.parseText(label),config);
      break;
    default:
View Full Code Here
355
356
357
358
359
360
361
362
363
364
365
  {
    Label result = null;
    switch(config.getLabelKind())
    {
    case LABEL_STRING:
      result = new StringLabel("L"+Integer.toString(number));// this is necessary if I subsequently choose to use these labels in regular expressions, in which case I would not know whether "1" means "anything" or "label 1".
      break;
    default:
      throw new IllegalArgumentException("No parser available for traces of type "+config.getLabelKind());
    }
    if (conv != null)
View Full Code Here
501
502
503
504
505
506
507
508
509
        AbstractLearnerGraph.interpretLabelsOnGraph(grFrom,grTo,new Transform.ConvertLabel(new ConvertALabel() {
       
        @Override
        public Label convertLabelToLabel(Label label) {
          ErlangLabel lbl = (ErlangLabel)label;
          return new StringLabel(lbl.function.getName()+"/"+lbl.function.getArity()+","+lbl.input+","+lbl.expectedOutput);
        }
      }));
    }
View Full Code Here
1170
1171
1172
1173
1174
1175
1176
1177
1178
        for(int i=0;i<componentsToPick && i<labelComponents.length;++i)
        {
          if (!first) labelAsBuffer.append(',');else first=false;
          labelAsBuffer.append(labelComponents[i]);
        }
        outcome.add(new StringLabel(labelAsBuffer.toString()));
      }
      return outcome;
    }
View Full Code Here
1171
1172
1173
1174
1175
1176
1177
1178
1179
        for(int i=0;i<componentsToPick && i<labelComponents.length;++i)
        {
          if (!first) labelAsBuffer.append(',');else first=false;
          labelAsBuffer.append(labelComponents[i]);
        }
        outcome.add(new StringLabel(labelAsBuffer.toString()));
      }
      return outcome;
    }
View Full Code Here
308
309
310
311
312
313
314
315
316
317
318
  {
    Label result = null;
    switch(config.getLabelKind())
    {
    case LABEL_STRING:
      result = new StringLabel(label);
      break;
    case LABEL_ERLANG:
      result = ErlangLabel.erlangObjectToLabel(ErlangLabel.parseText(label),config);
      break;
    default:
View Full Code Here
355
356
357
358
359
360
361
362
363
364
365
  {
    Label result = null;
    switch(config.getLabelKind())
    {
    case LABEL_STRING:
      result = new StringLabel("L"+Integer.toString(number));// this is necessary if I subsequently choose to use these labels in regular expressions, in which case I would not know whether "1" means "anything" or "label 1".
      break;
    default:
      throw new IllegalArgumentException("No parser available for traces of type "+config.getLabelKind());
    }
    if (conv != null)
View Full Code Here
510
511
512
513
514
515
516
517
518
        AbstractLearnerGraph.interpretLabelsOnGraph(grFrom,grTo,new Transform.ConvertLabel(new ConvertALabel() {
       
        @Override
        public Label convertLabelToLabel(Label label) {
          ErlangLabel lbl = (ErlangLabel)label;
          return new StringLabel(lbl.function.getName()+"/"+lbl.function.getArity()+","+lbl.input+","+lbl.expectedOutput);
        }
      }));
    }
View Full Code Here
1948
1949
1950
1951
1952
1953
1954
1955
1956
1957
1958
    computeDifference(new PatchGraph() {
      protected Label copyVertexWithPrefix(String prefix, Label origLabel)
      {
        Label result = null;
        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,
View Full Code Here
1171
1172
1173
1174
1175
1176
1177
1178
1179
        for(int i=0;i<componentsToPick && i<labelComponents.length;++i)
        {
          if (!first) labelAsBuffer.append(',');else first=false;
          labelAsBuffer.append(labelComponents[i]);
        }
        outcome.add(new StringLabel(labelAsBuffer.toString()));
      }
      return outcome;
    }
View Full Code Here
TOP

Related Classes of statechum.StringLabel

  • statechum.analysis.Erlang.Synapse$StatechumProcess
  • statechum.analysis.learning.linear.GD
  • statechum.analysis.learning.oracles.SootCallGraphOracle
  • statechum.analysis.learning.rpnicore.AbstractLearnerGraph
  • statechum.analysis.learning.rpnicore.LearnerGraph
  • statechum.analysis.learning.rpnicore.PathRoutines
  • statechum.analysis.learning.rpnicore.TestRandomPathGenerator
  • statechum.analysis.learning.Visualiser
    • 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.