1
java.utilパッケージのスタックのオブジェクト制約言語（OCL）
私は試験が近づいています。私は過去の論文を調べて、何が期待できるかを考えています。私は次のものに少しこだわっていて、誰かがいくつかの例の答えを出すことができれば本当に感謝します。 次の各操作（java.utilパッケージのStackクラスに含まれる）のOCLに前提条件と事後条件を記述します。 （1）ブールempty（）-このスタックが空かどうかをテストします （2）E peek（）-スタックから削除せずに、このスタックの最上部にあるオブジェクトを調べます （3）E pop（）-このスタックの一番上のオブジェクトを削除し、そのオブジェクトをこの操作の値として返します （4）E push（E item）-アイテムをこのスタックの一番上にプッシュします ここで、Eはスタック内の要素のタイプを示します。 私の試みは次のとおりです： Boolean empty() pre: none post: self -> IsEmpty() = true //should this be result -> IsEmpty() = true because it returns a boolean value? E peek() pre: self -> NotEmpty() = true post: result = ??? // I …