const setRangeText_methodinfo: JSJitInfo;