2012-03-28 77 views
0

我有以下兩個集合的類圖的子集:顯示在UML類圖,一個聚集的另一個

Aggregations constraint problem

contentCategories是類別的動態數組,currentCategory始終是一個元件該數組,但是作爲一個獨特的成員變量來維護。我需要顯示它始終是OCL中contentCategories的元素的限制。我是否正確地做了這件事?如果不是,那麼正確的做法是什麼?

謝謝大家提前的幫助!

+0

也許你可以保持一個索引一樣,CurrentCategoryIndex,而不是保留已經存在的數組中的對象。 – 2012-03-29 16:56:54

+0

讓指針直接指向對象允許我一直保存索引到數組所需的時間,但考慮到在我的情況下訪問對象的次數,這可以忽略不計。無論如何,我無法再更新這個。不管怎麼說,還是要謝謝你。 – tommazzo 2012-03-31 21:04:12

回答

1

是的,你的想法是正確的。編輯:對不起,爲了成爲「學術上的聲音」,即使沒有currentCategory,您的OCL約束也應該是正確的。編輯:對不起,即使沒有currentCategory,您的OCL約束也應該是正確的。這意味着,在constraint'd更好地閱讀

not currentCategory==null implies contentCategories -> includes(currentCategory) 
+0

完美。謝謝。 – tommazzo 2012-03-31 20:53:09

相關問題