Searched defs:pos_start (Results 1 – 2 of 2) sorted by relevance
30 locations.push({pos_start: span.start, pos_end: span.end}); property
45 locations.push({ pos_start: data.pos, pos_end: data.pos + 1, node_id: data.id}); property