Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

751
752
753
754
755
756
757
758
759
760
761
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a","b"},
        new String[] {"d","d"},
        new String[] {"c"}
       
    },mainConfiguration,converter)).crossWithSet(labelList(new String[] {"b","a"})));
View Full Code Here
786
787
788
789
790
791
792
793
794
795
796
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a","b"},
        new String[] {"d","d"},
        new String[] {"c"}
       
    },mainConfiguration,converter)).crossWithSet(labelList(new String[] {"b","a"})));
View Full Code Here
820
821
822
823
824
825
826
827
828
829
830
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a","b"},
        new String[] {"a","a","c","c"},
        new String[] {"d","d"},
        new String[] {"c"}
       
View Full Code Here
853
854
855
856
857
858
859
860
861
862
863
          }     
        });
      }
    };
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","a","b","c"}
       
    },mainConfiguration,converter)).crossWithSet(labelList(new String[] {"b","a"})));
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","a","b","c","a"},
View Full Code Here
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
 
  @Test
  public final void test_sequenceSet4_1() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    },mainConfiguration,converter)));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a","b","c"}
    });
View Full Code Here
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
 
  @Test
  public final void test_sequenceSet5_1() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    },mainConfiguration,converter)).crossWithSet(new LinkedList<Label>());
    Map<String,String> actual = getDebugDataMap(en,en.new SequenceSet().cross(TestFSMAlgo.buildList(new String[][] {// here the new sequenceSet is empty, hence whatever I do, there should be no changes
        new String[] {"a","b","c","d"},
        new String[] {"c"}
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
   
    return allSequences;
  }

  /** Checks if a PTA constructed is consistent with provided sequences. */
 
View Full Code Here
132
133
134
135
136
137
138
139
140
141
142
      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
   
    return allSequences;
  }

  /** Checks if a PTA constructed is consistent with provided sequences. */
 
View Full Code Here
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
  /** 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"}
    },mainConfiguration,converter));
    assertTrue(en.containsSequence(labelList(new String[]{"c"})));
    assertTrue(en.containsAsLeaf(labelList(new String[]{"c"})));
View Full Code Here
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
  /** Tests extendsLeaf. */
  @Test
  public final void test_extendsLeaf2()
  {
    SequenceSet seqStart = engine_testLimitToGraph.new SequenceSet();seqStart.setIdentity();
    seqStart.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","c","b"},
        new String[] {"c","c","c","c"}
    },mainConfiguration,converter));
   
    assertFalse(engine_testLimitToGraph.extendsLeaf(labelList(new String[]{})));
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.