Examples of statechum.analysis.learning.rpnicore.LabelRepresentation.TraceWithData

Package statechum.analysis.learning.rpnicore.LabelRepresentation

Examples of statechum.analysis.learning.rpnicore.LabelRepresentation.TraceWithData

statechum.analysis.learning.rpnicore.LabelRepresentation.TraceWithData

    Set<List<String>> positives = new LinkedHashSet<List<String>>();positives.addAll(lbls.getSPlus());
    Assert.assertEquals(TestFSMAlgo.buildSet(new String[][]{new String[]{"callA","callB"}}),positives);
    Set<List<String>> negatives = new LinkedHashSet<List<String>>();negatives.addAll(lbls.getSMinus());
    Assert.assertEquals(TestFSMAlgo.buildSet(new String[][]{}),negatives);
    
    TraceWithData trace = lbls.traces.iterator().next();
    for(CompositionOfFunctions func:trace.arguments)
      Assert.assertEquals("",func.text);
  }

View Full Code Here

  @Test
  public final void testTraceParser5a()
  {
    parseDataTrace("+ callA((= input 7) (< output 8)) callB callC((and (= 5 input) (> input output)))");
    Assert.assertEquals(1,lbls.traces.size());
    TraceWithData trace = lbls.traces.iterator().next();
    Assert.assertArrayEquals(new String[]{"callA","callB","callC"}, trace.traceDetails.toArray());
    Iterator<CompositionOfFunctions> compIterator = trace.arguments.iterator();
    Assert.assertEquals("(= input 7) (< output 8)",compIterator.next().text);
    Assert.assertEquals("",compIterator.next().text);
    Assert.assertEquals("(and (= 5 input) (> input output))",compIterator.next().text);

View Full Code Here

        QSMTool.cmdLowLevelFunction+" fn DECL (define "+LabelRepresentation.functionArg+LabelRepresentation.delimiterString+"1::int)",
        QSMTool.cmdLowLevelFunction+" fn DECL (define "+LabelRepresentation.functionArg+LabelRepresentation.delimiterString+"2::int)",
        QSMTool.cmdLowLevelFunction+" fn CONSTRAINARGS true",
    }));
    Assert.assertEquals(1,lbls.traces.size());
    TraceWithData trace = lbls.traces.iterator().next();
    Assert.assertArrayEquals(new String[]{"callA","callB","callC"}, trace.traceDetails.toArray());
    Iterator<CompositionOfFunctions> compIterator = trace.arguments.iterator();
    final String expectedCompDeclarations = LabelRepresentation.encloseInBeginEndIfNotEmpty(
        "(define "+LabelRepresentation.generateFreshVariable("fn", VARIABLEUSE.IO, 0, 0)+"::int)"+LabelRepresentation.ENDL+
        "(define "+LabelRepresentation.generateFreshVariable("fn", VARIABLEUSE.IO, 0, 1)+"::int)"+LabelRepresentation.ENDL+

View Full Code Here

  @Test
  public final void testTraceParser6a()
  {
    parseDataTrace("+ callA((= input 7) (< output 8)) callB callC((and (= 5 input) (> (func output input) output)))");
    Assert.assertEquals(1,lbls.traces.size());
    TraceWithData trace = lbls.traces.iterator().next();
    Assert.assertArrayEquals(new String[]{"callA","callB","callC"}, trace.traceDetails.toArray());
    Iterator<CompositionOfFunctions> compIterator = trace.arguments.iterator();
    Assert.assertEquals("(= input 7) (< output 8)",compIterator.next().text);
    Assert.assertEquals("",compIterator.next().text);
    Assert.assertEquals("(and (= 5 input) (> (func output input) output))",compIterator.next().text);

View Full Code Here

  @Test
  public final void testTraceParser6b()
  {
    parseDataTrace("+ callA((= input 7) (< output 8)) callB callC((and (= 5 input) (> (func output input) output)))");
    Assert.assertEquals(1,lbls.traces.size());
    TraceWithData trace = lbls.traces.iterator().next();
    Assert.assertArrayEquals(new String[]{"callA","callB","callC"}, trace.traceDetails.toArray());
    Iterator<CompositionOfFunctions> compIterator = trace.arguments.iterator();
    Assert.assertEquals("(= input 7) (< output 8)",compIterator.next().text);
    Assert.assertEquals("",compIterator.next().text);
    Assert.assertEquals("(and (= 5 input) (> (func output input) output))",compIterator.next().text);

View Full Code Here

TOP

Related Classes of statechum.analysis.learning.rpnicore.LabelRepresentation.TraceWithData

statechum.analysis.learning.rpnicore.TestLabelParser

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.