Examples of SequenceSet

org.apache.activemq.store.kahadb.disk.util.SequenceSet
Keeps track of a added long values. Collapses ranges of numbers using a Sequence representation. Use to keep track of received message ids to find out if a message is duplicate or if there are any missing messages. @author chirino
org.apache.kahadb.util.SequenceSet
Keeps track of a added long values. Collapses ranges of numbers using a Sequence representation. Use to keep track of received message ids to find out if a message is duplicate or if there are any missing messages. @author chirino
statechum.model.testset.PTASequenceEngine.SequenceSet
statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Test for equality of different sequenceSets. */
  @Test
  public final void test_sequenceSet_equality3()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqStartOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    
    SequenceSet seqStartTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"},
        new String[] {"c","a","a"}
        
    })).cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"},
        new String[] {"c","a","a"}
    }));
    
    SequenceSet seqDifferent1 = en.new SequenceSet();
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a"}
    }));
    equalityTestingHelper(seqStartOne,seqStartTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Tests containsSequence. */
  @Test
  public final void test_containsSequence2()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    assertTrue(en.containsSequence(Arrays.asList(new String[]{"c"})));
    assertTrue(en.containsAsLeaf(Arrays.asList(new String[]{"c"})));

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Test for Union: adding something to an empty set. */
  @Test
  public final void test_sequenceSet_union0()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    SequenceSet seqTwo = en.new SequenceSet();seqTwo.unite(seqOne);
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Test for Union: adding an empty set to something. */
  @Test
  public final void test_sequenceSet_union1()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    SequenceSet seqA = en.new SequenceSet();seqOne.unite(seqA);
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Test for Union: adding a set to itself. */
  @Test
  public final void test_sequenceSet_union2()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqA = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    SequenceSet seqTwo = en.new SequenceSet();seqTwo.unite(seqA);seqTwo.unite(seqTwo);
    List<List<String>> arg = new LinkedList<List<String>>();
    Set<List<String>> setOfStrings = TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}});
    arg.addAll(setOfStrings);arg.addAll(setOfStrings);
    SequenceSet seqOne = seqStart.cross(arg);


    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Test for Union: adding a set from a different engine. */
  @Test(expected=IllegalArgumentException.class)
  public final void test_sequenceSet_union3()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    SequenceSet seqTwo = new PTA_FSMStructure(fsm).new SequenceSet();
    seqTwo.unite(seqOne);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  
  /** Test for Union. */
  @Test
  public final void test_sequenceSet_union4()
  {
    SequenceSet seqStart = en.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqSecondStart = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    
    SequenceSet seqDifferent1 = seqSecondStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    
    SequenceSet seqOne = seqSecondStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {}
    }));
    SequenceSet seqOneB = seqSecondStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    }));
    
    seqOne.unite(seqOneB);
    
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a",  "a","b","c"},
        new String[] {"a","a"},
    }));
    
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"},
    }));
  
    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  }
  
  @Test
  public final void test_sequenceSet_limitTo0()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(0);
    Assert.assertTrue(seqOne.isEmpty());
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  }
  
  @Test
  public final void test_sequenceSet_limitTo1()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));seqOne.limitTo(1);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"}}));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet

  }


  @Test
  public final void test_sequenceSet_limitTo2()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    SequenceSet seqOne = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c"},
        new String[] {"a","a"},
        new String[] {"c"}
    }));
    seqOne.limitTo(2);
    Assert.assertFalse(seqOne.isEmpty());
    SequenceSet seqTwo = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a"},
        new String[] {"c" }
        }));
    SequenceSet seqDifferent1 = seqTwo.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));
    SequenceSet seqDifferent2 = seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b"}}
    ));


    equalityTestingHelper(seqOne,seqTwo,seqDifferent1,seqDifferent2);
  }

View Full Code Here

0 1 2 3 4 5

TOP

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.