-
公开(公告)号:US07584458B2
公开(公告)日:2009-09-01
申请号:US10679254
申请日:2003-10-02
申请人: Manuvir Das , Manuel Alfred Fahndrich , Ramanathan Venkatapathy , Daniel W. Weise , William Hunter Hudson , Sameet Harishanker Agarwal , William Hiroaki Shihara , Hannes Ruescher , Spencer Wong Low , F. Soner Terek
发明人: Manuvir Das , Manuel Alfred Fahndrich , Ramanathan Venkatapathy , Daniel W. Weise , William Hunter Hudson , Sameet Harishanker Agarwal , William Hiroaki Shihara , Hannes Ruescher , Spencer Wong Low , F. Soner Terek
CPC分类号: G06F11/328 , G06F11/3624
摘要: Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of function call context. In another aspect, annotations are inserted at global variables, formal parameters, return values, or user-defined types. The annotations include, for example, properties and qualifiers. A property can indicate, for example, a characteristic of a buffer. In another aspect, an annotation indicates that a value has usability properties sufficient to allow a function to rely on the value, where the usability properties depend on value type.
摘要翻译: 描述用于实现源代码注释语言的技术和工具。 在一个方面,将关键字添加到功能界面中以定义与功能调用上下文无关的功能的契约。 在另一方面,注释被插入到全局变量,形式参数,返回值或用户定义的类型中。 注释包括例如属性和限定符。 属性可以指示例如缓冲器的特性。 另一方面,注释表示一个值具有足够的可用性属性,以允许函数依赖该值,其中可用性属性取决于值类型。