Microsoft Technology Licensing, LLC

Jon E Jung

Vishal R Joshi

Michael Bach

Michael James Harder

Joseph M Davis

Daniel Philip Chartier

Anh Thi-Phuong Phan

Reshmi Mangalore

Jorge E Gabuardi Gonzalez

Michael J Harder

An element in a fetched file (a file received from the web server in response to an HTTP request) can be mapped to the source code that generated it and vice versa. When code is compiled at the web server, calls can be executed that emit HTML that includes metadata that maps a snippet of code back to a particular source file and to a particular location in the source file. The HTML can include injected symbols that specify that the information from a particular start position for a particular character length in the HTML comes from a particular start position to a particular end position in the source file.

Selection mapping between fetched files and source files

A selection in a browser in an integrated development environment can be mapped back to the original document that was fetched from a web server by uniquely identifying elements in the original document. A DOM can be created from the original document where the DOM retains the unique identifiers associated with the elements. Block lists for the original document and the DOM can be created. A differencing algorithm can be run on the two block lists. A selection in a browser can be mapped to a location in the DOM block list and the location in the DOM block list can be mapped to the original document.

Mapping selections between a browser and the original fetched file from a web server

A selection in a browser can be mapped back to a corresponding location range in one or more source files that generated the selection. A selection in a source file can be mapped to the corresponding location range in the browser's DOM. The selection in the browser can be mapped to a location range in a block list generated from the DOM. The location range in the DOM's block list can be mapped to a corresponding location range in a block list generated from the fetched file received from a web server. The location range in the fetched file's block list can be mapped to a particular location in the particular source file responsible for generating the selection in the browser. The selection in the browser and the source file can be displayed concurrently, the source file scrolled to the location range corresponding to the selection in the browser.

Live browser tooling in an integrated development environment

Mapping selections between a browser and the original file fetched from a web server

Growing community of inventors

Redmond, WA, United States of America

Jon E Jung