如果对约束应用了 «metaConstraint» 构造型或者约束是在概要文件中定义的,那么会验证该约束的语法和表达式是否正确。如果没有对约束应用 «metaConstraint» 构造型并且它也不是在概要文件中定义的,那么将只验证该约束的语法是否正确。