Examples of StringLabel


Examples of statechum.StringLabel

        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

Examples of statechum.StringLabel

    {
      rowsProcessed.add(entry.getKey());
      for(Entry<CmpVertex,PAIRCOMPATIBILITY> associations:entry.getValue().entrySet())
        if (!rowsProcessed.contains(associations.getKey()))
        {
          Label label = new StringLabel(associationPrefix+associations.getValue().name());
          if (alphabet.contains(label))
            throw new IllegalArgumentException("cannot use label "+label);

          result.addTransition(result.transitionMatrix.get(entry.getKey()), label, associations.getKey());
          result.addTransition(result.transitionMatrix.get(associations.getKey()), label, entry.getKey());
View Full Code Here

Examples of statechum.StringLabel

  {
    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;
    case LABEL_ABSTRACT:
View Full Code Here

Examples of statechum.StringLabel

  {
    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

Examples of statechum.StringLabel

     
      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

Examples of statechum.StringLabel

          }
         
        }
        if(!found){
          System.out.println("not found: "+methodStack.peek().method().getSignature()+ "->"+ toMethod.method().getSignature());
          from = new StringLabel(methodToString.get(methodStack.peek()));
          return new Pair<Integer,String>(i,null);
        }
      }
      methodStack.push(toMethod);
    }
View Full Code Here

Examples of statechum.StringLabel

    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

Examples of statechum.StringLabel

  {
    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

Examples of statechum.StringLabel

  {
    Label result = null;
    switch(config.getLabelKind())
    {
    case LABEL_STRING:
      result = new StringLabel(Integer.toString(number));
      break;
    default:
      throw new IllegalArgumentException("No parser available for traces of type "+config.getLabelKind());
    }
    return result;
View Full Code Here

Examples of statechum.StringLabel

        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
TOP
Copyright © 2018 www.massapi.com. 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.