File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -270,7 +270,7 @@ module KindPredicatesLog {
270270 else result = "<Summary event>"
271271 }
272272
273- Array getRa ( string ordering ) { result = this .getObject ( "ra" ) .getArray ( ordering ) }
273+ Array getRA ( string ordering ) { result = this .getObject ( "ra" ) .getArray ( ordering ) }
274274 }
275275
276276 class SentinelEmpty extends SummaryEvent {
@@ -334,7 +334,7 @@ module KindPredicatesLog {
334334 * Gets the RA for this event. Unlike recursive predicates, a COMPUTE_SIMPLE
335335 * event only has one pipeline ordering (and it's named "pipeline").
336336 */
337- Array getRa ( ) { result = this .getObject ( "ra" ) .getArray ( "pipeline" ) }
337+ Array getRA ( ) { result = this .getObject ( "ra" ) .getArray ( "pipeline" ) }
338338 }
339339
340340 class ComputeRecursive extends SummaryEvent {
Original file line number Diff line number Diff line change @@ -37,7 +37,7 @@ predicate extractInformation(
3737 pragma [ only_bind_out ] ( tuples .getFloat ( pipelineIndex ) ) = maxTupleCount and
3838 tuples = run .getCounts ( ) and
3939 duplicationPercentages = run .getDuplicationPercentage ( ) and
40- ra = simple .getRa ( )
40+ ra = simple .getRA ( )
4141 )
4242}
4343
You can’t perform that action at this time.
0 commit comments