Replace singleton set

smowton · smowton · commit c0c50147b36a · 2022-04-26T13:34:24.000+01:00
diff --git a/java/ql/lib/semmle/code/java/frameworks/JMS.qll b/java/ql/lib/semmle/code/java/frameworks/JMS.qll
@@ -107,6 +107,6 @@ private class Jms2Source extends SourceModelCsv {
 /** Defines additional taint propagation steps in JMS 2. */
 private class Jms2FlowStep extends SummaryModelCsv {
   override predicate row(string row) {
-    row = ["javax.jms;Message;true;getBody;();;Argument[-1];ReturnValue;taint",]
+    row = "javax.jms;Message;true;getBody;();;Argument[-1];ReturnValue;taint"
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -107,6 +107,6 @@ private class Jms2Source extends SourceModelCsv {`
`107`	`107`	`/** Defines additional taint propagation steps in JMS 2. */`
`108`	`108`	`private class Jms2FlowStep extends SummaryModelCsv {`
`109`	`109`	`override predicate row(string row) {`
`110`		`- row = ["javax.jms;Message;true;getBody;();;Argument[-1];ReturnValue;taint",]`
	`110`	`+ row = "javax.jms;Message;true;getBody;();;Argument[-1];ReturnValue;taint"`
`111`	`111`	`}`
`112`	`112`	`}`