小弟如果有一個語句是...
======================================
context Mortgage
inv: startDate < endDate
======================================
該如何取出"變數名"(即startDate和endDate)...
並不是取出startDate和endDate裡面的值...
是要"startDate","endDate"這兩個...
研究了一下OCL...但是一直實作不出來...
不知道有高手可以指導一下嗎???
簡單的說就是如果一個OCL Expression是(隨便假設)...
======================================
child=father+1
======================================
我該如何取出"child"和"father"這兩個變數名呢???
(或是說我該如何取出此OCL Expression裡的變數呢???)
有什麼方法可以做到這點???
