会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 9. 发明授权
    • Static type checking against external data sources
    • 对外部数据源的静态类型检查
    • US08813027B2
    • 2014-08-19
    • US12759721
    • 2010-04-14
    • Timothy Yat Tim NgJomo Ahab FisherDonald SymeLucas James Hoban
    • Timothy Yat Tim NgJomo Ahab FisherDonald SymeLucas James Hoban
    • G06F9/44
    • G06F8/437
    • Static type checking is performed against external data sources in an interacting editing environment. A rich editing experience can be provided to users for external data equivalent to that provided for internal static, typed data. An extensible compiler is provided so that a user or third party can extend type checking facilities to any external data source. An extensible language service is provided so that a user or third party can extend the language service to provide a consistent, current static view of external data. The extensible compiler and language service allow language extensions to plug into the type checking process. This enables the compiler and language service to provide an extension point that allows extensions of the compiler and allow the language service to render dynamic information statically.
    • 在交互式编辑环境中对外部数据源执行静态类型检查。 外部数据可以为用户提供丰富的编辑体验,等同于内部静态类型数据。 提供可扩展的编译器,以便用户或第三方可以将类型检查功能扩展到任何外部数据源。 提供可扩展语言服务,使得用户或第三方可以扩展语言服务以提供外部数据的一致的当前静态视图。 可扩展的编译器和语言服务允许语言扩展插入类型检查过程。 这使编译器和语言服务能够提供一个扩展点,允许编译器的扩展,并允许语言服务静态呈现动态信息。