109110111112113114115116117118119
{ ElementGraph pipelineGraph = pipelineGraphs.get( j ); String pipelineGraphName = String.format( "%s/%04d-%04d-%04d-step-node-pipeline-sub-graph.dot", rootPath, stepCount, i, j ); pipelineGraph.writeDOT( pipelineGraphName ); } } }