斷言檢查程序 的英文怎麼說
中文拼音 [duànyánjiǎnzhāchéngxù]
斷言檢查程序
英文
a ertion checker- 斷 : Ⅰ動詞1 (分成段) break; snap 2 (斷絕;隔斷) break off; cut off; stop 3 (戒除) give up; abstai...
- 言 : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
- 檢 : Ⅰ動詞1 (查) check up; inspect; examine 2 (約束; 檢點) restrain oneself; be careful in one s c...
- 查 : 查名詞1. [植物學] (山查) hawthorn; haw2. (姓氏) a surname
- 程 : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
- 斷言 : say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; asse...
- 檢查 : 1 (用心查看) check up; inspect; examine; censor; survey rummage; review; jerque; docimasia 2 (...
- 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
-
Now, run the program with assertion checking enabled
現在,請帶有啟用斷言檢查運行該程序:Running the program with assertion checking enabled produces the following error report
帶啟用斷言檢查運行程序產生下面的錯誤報告:The following simple example walks you through the necessary steps to add assertion checking to your program
下面的簡單示例向您介紹了向程序中添加斷言檢查的一些必要步驟。Setup functions enable user - defined adaptation of a wide variety of options such as display contrast, record printout, saving data on the computer, general code, temperature calibration, acoustic signal, date and time, id, data transfer, update fix programs, language, c f changeover, check program, battery change, diagnosis data, printing programs, seal test, service functions for maintenance
設置功能允許使用人員對多種選項進行定義和調節,例如顯示屏幕對比度列印記錄把數據記錄到計算機上總碼溫度校正音響信號日期和時間識別傳輸數據固定程序升級語言攝氏和華氏溫度轉換檢查程序更換電池診斷數據列印程序測試密封保養用服務功能。Setup functions enable user - defined adaptation of a wide variety of options such as display contrast, record printout, saving data on the computer, general code, temperature calibration, acoustic signal, date and time, id, data transfer, update fix programs, language, screen saver, c f changeover, check programme, battery change, diagnosis data, printing programs, seal test, service functions for maintenance
設置功能允許使用人員對多種選項進行定義和調節,例如顯示屏幕對比度列印記錄把數據記錄到計算機上總碼溫度校正音響信號日期和時間識別傳輸數據固定程序升級語言屏幕保護攝氏和華氏溫度轉換檢查程序更換電池診斷數據列印程序測試密封保養用服務功能Let s take a quick look at three categories of common assertion properties common, but which don t offer us the full coverage we d like, compare them with the types of program properties that can be expressed in a traditional assertion language, and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions
讓我們快速瀏覽三種類型常見的斷言特性(雖然是常見的,但它們沒有提供我們所需的完整范圍) ,將它們與可以用傳統斷言語言表示的程序特性的類型進行比較,並檢查多線程上下文所必需的,但不可能表示成常規斷言的斷言特性。分享友人