Eiffel：如何获取过程的特定操作数的类型

Question

正如我在调试器中看到的那样，可以获取操作数和过程名称，有没有办法获取它？

• PROCEDURE =>操作数返回一个可分离的对象，似乎仅在将操作数设置为代理后才返回操作数
• 我是否通过了REFLECTOR类，因为PROCEDURE类没有此功能，在这种情况下为什么？

似乎estudio可以像ROUTINE客户端那样访问信息，为什么他是特权用户？他在作弊吗？

Answer 1

以下代码演示了如何检索有关例程对象的开放参数类型的信息：

        p: ROUTINE -- Routine object.
        t: TYPE [detachable ANY] -- Current open argument type.
    do
        p := agent (i: INTEGER; s: STRING)
            do
            end
        across
            1 |..| p.open_count as i
        loop
            t := p.generating_type.generic_parameter_type (1).generic_parameter_type (i.item)
            io.put_string (t.name)
            io.put_new_line
        end

对我来说，上面的代码可以打印

INTEGER_32
!STRING_8

评论：

1. p.open_count给出了打开参数的总数。
2. p.generating_type检索例程对象的类型。
3. p.generating_type.generic_parameter_type (1)检索打开参数元组对象的类型。
4. 对generating_type的最终调用检索索引为i.item的open自变量的类型。