我有以下兩個集合的類圖的子集:顯示在UML類圖,一個聚集的另一個
contentCategories
是類別的動態數組,currentCategory
始終是一個元件該數組,但是作爲一個獨特的成員變量來維護。我需要顯示它始終是OCL中contentCategories
的元素的限制。我是否正確地做了這件事?如果不是,那麼正確的做法是什麼?
謝謝大家提前的幫助!
我有以下兩個集合的類圖的子集:顯示在UML類圖,一個聚集的另一個
contentCategories
是類別的動態數組,currentCategory
始終是一個元件該數組,但是作爲一個獨特的成員變量來維護。我需要顯示它始終是OCL中contentCategories
的元素的限制。我是否正確地做了這件事?如果不是,那麼正確的做法是什麼?
謝謝大家提前的幫助!
是的,你的想法是正確的。編輯:對不起,爲了成爲「學術上的聲音」,即使沒有currentCategory
,您的OCL約束也應該是正確的。編輯:對不起,即使沒有currentCategory
,您的OCL約束也應該是正確的。這意味着,在constraint'd更好地閱讀
not currentCategory==null implies contentCategories -> includes(currentCategory)
完美。謝謝。 – tommazzo 2012-03-31 20:53:09
也許你可以保持一個索引一樣,CurrentCategoryIndex,而不是保留已經存在的數組中的對象。 – 2012-03-29 16:56:54
讓指針直接指向對象允許我一直保存索引到數組所需的時間,但考慮到在我的情況下訪問對象的次數,這可以忽略不計。無論如何,我無法再更新這個。不管怎麼說,還是要謝謝你。 – tommazzo 2012-03-31 21:04:12