View source for Talk:Agents in SCOOP

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

I use the first parameter in ROUTINE as a documentation hint, to specify the contract an agent is expected to fulfill.

That is, I declare the callback agent as having type ROUTINE [MY_CLASS, TUPLE [....]]

Then in MY_CLASS I declare a single deferred routine that conforms to the expected signature of the callback.
This routine is then equipped with contracts.

This serves as a hint to the user as to what the requirements of the callback actually are. If the user follows the hint by inheriting from MY_CLASS to implement the call back, then the contract is actually checked at runtime, and so provides an early warning of what the bug is.

So I find it usefull.

--[[User:Colin-adams|Colin-adams]] 07:37, 21 March 2013 (UTC)

Return to Talk:Agents in SCOOP.

Retrieved from "https://dev.eiffel.com/Talk:Agents_in_SCOOP"

View source for Talk:Agents in SCOOP

Navigation

Development

Wiki

Search

Tools