公开(公告)号：CN101681280B

公开(公告)日：2012-12-19

申请号：CN200880017200.0

申请日：2008-05-16

Applicant: 微软公司

Inventor： J·M·斯托尔 ,  J·斯特拉尼克 ,  R·拜尔斯

IPC: G06F11/00

CPC classification number: G06F11/3664

Abstract: 进程内调试体验可使用支持进程外调试的基础结构来实现。要被调试的程序可以用命令行语言来编写，该命令行语言通过输入循环来接收并处理输入。用于该语言的解释器在第一进程中运行。助手程序在第二进程中启动，且如同其是进程外调试器那样附连到第一进程。调试模块被加载到解释器，这提供了可利用助手程序的用户调试命令。在要被调试的程序生成调试事件时，该事件被助手进程接收，该助手进程使用调试原语来启动第一进程中的输入循环的新实例。由调试模块所提供的调试命令可被用户输入到输入循环的新实例中。

公开(公告)号：CN102270128A

公开(公告)日：2011-12-07

申请号：CN201110159919.1

申请日：2011-06-03

Applicant: 微软公司

Inventor： R·拜尔斯 ,  F·佩斯彻-盖里 ,  R·克里希纳斯瓦米

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/36 ,  G06F8/75

Abstract: 本发明公开了库一致性检查器。库管理系统可比较编程库之间的合约，以标识库之间的并集、交集及差集。管理系统可带有合约分析器，该合约分析器可从现有的库中移除合约定义以形成库合约。库合约可作为编程环境内的第一类项来管理，并且可被用作比较库的现有版本与新版本的参考。库管理系统可使用两个或多个相交的库来创建引用库，以供程序员编写应用程序以及其他用途。

公开(公告)号：CN101681280A

公开(公告)日：2010-03-24

申请号：CN200880017200.0

申请日：2008-05-16

Applicant: 微软公司

Inventor： J·M·斯托尔 ,  J·斯特拉尼克 ,  R·拜尔斯

IPC: G06F11/00

CPC classification number: G06F11/3664

Abstract: 进程内调试体验可使用支持进程外调试的基础结构来实现。要被调试的程序可以用命令行语言来编写，该命令行语言通过输入循环来接收并处理输入。用于该语言的解释器在第一进程中运行。助手程序在第二进程中启动，且如同其是进程外调试器那样附连到第一进程。调试模块被加载到解释器，这提供了可利用助手程序的用户调试命令。在要被调试的程序生成调试事件时，该事件被助手进程接收，该助手进程使用调试原语来启动第一进程中的输入循环的新实例。由调试模块所提供的调试命令可被用户输入到输入循环的新实例中。