Source position: jstree.pp line 1193
public function TJSElementNodes.GetEnumerator: TElementNodeEnumerator;