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