Agent Calls

Work in progress!

Terminology

In the following text the creation of an agent (with the agent keyword or the tilde operator) is called the agent creation.

class TERMINOLOGY
feature
    f1
        local
            p: PROCEDURE [ANY, TUPLE]
        do
            p := agent target
        end
 
    f2 (p: PROCEDURE [ANY, TUPLE])
        do
            p.call ([])
        end
 
    target
        do
        end
end

Wrapper generation

class
    C
 
feature
    f (p1, p2: INTEGER; p3: STRING): STRING
        do
            ...
        end   
end