ocl - OCL Post 条件可以在 if then 语句中吗？

Question

我是 OCL 的新手，我对前置条件和后置条件的工作方式有一些疑问。

后置条件可以放在 if then 语句中吗？

例如，以下代码是有效的还是我只是在混合概念？

Context [some context here]
if ( 
... some conditions...
) then ( 
result = 1
post: self.isComplete() -- for example
)
endif

非常感谢您的帮助

Answer 1

我会把它改写为:

Context MyContext :: Integer
    post :
        if <some condition>
        then
            result = 1
        endif

如果您需要更多条件，您可以这样做:

Context MyContext :: Integer
    post :
        if <some condition>
        then
            -- Another condition
            if self.isComplete()
            then
                result = 1
            else
               result = 0
            endif
        else
            result = 0
        endif