Source position: jstree.pp line 1395
public property TJSEnumTypeDef.Names[aIndex: Integer] : jsBase.TJSString read GetName;