Source position: jstree.pp line 1580
public property TJSObjectTypeDef.Elements[aIndex: Integer] : TJSObjectTypeElementDef read GetElement;