公开(公告)号：US20220358286A1

公开(公告)日：2022-11-10

申请号：US17237936

申请日：2021-04-22

Applicant: Microsoft Technology Licensing, LLC

Inventor： Mark Alistair WILSON-THOMAS ,  Jonathan Keith SIMMONS ,  David Ellis PUGH ,  Vivian Julia LIM ,  Anqi LI ,  Shwetha SRINATH ,  German David OBANDO CHACON ,  Jin Woo JANG ,  Shengyu FU ,  Shao Kun DENG

IPC: G06F40/274 ,  G06F40/166 ,  G06F8/33 ,  G06F40/284

Abstract: Edit automation enhancements may be implemented in source code editors and other text editors. Provisional selections that indicate user intentions are submitted to a suggestion generator with other edit context information, to improve the quality of generated text suggestions and reduce the cognitive load on users. A provisional selection may include a highlighted completion list entry, or document text targeted by a hovering cursor, or metainformation text targeted by the hovering cursor, for example. An inline grey text suggestion driven by provisional selection may be displayed simultaneously with completion list suggestions that were created without regard to provisional selection. Suggestions driven by provisional selection may be interleaved with existing document text. Suggestions may be accepted fully in one gesture, or in parts. Suggestions may be edited by a user before being accepted, driving further suggestion refinement. Multiple suggestions may be displayed simultaneously, reducing pressure on the suggestion generator.

公开(公告)号：US20230376685A1

公开(公告)日：2023-11-23

申请号：US18229485

申请日：2023-08-02

Applicant: Microsoft Technology Licensing, LLC

Inventor： Mark Alistair WILSON-THOMAS ,  Jonathan Keith SIMMONS ,  David Ellis PUGH ,  Vivian Julia LIM ,  Anqi LI ,  Shwetha SRINATH ,  German David OBANDO CHACON ,  Jin Woo JANG ,  Shengyu FU ,  Shao Kun DENG

IPC: G06F40/274 ,  G06F40/284 ,  G06F40/166 ,  G06F8/33

CPC classification number: G06F40/274 ,  G06F40/284 ,  G06F40/166 ,  G06F8/33

Abstract: Edit automation enhancements may be implemented in source code editors and other text editors. Provisional selections that indicate user intentions are submitted to a suggestion generator with other edit context information, to improve the quality of generated text suggestions and reduce the cognitive load on users. A provisional selection may include a highlighted completion list entry, or document text targeted by a hovering cursor, or metainformation text targeted by the hovering cursor, for example. An inline grey text suggestion driven by provisional selection may be displayed simultaneously with completion list suggestions that were created without regard to provisional selection. Suggestions driven by provisional selection may be interleaved with existing document text. Suggestions may be accepted fully in one gesture, or in parts. Suggestions may be edited by a user before being accepted, driving further suggestion refinement. Multiple suggestions may be displayed simultaneously, reducing pressure on the suggestion generator.

公开(公告)号：US20230289180A1

公开(公告)日：2023-09-14

申请号：US17692013

申请日：2022-03-10

Applicant: Microsoft Technology Licensing, LLC

Inventor： Peter GROENEWEGEN ,  Gustavo ARAUJO SOARES ,  Arjun RADHAKRISHNA ,  Mark Alistair WILSON-THOMAS ,  Jonathan Keith SIMMONS

IPC: G06F8/75 ,  G06F8/33 ,  G06F8/71

CPC classification number: G06F8/75 ,  G06F8/33 ,  G06F8/71

Abstract: Methods, systems, and computer program products for deploying a static code analyzer based on program synthesis from input-output examples. A computer system uses program synthesis on a set of input-output examples of source code edits to generate a rewrite rule that defines a transformation pattern. Based on a determined static code analyzer format, the computer system generates a static code analyzer from the rewrite rule. The static code analyzer includes a find portion that indicates a matching condition for identifying a portion of source code text, and a fix portion that indicates a textual replacement to apply to the portion of source code text matched by the find portion. The computer system deploys the static code analyzer to a development environment, including configuring the static code analyzer to be executable against a source code file within the development environment.