Fixes

calumgrant · calumgrant · commit dde18de2d136 · 2023-02-23T19:03:05.000Z
diff --git a/ql/ql/src/codeql_ql/StructuredLogs.qll b/ql/ql/src/codeql_ql/StructuredLogs.qll
@@ -68,6 +68,8 @@ class Array extends JSON::Array {
   float getFloat(int i) { result = this.getChild(i).(JSON::Number).getValue().toFloat() }
 
   Array getArray(int i) { result = this.getChild(i) }
+
+  int getLength() { result = count(this.getChild(_)) }
 }
 
 /**
diff --git a/ql/ql/src/experimental/queries/PredicateSummaries.ql b/ql/ql/src/experimental/queries/PredicateSummaries.ql
@@ -14,5 +14,5 @@ int maxPipeLineLength(KindPredicatesLog::SummaryEvent evt) {
 }
 
 from KindPredicatesLog::SummaryEvent evt
-select evt, evt.getResultSize(), evt.getMillis() as ms, maxTupleCount(evt) as mc, evt.getMillis(),
+select evt, evt.getResultSize(), evt.getMillis() as ms, maxTupleCount(evt) as mc,
   maxPipeLineLength(evt) as len order by mc desc

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,8 @@ class Array extends JSON::Array {`
`68`	`68`	`float getFloat(int i) { result = this.getChild(i).(JSON::Number).getValue().toFloat() }`
`69`	`69`
`70`	`70`	`Array getArray(int i) { result = this.getChild(i) }`
	`71`	`+`
	`72`	`+ int getLength() { result = count(this.getChild(_)) }`
`71`	`73`	`}`
`72`	`74`
`73`	`75`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -14,5 +14,5 @@ int maxPipeLineLength(KindPredicatesLog::SummaryEvent evt) {`
`14`	`14`	`}`
`15`	`15`
`16`	`16`	`from KindPredicatesLog::SummaryEvent evt`
`17`		`-select evt, evt.getResultSize(), evt.getMillis() as ms, maxTupleCount(evt) as mc, evt.getMillis(),`
	`17`	`+select evt, evt.getResultSize(), evt.getMillis() as ms, maxTupleCount(evt) as mc,`
`18`	`18`	`maxPipeLineLength(evt) as len order by mc desc`