它是一个系统,使用它简直不可能得到一个无效内核配置,因为它会根据约束执行智能推理。
It was a system that literally made it impossible to get an invalid kernel configuration because it would do intelligent deduction from constraints.
如果您在开发阶段加入这种类型的约束,在运行的时候模式验证器就会拒绝无效数据。
If you add this type of constraint at development time, the schema validator will reject the invalid data at runtime.
约束可以确保无效的安排不会出现在模型中。
Constraints can ensure that invalid arrangements will not occur in the models.
应用推荐