Java: Fix some minor bugs in the CSV printing of summaries for flow test generation.

Author: michaelnebel

java/ql/src/utils/flowtestcasegenerator/FlowTestCaseSupportMethods.qll

@@ -164,8 +164,8 @@ private class DefaultGetMethod extends GetMethod {
 
   override string getCsvModel() {
     result =
-      "generatedtest;Test;false;" + this.getName() + ";(Object);;" +
-        getComponentSpec(SummaryComponent::content(c)) + "Argument[0].;ReturnValue;value;manual"
+      "generatedtest;Test;false;" + this.getName() + ";(Object);;Argument[0]." +
+        getComponentSpec(SummaryComponent::content(c)) + ";ReturnValue;value;manual"
   }
 }
 
@@ -360,8 +360,8 @@ private class DefaultGenMethod extends GenMethod {
 
   override string getCsvModel() {
     result =
-      "generatedtest;Test;false;" + this.getName() + ";(Object);;Argument[0];" +
-        getComponentSpec(SummaryComponent::content(c)) + "ReturnValue.;value;manual"
+      "generatedtest;Test;false;" + this.getName() + ";(Object);;Argument[0];ReturnValue." +
+        getComponentSpec(SummaryComponent::content(c)) + ";value;manual"
   }
 }
 

java/ql/src/utils/flowtestcasegenerator/testModelsHeader.qlfrag

@@ -2,4 +2,4 @@ class SummaryModelTest extends SummaryModelCsv {
   override predicate row(string row) {
     row =
       [
-        //"package;type;overrides;name;signature;ext;inputspec;outputspec;kind",
+        //"package;type;overrides;name;signature;ext;inputspec;outputspec;kind;provenance"