DBC识别三种基本的断言类型。
对于同一断言类型，在更具体的目标中设置的策略可以覆盖在高级目标中定义的策略。
Policies defined at high order targets can be overridden by policies set at a more specific target for the same assertion type.
SAML定义了三种断言类型，都是关于用户(人或计算机)的一个或多个事实的声明。
SAML defines three kinds of assertions, which are declarations of one or more facts about a user (human or computer).
还要使用数据类型和断言进行验证。
You should validate using data types and assertions as well.
在使用简单内容定义复杂类型时，可以指定两种类型的断言。
When defining a complex type with simple content, you can specify two types of assertions.
在撰写本文时，您可以对简单和复杂类型指定断言。
At the time of writing this article, you can specify assertions on simple and complex types.
测试断言结果由构件类型中的条目列出。
The test assertion results are listed by entry within an artifact type.
清单6是一个复杂类型的例子，其中的断言约束两个属性的值。
Listing 6 shows an example of a complex type with an assertion that constrains the values of two attributes.
例如，WSDL文档中绑定元素的测试断言(条目)将出现在描述构件类型中。
For example, the test assertions for a binding element in a WSDL document (the entry) would appear within the description artifact type.
这个序列包含对复杂类型定义的所有断言，以及复杂类型的祖先的所有断言。
This sequence is comprised of all the assertions defined on the complex type as well as all assertions of the complex type's ancestors.
通过记录小白鼠回避不同类型疼痛的速度，科学家们终于可以断言，移除HCN2基因可使其感受不到神经性疼痛。
By measuring the speed the mice withdrew from different types of painful stimuli, the scientists were able to show that deleting the HCN2 gene took away neuropathic pain.
但是断言分派是对(狭窄)类型本身进行多分派的一个很好的扩展。
But predicative dispatch is a very elegant extension of multiple dispatch on (narrow) types alone.
可以用这些方法很方便地断言脚本的运行是否正确，以及断言各种数组类型的长度和内容等。
These methods can be handy when it comes to asserting that a script correctly runs, asserting the lengths of various array types and the contents of various array types, and more.
WS - SecurityPolicy指定了消息分组级别，其中特定类型的策略断言会被附加到一个服务描述中。
WS-SecurityPolicy specifies the message-grouping levels at which certain types of policy assertions should be attached to a service description.
BICS文档还可以包含不同类型的约束，如多个模式和一个Schematron断言模式。
A BICS document can have constraints of varying types — for example, multiple schemas and a Schematron assertion schema.
简单类型中的断言类似于其他简单类型约束facet。
Assertions in simple types are similar to other simple type constraining facets.
Assertion类型是DbUnit定义的定制类，可以进行特定于数据库结果集的额外断言。
The Assertion type is a custom class defined by DbUnit to facilitate additional assertions specific to database result sets.
谓词通过XPath 2.0表达式指定，XPath 2.0表达式是类型指定的断言的一部分。
The predicate is specified using an XPath 2.0 expression which is part of the assertion specified on the type.
XMLSchema 1.1通过数据类型内的断言将约束的概念带入了XML Schema，不过，不能进行消息定制。
XML Schema 1.1 is bringing in the notion of constraints into XML Schema through assertions within data types but without message customization.
具体地说，BI-ICS 本身支持声明带有基于Schematron断言的特定的W3CXMLSchema实例、MIME类型以及XSLT转换的连续一致性模型。
Specifically, BI-ICS intrinsically supports the declaration of a sequential conformance model with specific W3C XML Schema instances, MIME types, and XSLT transforms based on Schematron assertions.
此断言将作为上下文的一部分提供，并驱动dynamic Assembler基于客户类型选择特定的贷款提供者服务。
Supplied as a part of the context, this assertion drives the Dynamic Assembler to choose a particular loan provider service based on the customer type.
这与调用基类的工厂方法并断言返回对象具有正确类型一样简单。
This can be as simple as invoking the base class's factory method and asserting that the returned object is of the correct type. For example.
策略类型：这是由一组断言定义的单一Quality ofServer (QoS)类型。
Policy type: This is a single type of Quality of Server (QoS) defined by a set of assertions. Examples of policy types are.
在XMLSchema版本1.1中，可以在XML文档内容上定义断言，包括共存约束，但是只能是单一一种XML数据类型。
With XML Schema version 1.1, it is possible to define assertions on the content of the XML document, including co-occurrence constraints but only within a single XML data type.
第2部分：XML Schema 1.1简介(2009年1月)：检查这个协同制约机制，特别是新断言和类型替代特性。
Part 2 (January 2009) : Look at the co-constraint mechanisms, specifically the new assertions and type alternatives features.
这个例子中所用的断言显示了我们如何传入任意多的int类型的参数。
The assertions used in this example show how we can pass as many ints as desired.
和复杂类型定义一样，断言是一组被指定为简单类型定义facet的一组有序的xs：assertion元素序列。
As with complex type definition, the assertions are an ordered sequence of xs: assertion elements specified as facets in the simple type definition.
断言序列的具体顺序并不重要，因为序列中所有断言的值必须为true，这样该类型的元素或属性才是有效的。
The specified order of the sequence of assertions is insignificant as all assertions in this sequence need to evaluate to true for an element or attribute of this type to be valid.
描述：对作为贷款请求的一部分提供的客户类型做出断言。
Description: Asserts the customer type that is supplied as part of the loan request.
本系列的第2部分将进一步探讨新的共同约束功能，具体包括断言和条件类型分配机制。
In Part 2 of the series, we will further explore the new co-constraint features, specifically assertions and the conditional type assignment mechanism.
应用推荐