斷言類 的英文怎麼說
中文拼音 [duànyánlèi]
斷言類
英文
assertives- 斷 : Ⅰ動詞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 (許多相似或相同的事物的綜合; 種類) class; category; kind; type 2 (姓氏) a surname Ⅱ動詞...
- 斷言 : say with certainty; assert categorically; affirm; declare; state with certainty; affirmance; asse...
-
000 realizing that the passage of nibiru in earth ' s proximity will trigger an immense tidal wave, enlil makes the anunnaki swear to keep the impending calamity a secret from mankind
000年前,意識到了尼比奴在地球附近的通道會引發一場極廣大的潮汐波,伊利爾讓安奴拿其斷言為人類保守災難正在迫近的秘密。As an online discussion grows longer, the probability of a comparison involving nazis or hitler approaches one
在線上討論不斷變長的情況下,把用戶或其言行與納粹主義或希特勒類比的機率會趨於一( 100 % ) 。As the result of new research unfold, parallels between birdsong and our own speech behavior become more and more intriguing.
隨著新的研究成果的不斷出現,鳥的歌聲和我們人類語言行為之間的類似性越來越引起人們的興趣。If you want to enable assertion checking for a whole set of packages but not for a class or package tree, that s where the
如果希望對包的整個集合啟用斷言檢查,而不是某個類或包(樹)啟用斷言檢查,則In either case, the wrapper class must assert unrestricted
在上述兩種情況下,包裝類都必須斷言無限制的There is standard " 925 " sterling silver quality mark on most of the sterling silver items except tiny ones which is one of the only 4 acceptable quality marks for sterling silver. the items listed are elaborately designed. we can not guarantee that all the items are available all the time
我們會不斷更新添加商品種類,如果您對某項缺貨商品感興趣,請給我們發郵件預訂,或者在留言本上留言,我們會根據您的需要,在下一次進貨時盡量滿足您的需求。Like types, assertions are not expressive enough by themselves to capture all of the rules we may want to specify on an interface
與類型聲明相同,斷言自身表達能力不夠,無法捕捉我們可能希望在介面上指定的全部規則。Class methods, considerations in debug and release versions of code, side effects, assert arguments, customizing assert behavior, and configuration files
類方法的信息、代碼調試版和發布版中的注意事項、副作用、斷言參數、自定義斷言行為和配置文件。Temporal logic assertions are also useful for diagnosing such errors in the first place
首先,時態邏輯斷言對于診斷此類錯誤也是有用的。In fact, we can augment our efforts to eliminate some of the most common patterns of bugs through the use of such temporal logic assertions
實際上,可以通過使用此類時態邏輯斷言來加大我們消除一些最常見錯誤模式的力度。If the permission state used in the imperative demand, link demand, assert, permit only, or deny can be determined statically, and it is certain to be not dependent on any state available only at run time, then the effect of such security action on application assemblies can be determined and is calculated for the effects of declarative security actions on the minimum grant permission set of all profiled assemblies
如果可以靜態確定在命令性要求、鏈接要求、斷言、只允許或拒絕中使用的權限狀態,並且確認該狀態不依賴于運行時的任何可用狀態,則可以確定此類安全操作對應用程序程序集的影響,並可以計算出聲明性安全操作對所有已配置程序集的最低授予權限集的影響。An assertion cannot be used with class variable declarations for instance, but can be placed within any method
不能將斷言同實例的類變量聲明一塊使用,但卻可以將其置於任何方法內。In the case of digital circuits, assertions like these are statically verified before the chip is built
在數字電路中,在構建晶元之前,先靜態地驗證這類斷言。This can be as simple as invoking the base class s factory method and asserting that the returned object is of the correct type
這與調用基類的工廠方法並斷言返回對象具有正確類型一樣簡單。This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code
這只是可以用傳統斷言語言表示的程序特性類型的簡短列表所有程序員都希望在代碼中包含的特性:We can now consider the three languages for the specification of an interface that is, the unit testing language, the assertion language, and the type system to form a hierarchy of expressiveness
現在我們可以考慮用介面規范的三種語言(它們是,單元測試語言、斷言語言和類型系統)來形成表達的層次。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
讓我們快速瀏覽三種類型常見的斷言特性(雖然是常見的,但它們沒有提供我們所需的完整范圍) ,將它們與可以用傳統斷言語言表示的程序特性的類型進行比較,並檢查多線程上下文所必需的,但不可能表示成常規斷言的斷言特性。The key point is that pluto is totally different comparing to other eight planets. if pluto was discovered today, it would unlikely be classified as a major planet
只要知道冥王星大異于其他八顆行星便足夠了,可以斷言的是,假如冥王星是今天才被發現,它根本不可能被歸類為行星。There are also some semantic differences : a reused datapoint asserts that values for the two elements have the same semantic meaning, whereas a reused datatype only asserts that their value spaces have the same semantics
這里也存在一些語義上的差異:可重用的數據點斷言兩個元素的值具有相同的語義含義,而可重用的數據類型只斷言它們的值空間具有相同的語義。Method or until a stack walk modifier like an assert is found
方法)或發現斷言之類的堆棧審核修飾符。分享友人