MetaModelEngine：约束和验证

在前一篇MetaModelEnginebolg中介绍了界面表示，本篇继续介绍一下约束和验证相关内容。 什么是约束 　　验证在我们开发中经常遇到，例如在强类型语言中，当我们敲错一个关键字，或者语法写错，当编译时就会报出错误。约束也很常见，例如主流的程序设计规范都建议使用断言（seertion），这样在调试时它就会对调用方法的合法参数值施加显示约束（如不允许传入空字符串等）。编程语言这样，对于建模语言

>>阅读原文<<