Examples of statechum.analysis.learning.rpnicore.LabelRepresentation$CompositionOfFunctions

Package statechum.analysis.learning.rpnicore

Examples of statechum.analysis.learning.rpnicore.LabelRepresentation$CompositionOfFunctions

statechum.analysis.learning.rpnicore.LabelRepresentation
The purpose of this class is to record the results of parsing preconditions, postconditions and i/o. It is constructed following three steps,
1. text is built by parsing preconditions, postconditions and io.
2. After parsing text, it is rebuilt and appropriate functions are substituted using new variables.
3. After traces are all added to an initial PTA, the variables used in those traces (with substituted _M and _N) are added to this composition.

    else
    if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction))
    {
      if (learnerInitConfiguration.labelDetails == null)
      {
        learnerInitConfiguration.labelDetails = new LabelRepresentation();
        dataDescription = new LinkedList<String>();
      }
      dataDescription.add(fileString.trim());
    }
    else

View Full Code Here

    });
    ltl = Arrays.asList(new String[] { 
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new LabelRepresentation();
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.POST+ " somePostcondA",

View Full Code Here

    else
    if (fileString.startsWith(cmdOperation) || fileString.startsWith(cmdDataTrace) || fileString.startsWith(cmdLowLevelFunction))
    {
      if (learnerInitConfiguration.labelDetails == null)
      {
        learnerInitConfiguration.labelDetails = new LabelRepresentation();
        dataDescription = new LinkedList<String>();
      }
      dataDescription.add(fileString.trim());
    }
    else

View Full Code Here

    });
    ltl = Arrays.asList(new String[] { 
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new LabelRepresentation();
    labels.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.PRE+ " varDecl_N");
    labels.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.PRE+ " initCond_N");
    labels.parseLabel("A"+" "+LabelRepresentation.XM_DATA.PRE+ " somePrecondA");
    labels.parseLabel("A"+" "+LabelRepresentation.XM_DATA.POST+ " somePostcondA");
    labels.parseLabel("B"+" "+LabelRepresentation.XM_DATA.PRE+ " somePrecondB");

View Full Code Here

    result.testSet = readSequenceList((Element)nodesSequences.item(0),StatechumXML.ATTR_TESTSET.name());
    if (nodesLtl.getLength() > 0)
      result.ltlSequences = readInputSequence(new StringReader( nodesLtl.item(0).getTextContent() ),-1);
    if (nodesLabelDetails.getLength() > 0)
    {
      result.labelDetails = new LabelRepresentation();
      result.labelDetails.loadXML( (Element)nodesLabelDetails.item(0) );
    }
    result.graphNumber=graphNumber;
    return result;
  }

View Full Code Here

    });
    ltl = Arrays.asList(new String[] { 
        "![](setfiletype -> X((storefile) || (rename)))",
        "ltl ![]((initialise) -> X(connect))",
        "ltl !(XX(initialise))" });
    labels = new LabelRepresentation();
    labels.parseCollection(Arrays.asList(new String[]{
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " varDecl_N",
      QSMTool.cmdOperation+" "+INITMEM+" "+LabelRepresentation.OP_DATA.PRE+ " initCond_N",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.PRE+ " somePrecondA",
      QSMTool.cmdOperation+" "+"A"+" "+LabelRepresentation.OP_DATA.POST+ " somePostcondA",

View Full Code Here

    result.testSet = readSequenceList((Element)nodesSequences.item(0),StatechumXML.ATTR_TESTSET.name());
    if (nodesLtl.getLength() > 0)
      result.ifthenSequences = readInputSequence(new StringReader( nodesLtl.item(0).getTextContent() ),-1);
    if (nodesLabelDetails.getLength() > 0)
    {
      result.labelDetails = new LabelRepresentation();
      result.labelDetails.loadXML( (Element)nodesLabelDetails.item(0) );
    }
    result.graphNumber=graphNumber;
    return result;
  }

View Full Code Here

    }
    else
    if (fileString.startsWith(cmdData))
    {
      if (learnerInitConfiguration.labelDetails == null)
        learnerInitConfiguration.labelDetails = new LabelRepresentation();
      learnerInitConfiguration.labelDetails.parseLabel(fileString.substring(cmdData.length()).trim());
    }
    else
      throw new IllegalArgumentException("invalid command "+fileString);
  }

View Full Code Here

TOP

Related Classes of statechum.analysis.learning.rpnicore.LabelRepresentation$CompositionOfFunctions

statechum.analysis.learning.observers.ProgressDecorator

statechum.analysis.learning.observers.TestWriteReadLearnerEvaluation

statechum.analysis.learning.Smt

statechum.apps.QSMTool

statechum.DeterministicDirectedSparseGraph.CmpVertex

statechum.model.testset.PTASequenceEngine

statechum.model.testset.PTASequenceEngine.SequenceSet

java.io.StringWriter

java.io.StringReader

org.w3c.dom.Element

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.