Predicate DataFlow::stageStats

INTERNAL: Only for debugging.

Calculates per-stage metrics for data flow.

Import path

import semmle.code.java.dataflow.DataFlow

predicate stageStats(int n, string stage, int nodes, int fields, int conscand, int states, int tuples, Configuration config)