@@ -11,29 +11,20 @@ class CustomTestSourcesCsv extends SourceModelCsv {
1111 override predicate row ( string row ) {
1212 row =
1313 [
14- ";MySimpleClass;true;source1;;;;remote" ,
15- ";MySimpleClass;true;source2;;;;remote" ,
14+ ";MySimpleClass;true;source1;;;;remote" , ";MySimpleClass;true;source2;;;;remote" ,
1615 ";MySimpleClass;true;source3();;;ReturnValue;remote" ,
1716 // ---
18- ";MyGeneric;true;source1;;;;remote" ,
19- ";MyGeneric;true;source2;;;;remote" ,
20- ";MyGeneric;true;source3();;;ReturnValue;remote" ,
21- ";MyDerived;true;source4;;;;remote" ,
22- ";MyDerived;true;source5;;;;remote" ,
23- ";MyDerived;true;source6();;;ReturnValue;remote" ,
24- ";MyDerived;true;source7;;;;remote" ,
25- ";MyDerived;true;source8();;;ReturnValue;remote" ,
26- ";MyDerived2;true;source9;;;;remote" ,
27- ";MyDerived2;true;source10;;;;remote" ,
28- ";MyDerived2;true;source11();;;ReturnValue;remote" ,
29- ";MyDerived2;true;source12;;;;remote" ,
17+ ";MyGeneric;true;source1;;;;remote" , ";MyGeneric;true;source2;;;;remote" ,
18+ ";MyGeneric;true;source3();;;ReturnValue;remote" , ";MyDerived;true;source4;;;;remote" ,
19+ ";MyDerived;true;source5;;;;remote" , ";MyDerived;true;source6();;;ReturnValue;remote" ,
20+ ";MyDerived;true;source7;;;;remote" , ";MyDerived;true;source8();;;ReturnValue;remote" ,
21+ ";MyDerived2;true;source9;;;;remote" , ";MyDerived2;true;source10;;;;remote" ,
22+ ";MyDerived2;true;source11();;;ReturnValue;remote" , ";MyDerived2;true;source12;;;;remote" ,
3023 ";MyDerived2;true;source13();;;ReturnValue;remote" ,
3124 // ---
32- ";MyProtocol;true;source1;;;;remote" ,
33- ";MyProtocol;true;source2;;;;remote" ,
25+ ";MyProtocol;true;source1;;;;remote" , ";MyProtocol;true;source2;;;;remote" ,
3426 // ---
35- ";MyProtocol2;true;source1;;;;remote" ,
36- ";MyProtocol2;true;source2;;;;remote" ,
27+ ";MyProtocol2;true;source1;;;;remote" , ";MyProtocol2;true;source2;;;;remote" ,
3728 ]
3829 }
3930}
0 commit comments