INNER CODE UNIT · Dart
GraphViewElement
nabil6391/graphview · lib/GraphView.dart:626
class GraphViewElement extends RenderObjectElement
implements GraphChildManager {
GraphViewElement(GraphViewWidget super.widget);
@override
GraphViewWidget get widget => super.widget as GraphViewWidget;
@override
RenderCustomLayoutBox get renderObject =>
super.renderObject as RenderCustomLayoutBox;
// Contains all children, including those that are keyed
Map<Node, Element> _nodeToElement = <Node, Element>{};
Map<Key, Element> _keyToElement = <Key, Element>{};
// Used between startLayout() & endLayout() to compute the new values
Map<Node, Element>? _newNodeToElement;
Map<Key, Element>? _newKeyToElement;