diff --git a/spec.emu b/spec.emu index 140d2df..f39b635 100644 --- a/spec.emu +++ b/spec.emu @@ -572,6 +572,7 @@ "sourcesContent": [null, null], "names": ["src", "maps", "are", "fun"], "mappings": "A,AAAB;;ABCDE", + "rangeMappings": "B;;A", "ignoreList": [0] } @@ -583,6 +584,7 @@
  • The sourcesContent field is an optional list of source content (i.e. the original source) strings, used when the source cannot be hosted. The contents are listed in the same order as in the sources field. Entries may be *null* if some original sources should be retrieved by name.
  • The names field is an optional list of symbol names which may be used by the mappings field.
  • The mappings field is a string with the encoded mapping data (see section ).
    • +
  • The rangeMappings field is a string with the encoded range mappings data (see section ).
    •
  • The ignoreList field is an optional list of indices of files that should be considered third party code, such as framework code or bundler-generated code. This allows developer tools to avoid code that developers likely don't want to see or step through, without requiring developers to configure this beforehand. It refers to the sources field and lists the indices of all the known third-party sources in the source map. Some browsers may also use the deprecated `x_google_ignoreList` field if `ignoreList` is not present.
    • @@ -683,6 +685,9 @@ 1. Let _sources_ be DecodeSourceMapSources(_baseURL_, _sourceRootField_, _sourcesField_, _sourcesContentField_, _ignoreListField_). 1. Let _namesField_ be GetOptionalListOfStrings(_json_, *"names"*). 1. Let _mappings_ be DecodeMappings(_mappingsField_, _namesField_, _sources_). + 1. Let _rangeMappingsField_ be GetOptionalString(_json_, *"rangeMappings"*). + 1. Let _rangeMappings_ be DecodeRangeMappings(_rangeMappingsField_). + 1. Perform UpdateMappingsForRangeMappings(_mappings_, _rangeMappings_). 1. [declared="a,b"] Sort _mappings_ in ascending order, with a Decoded Mapping Record _a_ being less than a Decoded Mapping Record _b_ if ComparePositions(_a_.[[GeneratedPosition]], _b_.[[GeneratedPosition]]) is ~lesser~. 1. Return the Decoded Source Map Record { [[File]]: _fileField_, [[Sources]]: _sources_, [[Mappings]]: _mappings_ }. @@ -834,6 +839,10 @@ [[Name]] a String or *null* + + [[IsRangeMapping]] + a Boolean + @@ -960,7 +969,7 @@ 1. Optionally report an error. 1. Return. 1. Let _position_ be a new Position Record { [[Line]]: _state_.[[GeneratedLine]], [[Column]]: _state_.[[GeneratedColumn]] }. - 1. Let _decodedMapping_ be a new DecodedMappingRecord { [[GeneratedPosition]]: _position_, [[OriginalPosition]]: *null*, [[Name]]: *null* }. + 1. Let _decodedMapping_ be a new DecodedMappingRecord { [[GeneratedPosition]]: _position_, [[OriginalPosition]]: *null*, [[Name]]: *null*, [[IsRangeMapping]]: *false* }. 1. Append _decodedMapping_ to _mappings_. @@ -986,7 +995,7 @@ 1. Perform DecodeMappingsField of |Name| with arguments _state_, _mappings_, _names_ and _sources_. 1. If _state_.[[NameIndex]] < 0 or _state_.[[NameIndex]] ≥ the number of elements of _names_, optionally report an error. 1. Else, set _name_ to _names_[_state_.[[NameIndex]]]. - 1. Let _decodedMapping_ be a new DecodedMappingRecord { [[GeneratedPosition]]: _generatedPosition_, [[OriginalPosition]]: _originalPosition_, [[Name]]: _name_ }. + 1. Let _decodedMapping_ be a new DecodedMappingRecord { [[GeneratedPosition]]: _generatedPosition_, [[OriginalPosition]]: _originalPosition_, [[Name]]: _name_, [[IsRangeMapping]]: *false* }. 1. Append _decodedMapping_ to _mappings_. @@ -1119,6 +1128,199 @@ + + + + +

    Range mappings

    + +

    A range mapping is a mapping that specifies mapped positions in the original source for a continuous range of positions in the generated code rather than for a single position. Each mapping in a source map can be specified to be a range mapping or not based on the encoded offsets in the rangeMappings field. A range mapping maps every position starting at its generated position field and ending before the generated position field of the next mapping, where the mapped original position is the mapping's original position field offset by the generated position's distance from the start of the range.

    + +

    A Decoded Range Mapping Offset Record has the following fields:

    + + + + + + + + + + + + + + + + +
    + Field Name + + Value Type +
    [[GeneratedLine]]a non-negative integer
    [[MappingIndex]]a non-negative integer
    +     + +

    A Decode Range Mappings State Record has the following fields.

    + + + + + + + + + + + + + + + + +
    + Field Name + + Value Type +
    [[GeneratedLine]]a non-negative integer
    [[MappingIndex]]a non-negative integer or ~none~
    +     + + +

    Range mappings grammar

    +

    The range mappings String must adhere to the following grammar:

    + + + RangeMappingsField : + RangeMappingLineList + + RangeMappingLineList : + RangeMappingLine + RangeMappingLine `;` RangeMappingLineList + + RangeMappingLine : + RangeMappingList? + + RangeMappingList : + RangeMapping + RangeMapping RangeMappingList + + RangeMapping : + Vlq + +     + + +

    + DecodeRangeMappingsField ( + _state_: a Decode Range Mappings State Record, + _rangeMappings_: a List of Decoded Range Mapping Offset Records, + ) +

    +
    + + RangeMappingLineList : + RangeMappingLine `;` RangeMappingLineList + + + 1. Perform DecodeRangeMappingsField of |RangeMappingLine| with arguments _state_ and _rangeMappings_. + 1. Set _state_.[[GeneratedLine]] to _state_.[[GeneratedLine]] + 1. + 1. Set _state_.[[MappingIndex]] to ~none~. + 1. Perform DecodeRangeMappingsField of |RangeMappingLineList| with arguments _state_ and _rangeMappings_. + + + RangeMappingLine : [empty] + + + 1. Return. + + + RangeMappingList : + RangeMapping RangeMappingList + + + 1. Perform DecodeRangeMappingsField of |RangeMapping| with arguments _state_ and _rangeMappings_. + 1. Perform DecodeRangeMappingsField of |RangeMappingList| with arguments _state_ and _rangeMappings_. + + + RangeMapping : + Vlq + + + 1. Let _relativeIndex_ be the VLQUnsignedValue of |Vlq|. + 1. If _relativeIndex_ = 0 and _state_.[[MappingIndex]] is not ~none~, then + 1. Optionally report an error. + 1. If _state_.[[MappingIndex]] is ~none~, then + 1. Set _state_.[[MappingIndex]] to _relativeIndex_. + 1. Else, + 1. Set _state_.[[MappingIndex]] to _state_.[[MappingIndex]] + _relativeIndex_. + 1. Let _rangeMappingOffset_ be a new Decoded Range Mapping Offset Record { [[GeneratedLine]]: _state_.[[GeneratedLine]], [[MappingIndex]]: _state_.[[MappingIndex]] }. + 1. Append _rangeMappingOffset_ to _rangeMappings_. + +     + + +

    + DecodeRangeMappings ( + _rawRangeMappings_: a String or *null*, + ): a List of Decoded Range Mapping Offset Records +

    +
    + + 1. Let _rangeMappings_ be a new empty List. + 1. If _rawRangeMappings_ is *null*, return _rangeMappings_. + 1. Let _rangeMappingsNode_ be the root Parse Node when parsing _rawRangeMappings_ using |RangeMappingsField| as the goal symbol. + 1. If parsing failed, then + 1. Optionally report an error. + 1. Return _rangeMappings_. + 1. Let _state_ be a new Decode Range Mappings State Record { [[GeneratedLine]]: 0, [[MappingIndex]]: ~none~ }. + 1. Perform DecodeRangeMappingsField of _rangeMappingsNode_ with arguments _state_ and _rangeMappings_. + 1. Return _rangeMappings_. + +     + + +

    + UpdateMappingsForRangeMappings ( + _mappings_: a List of Decoded Mapping Records, + _rangeMappingsOffsets_: a List of Decoded Range Mapping Offset Records, + ): ~unused~ +

    +
    + + 1. For each Decoded Range Mapping Offset Record _rangeMappingOffset_ of _rangeMappingsOffsets_, do + 1. Let _mapping_ be the result of FindMappingForRangeMappingOffset(_mappings_, _rangeMappingOffset_). + 1. If _mapping_ is ~not-found~, then + 1. Optionally report an error. + 1. Else, + 1. If _mapping_.[[OriginalPosition]] is *null*, optionally report an error. + 1. Assert: _mapping_.[[IsRangeMapping]] is *false*. + 1. Set _mapping_.[[IsRangeMapping]] to *true*. + +     + + +

    + FindMappingForRangeMappingOffset ( + _mappings_: a List of Decoded Mapping Records, + _offset_: a Decoded Range Mapping Offset Record, + ): a Decoded Mapping Record or ~not-found~ +

    +
    + + 1. Let _currentLine_ be *null*. + 1. Let _currentIndex_ be 0. + 1. For each Decoded Mapping Record _mapping_ of _mappings_, do + 1. If _currentLine_ ≠ _mapping_.[[GeneratedLine]], then + 1. Set _currentLine_ to _mapping_.[[GeneratedLine]]. + 1. Set _currentIndex_ to 0. + 1. Else, + 1. Set _currentIndex_ to _currentIndex_ + 1. + 1. If _currentLine_ = _offset_.[[GeneratedLine]] and _currentIndex_ = _offset_.[[MappingIndex]], then + 1. Return _mapping_. + 1. Return ~not-found~. + +     +     +     @@ -1570,10 +1772,36 @@ return lastURL; 1. If _last_ is not *null*, then 1. For each element _mapping_ of _mappings_, do 1. If the result of performing ComparePositions(_last_.[[GeneratedPosition]], _mapping_.[[GeneratedPosition]]) is ~equal~, then - 1. Append _mapping_.[[OriginalPosition]] to _originalPositions_. + 1. If _mapping_.[[IsRangeMapping]] is true, then + 1. Append GetRangeMappedPosition(_generatedPosition_, _mapping_) to _originalPositions_. + 1. Else, + 1. Append _mapping_.[[OriginalPosition]] to _originalPositions_. 1. Return _originalPositions_. + + + + +

    + GetRangeMappedPosition ( + _lookupPosition_: a Position Record, + _mapping_: a Decoded Mapping Record, + ): an Original Position Record +

    +
    + + 1. Let _lineDelta_ be _lookupPosition_.[[Line]] - _mapping_.[[GeneratedPosition]].[[Line]]. + 1. Assert: _lineDelta_ ≥ 0. + 1. If _lineDelta_ is 0, then + 1. Let _columnDelta_ be _lookupPosition_.[[Column]] - _mapping_.[[GeneratedPosition]].[[Column]]. + 1. Else, + 1. Let _columnDelta_ be 0. + 1. Assert: _columnDelta_ ≥ 0. + 1. Return a new Original Position Record { [[Source]]: _mapping_.[[Source]], [[Line]]: _mapping_.[[OriginalPosition]].[[Line]] + _lineDelta_, [[Column]]: _mapping_.[[OriginalPosition]].[[Column]] + _columnDelta_ }. + +     +