/** * Constructor. * * @param dataflow * the Dataflow object whose values should be used to annotate * the printed CFG */ public DataflowCFGPrinter(Dataflow<Fact, AnalysisType> dataflow) { super(dataflow.getCFG()); this.dataflow = dataflow; setIsForwards(dataflow.getAnalysis().isForwards()); }
/** * Constructor. * * @param dataflow * the Dataflow object whose values should be used to annotate * the printed CFG */ public DataflowCFGPrinter(Dataflow<Fact, AnalysisType> dataflow) { super(dataflow.getCFG()); this.dataflow = dataflow; setIsForwards(dataflow.getAnalysis().isForwards()); }