[發明專利]類型推理和類型導向的后期綁定

無效

• 申請號: 200680032080.2
• 申請日: 2006-08-15
• 公開（公告）號: CN101253478A
• 公開（公告）日: 2008-08-27
• 發明（設計）人: H·J·M·梅杰;B·C·貝克曼;D·N·舒阿奇;A·希爾維;P·A·維克;P·F·德亞頓;A·Y·阿哈羅尼;R·拉梅爾
• 申請（專利權）人: 微軟公司
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F9/45
• 代理公司: 上海專利商標事務所有限公司
• 代理人: 張政權

1.一種計算機實現的系統，包括下列計算機可執行組件：

帶有選項組件的編程語言，所述選項組件供應以下之一：后期綁定的選擇進 入和選擇退出，以及

促進所述后期綁定的助手，所述后期綁定基于為所述編程語言的變量所指定 或推理的類型。

2.如權利要求1所述的計算機實現的系統，其特征在于，所述變量帶有在所 述編程語言中可變的靜態類型。

3.如權利要求2所述的計算機實現的系統，其特征在于，所述可變的靜態類 型基于所述變量在所述編程語言的代碼區域內的位置。

4.如權利要求1所述的計算機實現的系統，其特征在于，所述可變的靜態類 型基于所述變量的使用而被推理。

5.如權利要求1所述的計算機實現的系統，其特征在于，所述助手是針對表 示XML對象模型的類型的XML后綁定助手。

6.如權利要求1所述的計算機實現的系統，其特征在于，所述助手是針對對 象的反射后綁定助手。

7.如權利要求1所述的計算機實現的系統，其特征在于，所述選項組件帶有 重構機制，為所述變量指派精確的推理類型或對象。

8.如權利要求7所述的計算機實現的系統，其特征在于，所述重構機制展開 聲明，顯式地指示類型。

9.如權利要求7所述的計算機實現的系統，其特征在于，所述重構機制采用 下拉菜單指示對象和類型。

10.如權利要求9所述的計算機實現的系統，其特征在于，對象的選擇指示 對關于對象的標準Visual?Basic后期綁定的選擇。

11.一種計算機實現的系統，包括下列計算機可執行組件：

向用戶提供以下選項之一：后期綁定和非后期綁定一編程語言；

推理變量的類型，以及

改變作為所述編程語言一部分的變量的靜態類型。

12.如權利要求11所述的計算機實現的系統，其特征在于，還包括基于所述 變量的使用推理可變的靜態類型。

13.如權利要求11所述的計算機實現的系統，其特征在于，還包括基于變量 在所述編程語言內的位置改變所述靜態類型。

14.如權利要求11所述的計算機實現的系統，其特征在于，還包括為所述編 程語言指定后期綁定的類型。

15.如權利要求11所述的計算機實現的系統，其特征在于，還包括在改變所 述靜態類型時向用戶提供反饋。

16.如權利要求11所述的計算機實現的系統，其特征在于，還包括經由編譯 器跟蹤變量類型。

17.如權利要求11所述的計算機實現的系統，其特征在于，還包括基于選定 的靜態類型觸發后期綁定。

18.如權利要求11所述的計算機實現的系統，其特征在于，還包括采用重構 機制，所述重構機制展開以顯式地指定類型。

19.如權利要求11所述的計算機實現的系統，其特征在于，還包括標識所述 編程語言的代碼中具有類型的精確規定的區域。

20.一種計算機實現的系統，其包括下列計算機可執行組件：

用于編程語言的后期綁定的選擇進入和選擇退出之一的裝置，

用于推理變量類型的裝置，以及

用于改變所述編程語言中的變量的靜態類型的裝置。