Source position: jstree.pp line 1409
public property TJSEnumTypeDef.Names[aIndex: Integer] : TJSTreeString read GetName;