MetaModelEngine：約束和驗證

在前一篇MetaModelEnginebolg中介紹了界面表示，本篇繼續介紹一下約束和驗證相關內容。 什麼是約束 　　驗證在我們開發中經常遇到，例如在強類型語言中，當我們敲錯一個關鍵字，或者語法寫錯，當編譯時就會報出錯誤。約束也很常見，例如主流的程序設計規範都建議使用斷言（seertion），這樣在調試時它就會對調用方法的合法參數值施加顯示約束（如不允許傳入空字符串等）。編程語言這樣，對於建模語言

>>阅读原文<<