Source position: jstree.pp line 1408
public property TJSEnumTypeDef.NameCount : Integer read GetNameCount;