youdao

可以说，任何好的注释或元数据工具的最大优点是能够使用额外的数据来分析代码。

Arguably, the nicest feature of any good annotation or metadata tool is the ability to use the extra data to analyze code.

youdao

JDT提供了几个工具来帮助您分析代码。

The JDT offers several tools to help you analyze code.

youdao

And it becomes a powerful way of reasoning about the code, a powerful way of using the code, so those notions of specs are really important.

以保证你写对代码,这将成为分析代码,使用代码的重要手段,所以规范说明的概念。

麻省理工公开课 - 计算机科学及编程导论课程节选