Function visitOperator

devtool/src/graphSerializer.ts:99–110

(graph: Dagre.Graph, idTable: IdTable, operator: InternalProducer)

}

function visitOperator(graph: Dagre.Graph, idTable: IdTable, operator: InternalProducer) {
  const id = idTable.getId(operator);
  if (!graph.node(id)) {
    graph.setNode(id, {
      id,
      type: 'operator',
      label: operator.type,
      width: OPERATOR_NODE_SIZE[0],
      height: OPERATOR_NODE_SIZE[1],
    });
  }
}

function visitEdge(graph: Dagre.Graph,
                   idTable: IdTable,