Source position: jstree.pp line 1407
public property TJSNamedTypedElement.ElementType : TJSTypeDef read FElementType write FElementType;