Tutoriais - Compiladores
Tutoriais
Compiladores

1. Ybadoo
2. Tutoriais
3. Compiladores
4. Análise Semântica
5. Exercício 04.03

Exercício 04.03

(Sebesta, 2000) Considere o seguinte programa:

program main;
var x, y, z : integer;

  procedure sub1;
  var a, y, z : integer;

    procedure sub2;
    var a, b, z : integer;
    begin { sub2 }
      ...
    end; { sub2 }

  begin { sub1 }
    ...
  end; { sub1 }

  procedure sub3;
  var a, x, w : integer;
  begin { sub3 }
    ...
  end; { sub3 }

begin { main }
  ...
end. { main }

Liste todas as variáveis, juntamente com as unidades de programa onde elas foram declaradas que são visíveis nos corpos de sub1, sub2 e sub3, supondo que seja usado o escopo estático.

Dadas as seguintes sequências de chamada e supondo-se que seja usado o escopo dinâmico, quais variáveis são visíveis durante a execução da última função chamada?

Inclua, em cada variável visível, o nome da função em que ela foi definida.

1. main chama sub2; sub2 chama sub1.
2. main chama sub2; sub2 chama sub1; sub1 chama sub3.
3. main chama sub2; sub2 chama sub3.
4. main chama sub3; sub3 chama sub2.
5. main chama sub3; sub3 chama sub2; sub2 chama sub1.

Solução do Exercício

Escopo estático:

a. main

x, y e z de main

b. sub1

a, y e z de sub1 e x de main (y e z de main estão ocultos)

c. sub2

a, b e z de sub2 e y de sub1 e x de main (a e z de sub1 e y e z de main estão ocultos)

d. sub3

a, x e w de sub3 e y e z de main (x de main está oculto)

Escopo dinâmico:

a. main chama sub2; sub2 chama sub1.

a, y e z de sub1 e b de sub2 e x de main (a e z de sub2 e y e z de main estão ocultos)

b. main chama sub2; sub2 chama sub1; sub1 chama sub3.

a, x e w de sub3 e y e z de sub1 e b de sub2 (a de sub1 e a e z de sub2 e x, y e z de main estão ocultos)

c. main chama sub2; sub2 chama sub3.

a, x e w de sub3 e b e z de sub2 e y de main (a de sub2 e x e z de main estão ocultos)

d. main chama sub3; sub3 chama sub2.

a, b e z de sub2 e x e w de sub3 e y de main (a de sub3 e x e z de main estão ocultos)

e. main chama sub3; sub3 chama sub2; sub2 chama sub1.

a, y e z de sub1 e b de sub2 e x e w de sub3 (a e z de sub2 e a de sub3 e x, y e z de main estão ocultos)

Referências Bibliográficas

Sebesta, Robert W. (2000). Conceitos de Linguagens de Programação. 4ª edição. Porto Alegre: Bookman. 624 páginas.