下列表格列出對 Rational Rhapsody 所有版本的所有檢查。並非這裡列出的所有檢查都會出現在您的產品版本中。此外,您的系統可能還具有使用者定義的外部檢查。如需這些檢查類型的相關資訊,請參閱建立使用者定義的檢查。
| 檢查 | 是否正確 | 是否完整 | 網域 | 附註 |
|---|---|---|---|---|
| <<CORBAInterface>> 對映至伺服器程式碼,但是配置不是
CORBA 伺服器(內容 Configuration::CORBA::CORBAEnable 並非設定為
CORBAServer)。將會忽略伺服器主線(內容 Configuration:: ORBname::ServerMainLineTemplate)。 |
W | C | ||
| COM 介面只能繼承自單一 COM 介面 | E | M | ||
| COM 介面不能含有一對多關係 | E | M | ||
| COM 伺服器/COM 程式庫最多只能包含一個 COM 程式庫套件 | E | C | ||
| COM TLB 元件只能包含一個套件(其為 COM 程式庫) | E | C | ||
| 組合關聯端點反向的對應關係不能大於 1。將會忽略對應關係 | W | M | ||
| Java™ 類別只能繼承自單一非介面類別 | E | M | ||
| Java 介面只能繼承自其他介面 | E | M | ||
| 模板為 <<CORBAModule>> 的套件不能包含函數或變數 | E | M | ||
| 偵測到循環組合關係 | W | M | ||
| 單態物件的對應關係只能是 1 | W | M | ||
| 活動圖包含不受支援的元素,例如事件或觸發的作業。未產生該作業! | W | C | ||
| AddressSpaceName 內容限制為 32 個字元 | E | M | ||
| 未產生基本 CORBA 類型的自動產生順序 | W | M | ||
| 組合類型的關聯端點不能有限定元。將會忽略限定元。 | W | M | ||
| 嘗試建立不可實例化元素的廣域實例 | E | M | 任何類型的實例都只能從可實例化元素建立。 | |
| 嘗試建立不可實例化元素的起始實例 | E | M | 任何類型的實例都只能從可實例化元素建立。 | |
| COM/CORBA 中不支援屬性修飾元 | W | M | ||
| 屬性與狀態的名稱相同 | E | M | ||
| 屬性無法從 Web 存取,因為它遺漏其存取元及轉換。 | W | C | ||
| 屬性/類型參照範本類別作為其類型。 | E | M | ||
| 不當的巢狀 | E | M | 針對巢狀類別中所允許模板的 CORBA 檢查。 | |
| CG::Package:: EventsBaseID 內容值超出合法的事件 ID 範圍 |
E | M | ||
| 檢查 MicroC 設定檔是否存在 | E | ABM | ||
| 檢查 RIMB 屬性是否對應於埠屬性 | W | ABM | ||
| COM ATL 類別不能是作用中類別 | E | M | ||
| COM ATL 類別無法繼承自多個 COM Coclass | E | M | ||
| COM Coclass 只能繼承自 COM 介面 | E | M | ||
| COM 介面只能繼承自 COM 介面 | E | M | ||
| COM 程式庫只能包含 COM 元素 | E | M | ||
| 計劃排程中發生衝突(請參閱作用中元件的「排程」標籤) | W | MC | ||
| CORBAException 具有作業 | E | M | ||
| CORBAException 具有送出關係 | E | M | ||
| CORBAException 包含繼承 | E | M | ||
| CORBAInterface 繼承非 CORBAInterface | E | M | ||
| 找不到範本特殊化的範本 | E | M | ||
| 類別並未實現其行為埠提供的所有介面。 | W | M | ||
| 類別並未使用所有其反應性介面的接收和觸發的作業。 | W | M | ||
| 類別與其套件同名 | E | M | 類別與套件不能同名,因為這會干擾適當的產生程式碼。 | |
| 類別具有空白的狀態圖 | W | M | ||
| 產生程式碼不支援針對檔案的對稱關聯設備測試。未產生關聯設備測試。 | W | M | ||
| 產生程式碼不支援使用類型包含 C++ 參照 ('&') 的事件/觸發的作業引數。 | E | M | ||
| 對於具有可變長度引數清單的作業,不支援為具有活動圖的作業產生程式碼。未產生該作業! | W | C | ||
| 產生程式碼忽略採用 C 語言的類別之間的繼承。 | W | M | ||
| 產生程式碼範圍包含多個 SDLSystem 類別。這可能會導致編譯錯誤。 | W | M | ||
| 元件包含 CORBA 元素,但是配置既不是 CORBA 用戶端也不是 CORBA 伺服器(內容 Configuration::CORBA::CORBAEnable 設定為 No) | E | C | ||
| 元件檔案包含典型產生程式碼不支援的片段 | W | M | ||
| 與單一元件合成 | W | M | ||
| 常數屬性不能有起始值。將會忽略起始值。 | W | M | ||
| 無法將建構子及解構子匯出至 Web。不會為它們產生 Web 設備測試程式碼。 | W | C | ||
| 跨套件鏈結需要元件型的起始設定方法 (CG::Component:: InitializationScheme) |
W | M | ||
| 目前,僅支援採用 C 語言的快速埠(事件轉遞) | W | M | ||
| 空懸轉移 | E | U | 空懸轉移是不連接至另一個元素的轉移。如果轉移連接至的元素已刪除,Rational Rhapsody 中便會出現這種情況。在此情況下,Rational Rhapsody 不會自動刪除轉移,因此您不會遺失任何轉移相關資料。 | |
| 預設名稱 | W | C | 模型中的一些元素會使用產品指派的預設名稱。 | |
| 元件之間的相依關係不會根據 <<Usage>> 相依關係產生,因為在相依元件上找不到相符的配置 | W | C | ||
| 無法解析的元素上的相依關係 | E | M | Rational Rhapsody 找不到參照的元素。 | |
| 對於非可內嵌物件,應該容許動態配置 | E | M | ||
| ESTL 不支援多重/虛擬繼承 | W | M | ||
| 元素沒有關係 | I | M | ||
| 基本運算或廣域函數的主體是空的 | W | M | 未定義這些運算/函數的實作。 | |
| 空的說明 | W | C | ||
| 事件屬性未排入佇列 | E | ABM | ||
| 事件 ID 不是唯一的 | E | M | 事件 ID 應該是唯一的,以避免衝突。 | |
| 類別中的事件及產生的狀態有衝突的名稱 | E | M | 事件及狀態的實作名稱不能相同。 | |
| 已在套件中定義事件,但是未在此套件之類別的介面中參照 | W | M | 您已在套件中定義事件,但是沒有實際使用此事件的類別。 | |
| 事件與類別同名 | E | M | ||
| 可執行組件的對應關係大於 1 | E | MC | ||
| 檔案包括同名的類型 | W | M | ||
| 檔名必須採用 F8.3 格式 | E | M | 如果將 Filename 內容(位於 CG::Package/Class 下)定義為長度超過 8 個字元的檔名,並且將 <lang>_CG::<Environnent>::IsFileNameShort 內容設定為 Checked,則檢查程式會報告錯誤。 | |
| 流程圖及流程圖中的區塊,必須確切到達一個最終活動 | E | U | ||
| 流程埠必須具有其類別擁有者的相符屬性(依名稱及類型) | W | M | ||
| 透過鏈結連接的流程埠必須具有相同的類型。並且在基本流程埠中,其方向應該是彼此相反(一個「輸入」,另一個「輸出」) | W | M | ||
| 對於雙重介面,作業及屬性必須具有唯一 ID(ID 不能為空白)。Rhapsody 已經為一個以上的作業或屬性產生唯一 ID。 | W | M | ||
| 分出至非正交狀態 | E | U | ||
| 將會忽略範本類別的夥伴相依關係 | W | M | ||
| 廣域函數及變數在 Java 中不合法 | E | M | ||
| 合成界限之間的鏈結形態錯誤,將不會產生程式碼 | W | M | ||
| 不合法的聚集 | W | AR | ||
| 不合法的圖表/片段連接器連線 | E | U | ||
| 不合法的相依關係 | W | AR | ||
| COM Coclass 或 COM 介面具有巢狀類別是不合法的 | E | M | ||
| COM Coclass 具有屬性是不合法的 | E | M | ||
| COM Coclass 具有作業是不合法的 | E | M | ||
| COM 程式庫具有巢狀套件是不合法的 | E | M | ||
| 不合法的內部物件起始設定(「配置」對話框,「起始設定」標籤) | E | M | ||
| 不合法的對應關係 | W | AR | ||
| 不合法的 COM Coclass 送出關係 | E | M | ||
| 與範本的不合法關係 | E | M | ||
| 不合法的角色 | W | AR | ||
| 不合法的類型 | W | AR | ||
| 衍生類別與基礎類別的實作狀態圖內容不相同 | E | M | 基礎類別與衍生類別的 CG::Class:: ImplementStatechart 內容必須相同。 |
|
| 典型產生程式碼中不支援 ImplementActivityDiagram | W | M | ||
| 產生的語言中不支援實作。 | E | M | ||
| 隱含的存取屬性必須透過單一作用中存取 | E | ABM | ||
| 對稱關係中的不一致對應關係:將不會連接實例 | W | M | ||
| 繼承在範本實例化中不合法 | E | M | ||
| 起始連接器的目標未設定為其狀態的子狀態 | E | U | 具有多個子狀態的每個 Or 狀態必須具有起始連接器。當起始連接器導致其中一個 Or 狀態之子狀態以外的狀態時,便會發生此錯誤。 | |
| 隔離的狀態 | W | U | 狀態圖中有未連接至任何其他狀態的狀態。 | |
| 從非正交狀態結合 | E | U | 存在來自非正交狀態的結合連接器。進入結合連接器的轉移區段,必須源自位於不同正交元件中的狀態。 | |
| 鏈結不實例化關聯。將會忽略鏈結。 | W | M | ||
| 鏈結基於無法解析的關係。 | E | M | ||
| 透過埠的鏈結沒有相符的介面。將會忽略鏈結。 | W | M | ||
| 將不會實例化鏈結 - 相同端點之間的鏈結及透過相同關係的鏈結重複 | W | M | ||
| 將不會實例化鏈結 - 合成界限之間的鏈結形態錯誤 | W | M | ||
| 許多 SoftwareComponent 使用相同的 ARBMT 套件 | E | ABM | ||
| 雙重及自訂介面的方法必須傳回 HRESULT | W | M | ||
| 實作與對應關係不符 | E | M | Implementation 內容設定不適用於關係的對應關係。 | |
| MISRA98 設定檔存在 | E | MC | MicroC 設定檔包括 MISRA 相符性。因此,不需要包括 MISRA98 專案設定。 | |
| 遺漏 Webify 工具箱所需的執行時期程式庫。請檢查現行環境的 GetConnectedRuntimeLibraries 內容值。 | W | M | ||
| 遺漏範本實例化參數值 | W | M | ||
| 遺漏範本特殊化參數值 | W | M | ||
| 在關係中誤用內嵌的實作 | E | M | 不正確地為關係設定內嵌的 <Fixed/Scalar> 內容。 | |
| 在 COM/CORBA 中不支援複合式類型(列舉/類型定義)的建模 | W | M | ||
| 不支援繼承自反應性類別的多重繼承 | E | M | ||
| 相同狀態有多個逾時及重複的觸發程式 | E | M | 每個狀態只能有一個逾時或觸發程式。 | |
| 具有相同來源及目的地的多個轉移 - 只容許一個 | E | U | ||
| 元件已使用該名稱 | E | M | ||
| 名稱長度超過 32 個字元 | W | AR | ||
| 透過鏈結連接的網路埠及流程埠必須具有相同的類型,並且它們的方向應該相符 - 輸入網路埠鏈結至「輸入」流程埠,反之亦然。 | E | M | ||
| 作用中作業沒有回覆值 | E | ABM | ||
| 節點沒有送出轉移,建立了至最終活動的隱含轉移 | W | U | ||
| 非行為埠未連接至內部組件。假設埠要成為行為埠。 | I | M | ||
| 具有明確介面的非行為埠未連接至內部埠。可能無法轉遞訊息。 | W | M | ||
| 非可執行元素包含可執行元素 | W | MC | ||
| 將非介面類別指定為埠所提供或需要。請修訂合約。 | E | M | ||
| 起始設定程式引數的值不足 | W | M | ||
| 套件中的事件數超出事件 ID 範圍(定義在內容
<lang>::Component:: PackageEventIdRange 中) |
E | M | ||
| JAVA_CG::Component::InitializationScheme 設定為 ByComponent 時,未正確起始設定對應關係大於 1 的物件。請將該內容設定為 ByPackage,或程式化起始設定物件。 | W | M | ||
| 只有 COM 程式庫可以包含 COM 元素 | E | M | ||
| 只有模板為 COM DLL、COM EXE 及 COM TLB 的元件,可以包含 COM 程式庫。 | E | C | ||
| 元件範圍中只能有一個 'SFunctionBlock' | E | M | ||
| 只有 RIMB 及 RIMB 作業可以處於作用中狀態 | E | ABM | ||
| 具有活動圖的作業包含使用者提供的程式碼,將會忽略該程式碼。 | W | C | ||
| Or 狀態沒有預設狀態 | E | U | 您已建立 Or 狀態,但是沒有判定哪個是預設狀態。使用狀態圖中的起始連接器來判定預設狀態(完整性的錯誤)。 | |
| 超出事件 ID 數。具有事件的套件數超出可能的事件 ID 數。請修改 CG::Package:: PackageEventIdRange 內容,或者減少具有事件的套件數 |
E | M | ||
| 超出觸發的作業 ID 數 | E | M | 類別及其所有基礎類別的所觸發作業數限制是 1,768。 | |
| 送出介面必須是 COM 介面 | E | M | ||
| COM 介面中的送出關係必須具有連線點模板 | E | M | ||
| 從 CORBAInterface 至非 CORBAInterface 的送出關係 | E | M | CORBAInterfaces 與其他 CORBAInterfaces 只能有送出關係。 | |
| 套件定義於相同實作檔案中其類別下 | E | C | ||
| 埠連接至提供相同介面的多個端點。 | W | M | ||
| 埠具有空的合約 - 未指定提供的或需要的介面。假設埠要重播事件。 | I | M | ||
| 埠具有無法解析的合約 | E | M | ||
| 埠提供並需要相同的介面 - 請修訂合約詳細資料。 | E | M | ||
| 埠具有非反應性類別\物件擁有的空合約。埠將不會轉遞訊息。 | W | M | ||
| 僅 C++ 及 C 支援埠產生程式碼。將會忽略它們。 | W | M | ||
| 基本、觸發的作業或事件與狀態同名 | E | M | 您建立了與事件同名的狀態。 | |
| 已發佈物件的名稱限制為 32 個字元 | E | M | ||
| 找不到限定關係的限定元 | E | M | 未定義限定關係的限定元。 | |
| 反應性介面具有反應性超類別;無法產生程式碼 | E | M | ||
| 反應性介面具有狀態圖或活動圖;無法產生程式碼 | E | M | ||
| 反應性介面沒有接收或觸發的作業 | I | M | ||
| 反應性範本及可重複使用的狀態圖產生方法 | E | M | 狀態圖的平面式實作必須與反應性範本類別搭配使用。 | |
| 從另一個類別參照範本參數類型 | E | M | ||
| 參照作用中元件範圍內的無法解析的元素 | E | M | ||
| 參照無法解析的事件 | E | M | 一個視圖中有事件參照,但是該事件未出現在至少一個其他視圖中。當與其他開發者分工合作時,可能會發生這種情況。 | |
| 參照無法解析的關聯式類別 | E | M | 除了無法解析的元素是關聯式類別之外,與「參照無法解析的事件」相同。 | |
| 參照無法解析的狀態圖 | E | M | 除了無法解析的元素是狀態圖之外,與「參照無法解析的事件」相同。 | |
| 參照無法解析的模板 | E | M | 除了無法解析的元素是模板之外,與「參照無法解析的事件」相同。 | |
| 參照無法解析的超類別 | E | M | 除了無法解析的元素是超類別之外,與「參照無法解析的事件」相同。 | |
| 參照無法解析的類型 | E | M | 至少一個元素定義為具有模型中未定義的類型。 | |
| 使用靜態架構時,應該將關係實作為靜態陣列 | W | M | 使用靜態架構時,將關係的 Implementation 內容設定為 StaticArray。 | |
| 與 CORBAException 的關係 | E | M | 不容許與 CORBAExceptions 的關係。 | |
| 關係沒有對應關係 | W | M | ||
| 無法產生從 Java 介面的關係 | E | M | ||
| Rhapsody 產生程式碼不支援需要的埠與 CORBA 介面之間的鏈結。將不會產生程式碼。 | W | M | ||
| Rhapsody 對於流程埠不支援大於 1 的對應關係 | E | M | ||
| SoftwareComponent 中 RIMB 類型的元素 | E | ABM | ||
| 遺漏產生程式碼所需的 SDL 模型資料。請檢查您在「匯入/同步 SDL 模型」對話框中提供的 SDL 模型執行資訊。 | W | M | ||
| 傳送動作、無法解析的事件或其引數 | W | U | ||
| 傳送動作、目標的無法解析的索引 | E | U | ||
| 因為在 CORBA 網域中引數不能採用預設值,所以將會在 CORBA 網域中忽略這些預設值。 | W | M | ||
| 因為在 CORBA 網域中屬性不能採用起始值,所以將會忽略這些起始值。 | W | M | ||
| 因為在 CORBA 網域中列舉常數不能採用預設值,所以將會在 CORBA 網域中忽略這些預設值。 | W | M | ||
| 因為不支援在範本中巢狀的類別動畫,所以將不會產生設備測試代碼。 | W | M | ||
| 因為不能使用靜態修飾元標記 CORBA 網域中的屬性,所以標記為靜態的屬性將會在產生程式碼期間忽略該標記。 | W | M | ||
| 因為 CORBA 網域中的屬性不能是參照類型,所以使用參照修飾元標記的屬性將會在產生程式碼期間忽略該標記。 | W | M | ||
| 因為不能使用常數修飾元標記 CORBA 網域中的結構屬性,所以標記為常數的屬性將會在產生程式碼期間忽略該標記。 | W | M | ||
| 因為 CORBA::Attribute:: ConstantAsReadOnly 內容設定為 False,所以標記為常數的屬性將會在產生程式碼期間忽略該標記。 |
W | M | ||
| 因為不能使用常數修飾元標記 CORBA 網域中的類型定義,所以標記為常數的類型定義將會在產生程式碼期間忽略該標記。 | W | M | ||
| 因為 CORBA 網域中的類型定義不能是參照類型,所以標記為參照修飾元的類型定義將會在產生程式碼期間忽略該標記。 | W | M | ||
| 單態模板已忽略:實例位於不同的套件中 | W | M | ||
| 單態模板已忽略:實例對應關係不是 1 | W | M | ||
| 單態模板已忽略:相符的實例並非由套件擁有 | W | M | ||
| 單態模板已忽略:找到多個實例 | W | M | ||
| 單態模板已忽略:找不到相符的實例 | W | M | ||
| 單態模板已忽略:C_CG::Class::ObjectTypeAsSingleton 內容設定為 False | W | M | ||
| 類別產生程式碼不支援類別或套件下的 SourceArtifacts | W | M | ||
| 狀態與其專屬類別、超類別或相關類別同名 | E | M | ||
| 靜態記憶體類別沒有非平面式狀態圖 | E | M | 狀態圖的平面式實作必須與靜態架構搭配使用。 | |
| 靜態記憶體類別具有運算符為 new 或 delete 的置換 | E | M | ||
| 無法起始設定靜態記憶體元素 | E | M | ||
| 靜態反應沒有動作 | W | U | 您已經為狀態定義靜態反應,但是未在「特性」視窗中為其定義動作。 | |
| 靜態反應沒有保護或觸發程式 | E | U | ||
| 非靜態類別成員/方法的 StaticImport | W | M | ||
| 繼承自非異常狀況類別時,將會忽略模板異常狀況。 | W | M | ||
| 規格中具有雙向行內的對稱關係,導致 <language> 不支援的相依關係迴圈;在產生程式碼期間將會忽略該行內 | W | M | ||
| 範本特殊化不在其範本所在的位置 | E | M | ||
| 無法解析的範本的範本實例化 | E | M | ||
| 建立非動畫 S-Function 或 Instrumentation 模式設定為動畫 S-Function 的動畫時,作用中配置必須具有 'S-FunctionConfig' 模板。 | W | M | ||
| 找不到 SDL_Suite 環境標頭檔。建議您回到 SDL 套件,選取「產生 > 製作」對話框中的產生環境標頭檔勾選框,然後重新製作。 | W | M | ||
| 轉移的觸發程式不能為抽象。 | W | M | ||
| 已定義作用中元件,並使用「其他」作為其建置類型。 | E | C | ||
| 將會忽略抽象方法的主體。 | W | M | ||
| 埠的合約不是介面。請取代合約,或將它轉換為介面。 | E | M | ||
| 由 CG::Package::EventsBaseID 內容設定的事件基本 ID 與產生的事件基本 ID 衝突。 | E | M | ||
| 動作者的名稱不是合法的程式碼名稱。 | E | M | ||
| 作用中元件的範圍包含非外部的檔案。 | E | M | ||
| 轉移的邊緣與 pin 的方向不一致。 | W | U | ||
| 轉移在流程圖中不能跨區塊界限。 | E | U | ||
| 轉移的觸發程式不在其泳道的顯示類別下 | W | U | ||
| 類型對映至檔案。將會忽略對映。 | W | M | ||
| 具有常數修飾元的類型定義,是基於具有常數修飾元的類型。 | E | M | ||
| 無法產生鏈結 - 對應關係不符或是使用 * 或數值範圍指定的 | W | M | ||
| 範本參數所參照無法解析的類型。 | E | M | ||
| 未指定的 AssociationRole - AssociationRole 未連接至「正式鏈結」 | W | M | ||
| 未指定的 ClassifierRole - 物件未連接至「正式分類器」 | W | M | ||
| 未指定的訊息 | W | M | ||
| 流程圖中不受支援的元素 | E | U | ||
| 不受支援的時間模型:「模擬的」 | E | MC | 在作用中配置中,已選取「模擬的」時間模型(在設定標籤上)。這在 MicroC 中不受支援。 | |
| 目前不會產生對 IDE 配置的使用相依關係。必要的話,在配置的「特性」視窗中指定建置詳細資料。 | I | M | ||
| 此類型的語言變數無法使用 Web 支援。不會為它產生 Web 設備測試代碼。 | W | C | ||
| 廣域函數及廣域變數無法使用 Web 支援。不會為它們產生 Web 設備測試程式碼。 | W | C | ||
| 具有多個引數的作業或事件無法使用 Web 支援。不會為它們產生 Web 設備測試程式碼。 | W | C | ||
| 範本及範本實例化無法使用 Web 支援。不會為它們產生 Web 設備測試程式碼。 | W | C | ||
| 當 C_CG::Class::EnableDynamicAllocation 內容設定為
FALSE 時,C_CG::Configuration ::InitializeEmbeddableObjectsByValue 設定為 TRUE。 |
E | C | ||
| 使用 IDF 環境時,應該使用 IDF 設定檔 | W | M | ||
| 錯誤的巢狀狀態圖階層,嘗試使用 'MergeBack' 或刪除 AndState 以修正階層 | E | M | ||
| 範圍中元素的錯誤語言 | E | M | ||
| 起始實例的錯誤語言 | E | M |