Searched refs:pos_start (Results 1 – 5 of 5) sorted by relevance
48 if (location.pos_start != undefined) {49 newLocation.pos_start = location.pos_start;60 if (newLocation.pos_start == undefined &&64 newLocation.pos_start = broker.nodePositionMap[location.node_id];65 newLocation.pos_end = location.pos_start + 1;
37 view.pos_start = Number(text);76 pos_start: pos,137 if (location.pos_start != undefined && location.pos_end != undefined) {139 result.pos_start = location.pos_start;142 else if (view.pos_start != -1) {144 result.pos_start = view.pos_start;145 result.pos_end = result.pos_start + 1;159 view.pos_start = -1;
73 if (l1.pos_start === undefined || l2.pos_start == undefined) {76 if (l1.pos_start == -1 || l2.pos_start == -1) {79 if (l1.pos_start < l2.pos_start) {80 return l1.pos_end > l2.pos_start;82 return l1.pos_start < l2.pos_end;
30 locations.push({pos_start: span.start, pos_end: span.end}); property59 let start = location.pos_start;
45 locations.push({ pos_start: data.pos, pos_end: data.pos + 1, node_id: data.id}); property58 var start = location.pos_start;