| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345 |
- import { StringReader, StringWriter } from './strings';
- import { comma, decodeInteger, encodeInteger, hasMoreVlq, semicolon } from './vlq';
- const EMPTY: any[] = [];
- type Line = number;
- type Column = number;
- type Kind = number;
- type Name = number;
- type Var = number;
- type SourcesIndex = number;
- type ScopesIndex = number;
- type Mix<A, B, O> = (A & O) | (B & O);
- export type OriginalScope = Mix<
- [Line, Column, Line, Column, Kind],
- [Line, Column, Line, Column, Kind, Name],
- { vars: Var[] }
- >;
- export type GeneratedRange = Mix<
- [Line, Column, Line, Column],
- [Line, Column, Line, Column, SourcesIndex, ScopesIndex],
- {
- callsite: CallSite | null;
- bindings: Binding[];
- isScope: boolean;
- }
- >;
- export type CallSite = [SourcesIndex, Line, Column];
- type Binding = BindingExpressionRange[];
- export type BindingExpressionRange = [Name] | [Name, Line, Column];
- export function decodeOriginalScopes(input: string): OriginalScope[] {
- const { length } = input;
- const reader = new StringReader(input);
- const scopes: OriginalScope[] = [];
- const stack: OriginalScope[] = [];
- let line = 0;
- for (; reader.pos < length; reader.pos++) {
- line = decodeInteger(reader, line);
- const column = decodeInteger(reader, 0);
- if (!hasMoreVlq(reader, length)) {
- const last = stack.pop()!;
- last[2] = line;
- last[3] = column;
- continue;
- }
- const kind = decodeInteger(reader, 0);
- const fields = decodeInteger(reader, 0);
- const hasName = fields & 0b0001;
- const scope: OriginalScope = (
- hasName ? [line, column, 0, 0, kind, decodeInteger(reader, 0)] : [line, column, 0, 0, kind]
- ) as OriginalScope;
- let vars: Var[] = EMPTY;
- if (hasMoreVlq(reader, length)) {
- vars = [];
- do {
- const varsIndex = decodeInteger(reader, 0);
- vars.push(varsIndex);
- } while (hasMoreVlq(reader, length));
- }
- scope.vars = vars;
- scopes.push(scope);
- stack.push(scope);
- }
- return scopes;
- }
- export function encodeOriginalScopes(scopes: OriginalScope[]): string {
- const writer = new StringWriter();
- for (let i = 0; i < scopes.length; ) {
- i = _encodeOriginalScopes(scopes, i, writer, [0]);
- }
- return writer.flush();
- }
- function _encodeOriginalScopes(
- scopes: OriginalScope[],
- index: number,
- writer: StringWriter,
- state: [
- number, // GenColumn
- ],
- ): number {
- const scope = scopes[index];
- const { 0: startLine, 1: startColumn, 2: endLine, 3: endColumn, 4: kind, vars } = scope;
- if (index > 0) writer.write(comma);
- state[0] = encodeInteger(writer, startLine, state[0]);
- encodeInteger(writer, startColumn, 0);
- encodeInteger(writer, kind, 0);
- const fields = scope.length === 6 ? 0b0001 : 0;
- encodeInteger(writer, fields, 0);
- if (scope.length === 6) encodeInteger(writer, scope[5], 0);
- for (const v of vars) {
- encodeInteger(writer, v, 0);
- }
- for (index++; index < scopes.length; ) {
- const next = scopes[index];
- const { 0: l, 1: c } = next;
- if (l > endLine || (l === endLine && c >= endColumn)) {
- break;
- }
- index = _encodeOriginalScopes(scopes, index, writer, state);
- }
- writer.write(comma);
- state[0] = encodeInteger(writer, endLine, state[0]);
- encodeInteger(writer, endColumn, 0);
- return index;
- }
- export function decodeGeneratedRanges(input: string): GeneratedRange[] {
- const { length } = input;
- const reader = new StringReader(input);
- const ranges: GeneratedRange[] = [];
- const stack: GeneratedRange[] = [];
- let genLine = 0;
- let definitionSourcesIndex = 0;
- let definitionScopeIndex = 0;
- let callsiteSourcesIndex = 0;
- let callsiteLine = 0;
- let callsiteColumn = 0;
- let bindingLine = 0;
- let bindingColumn = 0;
- do {
- const semi = reader.indexOf(';');
- let genColumn = 0;
- for (; reader.pos < semi; reader.pos++) {
- genColumn = decodeInteger(reader, genColumn);
- if (!hasMoreVlq(reader, semi)) {
- const last = stack.pop()!;
- last[2] = genLine;
- last[3] = genColumn;
- continue;
- }
- const fields = decodeInteger(reader, 0);
- const hasDefinition = fields & 0b0001;
- const hasCallsite = fields & 0b0010;
- const hasScope = fields & 0b0100;
- let callsite: CallSite | null = null;
- let bindings: Binding[] = EMPTY;
- let range: GeneratedRange;
- if (hasDefinition) {
- const defSourcesIndex = decodeInteger(reader, definitionSourcesIndex);
- definitionScopeIndex = decodeInteger(
- reader,
- definitionSourcesIndex === defSourcesIndex ? definitionScopeIndex : 0,
- );
- definitionSourcesIndex = defSourcesIndex;
- range = [genLine, genColumn, 0, 0, defSourcesIndex, definitionScopeIndex] as GeneratedRange;
- } else {
- range = [genLine, genColumn, 0, 0] as GeneratedRange;
- }
- range.isScope = !!hasScope;
- if (hasCallsite) {
- const prevCsi = callsiteSourcesIndex;
- const prevLine = callsiteLine;
- callsiteSourcesIndex = decodeInteger(reader, callsiteSourcesIndex);
- const sameSource = prevCsi === callsiteSourcesIndex;
- callsiteLine = decodeInteger(reader, sameSource ? callsiteLine : 0);
- callsiteColumn = decodeInteger(
- reader,
- sameSource && prevLine === callsiteLine ? callsiteColumn : 0,
- );
- callsite = [callsiteSourcesIndex, callsiteLine, callsiteColumn];
- }
- range.callsite = callsite;
- if (hasMoreVlq(reader, semi)) {
- bindings = [];
- do {
- bindingLine = genLine;
- bindingColumn = genColumn;
- const expressionsCount = decodeInteger(reader, 0);
- let expressionRanges: BindingExpressionRange[];
- if (expressionsCount < -1) {
- expressionRanges = [[decodeInteger(reader, 0)]];
- for (let i = -1; i > expressionsCount; i--) {
- const prevBl = bindingLine;
- bindingLine = decodeInteger(reader, bindingLine);
- bindingColumn = decodeInteger(reader, bindingLine === prevBl ? bindingColumn : 0);
- const expression = decodeInteger(reader, 0);
- expressionRanges.push([expression, bindingLine, bindingColumn]);
- }
- } else {
- expressionRanges = [[expressionsCount]];
- }
- bindings.push(expressionRanges);
- } while (hasMoreVlq(reader, semi));
- }
- range.bindings = bindings;
- ranges.push(range);
- stack.push(range);
- }
- genLine++;
- reader.pos = semi + 1;
- } while (reader.pos < length);
- return ranges;
- }
- export function encodeGeneratedRanges(ranges: GeneratedRange[]): string {
- if (ranges.length === 0) return '';
- const writer = new StringWriter();
- for (let i = 0; i < ranges.length; ) {
- i = _encodeGeneratedRanges(ranges, i, writer, [0, 0, 0, 0, 0, 0, 0]);
- }
- return writer.flush();
- }
- function _encodeGeneratedRanges(
- ranges: GeneratedRange[],
- index: number,
- writer: StringWriter,
- state: [
- number, // GenLine
- number, // GenColumn
- number, // DefSourcesIndex
- number, // DefScopesIndex
- number, // CallSourcesIndex
- number, // CallLine
- number, // CallColumn
- ],
- ): number {
- const range = ranges[index];
- const {
- 0: startLine,
- 1: startColumn,
- 2: endLine,
- 3: endColumn,
- isScope,
- callsite,
- bindings,
- } = range;
- if (state[0] < startLine) {
- catchupLine(writer, state[0], startLine);
- state[0] = startLine;
- state[1] = 0;
- } else if (index > 0) {
- writer.write(comma);
- }
- state[1] = encodeInteger(writer, range[1], state[1]);
- const fields =
- (range.length === 6 ? 0b0001 : 0) | (callsite ? 0b0010 : 0) | (isScope ? 0b0100 : 0);
- encodeInteger(writer, fields, 0);
- if (range.length === 6) {
- const { 4: sourcesIndex, 5: scopesIndex } = range;
- if (sourcesIndex !== state[2]) {
- state[3] = 0;
- }
- state[2] = encodeInteger(writer, sourcesIndex, state[2]);
- state[3] = encodeInteger(writer, scopesIndex, state[3]);
- }
- if (callsite) {
- const { 0: sourcesIndex, 1: callLine, 2: callColumn } = range.callsite!;
- if (sourcesIndex !== state[4]) {
- state[5] = 0;
- state[6] = 0;
- } else if (callLine !== state[5]) {
- state[6] = 0;
- }
- state[4] = encodeInteger(writer, sourcesIndex, state[4]);
- state[5] = encodeInteger(writer, callLine, state[5]);
- state[6] = encodeInteger(writer, callColumn, state[6]);
- }
- if (bindings) {
- for (const binding of bindings) {
- if (binding.length > 1) encodeInteger(writer, -binding.length, 0);
- const expression = binding[0][0];
- encodeInteger(writer, expression, 0);
- let bindingStartLine = startLine;
- let bindingStartColumn = startColumn;
- for (let i = 1; i < binding.length; i++) {
- const expRange = binding[i];
- bindingStartLine = encodeInteger(writer, expRange[1]!, bindingStartLine);
- bindingStartColumn = encodeInteger(writer, expRange[2]!, bindingStartColumn);
- encodeInteger(writer, expRange[0]!, 0);
- }
- }
- }
- for (index++; index < ranges.length; ) {
- const next = ranges[index];
- const { 0: l, 1: c } = next;
- if (l > endLine || (l === endLine && c >= endColumn)) {
- break;
- }
- index = _encodeGeneratedRanges(ranges, index, writer, state);
- }
- if (state[0] < endLine) {
- catchupLine(writer, state[0], endLine);
- state[0] = endLine;
- state[1] = 0;
- } else {
- writer.write(comma);
- }
- state[1] = encodeInteger(writer, endColumn, state[1]);
- return index;
- }
- function catchupLine(writer: StringWriter, lastLine: number, line: number) {
- do {
- writer.write(semicolon);
- } while (++lastLine < line);
- }
|