11.3.4 OclMessage

hasReturned() : Boolean

如果模板参数的类型是一个操作调用，并且调用的操作已经返回了一个值，那么它为真。这暗示了消息已经被发送的事实。其它情况下结果为假。

post: --

result() : <<The return type of the called operation>>

如果模板参数类型是一个操作调用，并且调用的操作已经返回了一个值，那么返回调用操作的结果。否则返回invalid。

pre: hasReturned()

isSignalSent() : Boolean

如果OclMessage代表一个UML信号的发送，那么返回真。

isOperationCall() : Boolean

如果该OclMessage代表一个UML操作调用的发送，那么返回真。