Agent problems

Revision as of 12:35, 20 November 2006 by Konradm (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The following feature expects as its formal argument an agent: 

foo (f: FUNCTION [A, TUPLE [B], C])

By giving its formal argument a type, a feature specifies what it expects of the actual arguments. Feature foo expects the passed agent to:

  • refer to a feature of a descendant of class A.
  • have at least one open argument. The type of it needs to be a descendant of class B.
  • refer to a feature with a return type that is a descendant of class B.
Retrieved from "https://dev.eiffel.com/index.php?title=Agent_problems&oldid=6285"