使用 EMF Validation 框架来验证 EMF 模型
2010-03-03 00:00:00 来源:WEB开发网 闂傚倸鍊搁崐鎼佸磹閹间礁纾归柟闂寸绾惧綊鏌熼梻瀵割槮缁炬儳缍婇弻鐔兼⒒鐎靛壊妲紒鐐劤缂嶅﹪寮婚悢鍏尖拻閻庨潧澹婂Σ顔剧磼閹冣挃闁硅櫕鎹囬垾鏃堝礃椤忎礁浜鹃柨婵嗙凹缁ㄧ粯銇勯幒瀣仾闁靛洤瀚伴獮鍥敍濮f寧鎹囬弻鐔哥瑹閸喖顬堝銈庡亝缁挸鐣烽崡鐐嶆棃鍩€椤掑嫮宓佸┑鐘插绾句粙鏌涚仦鎹愬闁逞屽墰閹虫捇锝炲┑瀣╅柍杞拌兌閻ゅ懐绱撴担鍓插剱妞ゆ垶鐟╁畷銉р偓锝庡枟閻撴洘銇勯幇闈涗簼缂佽埖姘ㄧ槐鎾诲礃閳哄倻顦板┑顔硷工椤嘲鐣烽幒鎴旀瀻闁规惌鍘借ⅵ濠电姷鏁告慨顓㈠磻閹剧粯鈷戞い鎺嗗亾缂佸鏁婚獮鍡涙倷閸濆嫮顔愬┑鐑囩秵閸撴瑦淇婇懖鈺冪<闁归偊鍙庡▓婊堟煛鐏炵硶鍋撻幇浣告倯闁硅偐琛ラ埀顒冨皺閺佹牕鈹戦悙鏉戠仸闁圭ǹ鎽滅划鏃堟偨缁嬭锕傛煕閺囥劌鐏犻柛鎰ㄥ亾婵$偑鍊栭崝锕€顭块埀顒佺箾瀹€濠侀偗婵﹨娅g槐鎺懳熺拠鑼舵暱闂備胶枪濞寸兘寮拠宸殨濠电姵纰嶉弲鎻掝熆鐠虹尨宸ョ€规挸妫濆铏圭磼濡搫顫嶇紓浣风劍閹稿啿鐣烽幋锕€绠婚悹鍥у级瀹撳秴顪冮妶鍡樺鞍缂佸鍨剁粋宥夋倷椤掍礁寮垮┑鈽嗗灣閸樠勭妤e啯鍊垫慨妯煎亾鐎氾拷

核心提示: 第六步 运行前面创建的 constraint在 Eclipse 中点击 Run->Run.., 在弹出的窗口中创建并运行一个 Eclipse Application,在新的工作平台中新建一个项目,使用 EMF Validation 框架来验证 EMF 模型(8),然后通过如图 7 所示的&
第六步 运行前面创建的 constraint
在 Eclipse 中点击 Run->Run.., 在弹出的窗口中创建并运行一个 Eclipse Application。在新的工作平台中新建一个项目,然后通过如图 7 所示的“New Library Model”向导创建一个图书馆模型。
图 7. 创建模型项目
为了验证之前定义的约束是否生效,创建如图 8 所示的图书馆模型,可以看到该模型只定义了一个没有名称的图书馆对象:
图 8. 图书馆模型
如图 9 所示,选中 library 对象,点击右键,选择 validate 菜单项。
图 9. validate 操作
如图 10 所示,一个验证失败的警告框弹出,点击 Details,可以看到验证失败的原因是图书馆的名字属性没有设置。
图 10. 验证结构提示
第七步 把 batch constraint 转变成 live constraint
我们可以把之前定义的 batch constraint 修改成 live constraint,这样当模型指定的属性(值)发生变化时验证服务会收到相应的通知从而触发验证。通知消息包括了诸如发生改变的属性及该属性变化前后的值等信息。在扩展点定义中去声明那些需要在取值发生变化时进行实时验证的属性。
Tags:使用 EMF Validation
编辑录入:爽爽 [复制链接] [打 印]更多精彩
赞助商链接