静态范围中的活动联盟

Question

假设我想知道哪些联合（引用环境）在标有（*）的点上处于活动状态，我该如何确认？哪些工会实际上是活跃的？

procedure P(A,B ; real)  
       X: real  
       procedure Q(B,C : real)  
       y : real  
       ...  
       procedure R(A,C : real)  
       Z:real  
       ........             --(*)  

Answer 1

它基本上是基本的嵌套。但是，您没有指定完整的块结构（使用begin..end对）来完全固定结构。

假设从缩进开始结束; P的块在最后，Q和R直接在resp之后。 y和z声明，然后在Q中：首先搜索Q，然后搜索P，然后搜索P（主程序/单元或其他程序）上的范围，R R，P，单位等。