2010年9月19日

MetaModelEngine:约束和验证

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

posted @ 2010-09-19 14:49 周 金根 阅读(1763) 评论(3) 推荐(1) 编辑

导航