下一个选集也需要“贴合”约束类型，但您可以使用“齐平”解析类型修改该约束。
The Mate constraint type is also needed for the next selection set, however, you use the Flush solution type to modify the constraint.
在将某一约束应用于泛型类型参数时，必须存在从具体参数到该约束类型的隐式标识或引用转换。
When a constraint is applied to a generic type parameter, an implicit identity or reference conversion must exist from the concrete argument to the type of the constraint.
并给出装配模型的建立过程及基于工程知识的装配配合约束类型识别方法、配合特征相对自由度推理算法。
Then, the method of building the assembly model, recognizing mating constraint type based engineering knowledge, the algorithm of inferring relative freedom of mating feature are given.
如果您在开发阶段加入这种类型的约束，在运行的时候模式验证器就会拒绝无效数据。
If you add this type of constraint at development time, the schema validator will reject the invalid data at runtime.
我认为只有一个对输出的向后兼容改变：类型约束。
I can only think of one backward-compatible change to output: type restriction.
从根本上讲，类型推断是约束解决技术，往往对使用哪些约束开始具有多个合理的选择。
Fundamentally, type inference is a constraint-solving technique, and there are often multiple reasonable choices for which constraints to start with.
处理器在提交数据进行处理之前检查数据类型和约束。
The processor checks data types and constraints before the data is submitted for processing.
但是，多态性也具有同样的限制-它只在您不能对于每个执行路径将对象约束为单个类型时才有所帮助。
But then, the same limitation is true of polymorphism — it is only helpful when you cannot constrain an object to a single type for every execution path.
例如，表可能依赖于用户定义的不同类型；检查约束依赖于函数；视图依赖于视图、别名和函数；等等。
For example, tables may depend on user-defined distinct types; check constraints depend on functions; views depend on views, aliases, and functions; and so on.
这可以采用添加列、更改列的数据类型、添加约束或者甚至删除列的方式来实现。
This can take the form of adding a column, changing the data type for a column, adding a constraint, or even deleting a column.
没有专门用来支持时间约束的规则类型。
单击特定参数就会显示详细信息，比如对参数作用的描述、参数类型、约束(比如最小值和最大值)和当前值。
Clicking on a specific parameter provides details, such as the description of what that parameter does, parameter type, constraints (like minimum value and maximum value), and current value.
它允许根据相关名称空间定义复杂或简单类型的约束以进行扩展。
Wildcarding allows you to define complex or simple type restrictions for extensions based on an associated namespace.
总之，根据需求、约束以及源环境的类型，迁移过程会采取特定的步骤。
In summary, the migration process takes a unique procedure, depending on the requirements or constraints and the source type environment.
举个例子，比方说，只需要检查某种类型的约束，例如结构性约束。
An example is that only a certain type of constraint needs to be checked such as structural constraints.
简单的例子比如典型的名称唯一性约束、类型检查或非空检查。
Simple examples include the typical name-uniqueness constraints, type checks or non-nullness.
约束机制可以是XML模式、类型系统甚至自定义的程序代码。
A constraint mechanism can be an XML schema, a type system, or even some custom programming code.
具体约束机制还可针对特定类型提供扩展结构。
Concrete constraint mechanisms can also provide extension constructs that make sense for specific types.
你只是传递了类型T，一个没有约束的类型参数，所以它可以是任何类型。
You passed something known to be a t, an unconstrained type parameter, and hence it could be anything.
还可以定义其他技术作为约束机制，如模式或类型系统，甚至可以定义自己的自定义约束解决方案。
You can also define other technologies as constraint mechanisms, such as schemas or type systems -- you can even define your own custom constraint solution.
这个约束强制任何类型'T '都必须具有无参数的公共构造函数。
This constraint forces any type 't' to have a default constructor, that is, a constructor that takes no parameters.
举例来说，当定义社区中的角色时，可以使用资产类型来约束角色。
For example, when defining roles on a community, the asset types can be used to constrain the role.
BICS实例文档包含一组约束结构，其类型依赖于具体的约束机制。
BICS instance documents contain a set of constraint structures, which are typed according to concrete constraint mechanisms.
映射：映射类型约束了主题集合的结构。
Map: the map type mandates the structure for a collection of topics.
被约束的端口类型是由抽象流程提供的端口类型，被约束的操作是用在抽象流程的活动中。
The port types to be constrained are the port types provided by the abstract process, and the operations that are to be constrained are used within activities of the abstract process.
派生的简单类型约束了基类型的值。
A derived simple type constrains the values of its base type.
除此之外，XML模式还无法处理许多很容易规定文档约束的类型(如替代属性，或从另一个模式上使用扩展元素)。
Beyond this, XML schema is incapable of handling many types of easily stated constraints on documents (such as alternative attributes, or required extension elements from separate schemas).
清单11：表示元素类型的约束。
图3：输入资产类型约束的对话框。
除equals外，EMF还提供了其他几种类型的约束。
EMF provides several other kinds of constraint in addition to equals.
应用推荐