• TP Integrador
• EBNF
• Teoria
• Practica 1 Teoria
• Practica 2 BNF/EBNF
• Practica 3 Semantica Estatica/Dinamica
• Practica 4 Variables
• Practica 5 Pilas de ejecución (Esta la hice full en papel)
• Practica 6 Parametros
• Practica 7 Sistemas y tipos de Datos
• Practica 8 Excepciones
• Practica 9 Estructuras de control y sentencias
• Resumen Final

• Simplicidad y Legibilidad
• Claridad en los bindings
• Confiabilidad
• Soporte
• Abstración
• Ortogonalidad
• Eficiencia
• Sintaxis
  • Abstracta Se refiere a la estructura
  • Concreta Se refiere a la parte léxica
  • Pragmática Se refiere al uso práctico
  • BNF, EBNF Y CONWAY
• Semántica

• Semantica Estatica - Gramatica de Atributos
• Semantica Dinamica
  • Formales y Complejas
    • Semantica Axiomatica
    • Semantica denotacional
  • No Formal
    • Semantica Operacional
• Procesamiento de un Programa (Programas Traductores)
  • Interpretación
  • Compilación
  • Interpretación y Compilación

• Ligadura Estatica
• Ligadura Dinamica
• Variable (Nombre, Alcance, Tipo, L-Valor, R-Valor)
• Sobrecarga

Ateriormente hicimos la practica de pila estatica y dinamica, ahora le vamos a agregar parametros, que son los siguientes:

procedura rutina(x:integer);
begin
  x = x + 1
end;

a = 3;
rutina(a);

procedura rutina(io x:integer);
begin
  x = x + 1
end;

a = 3;
rutina(a);

Procedure main;
y: integer;
r1:array[1..6] of integer;
r2:array[1..5] of integer;

procedura rutina(nombre x:integer);
begin
  x = x + 1
end;

rutina(r1[ y + r2 [y]]);

procedura rutina(valor-resultado x:integer);
begin
  x = x + 1
end;
a = 3;
rutina(a); //VR = 4

• El arbol de anidamiento simplemente para saber que función esta contenida en otra, no es necesario para la practica.

tuple = (
  'physics',
  'chemistry', 
  1997, 2000
  )

class Persona {
  String nombre;
  String apellido;
  int edad;
}

typedef struct _nodoLista {
  void *dato;
  struct _nodoLista *siguiente
} nodoLista;
typedef struct _lista {
  int cantidad;
  nodoLista *primero
} Lista;

data ArbolBinarioInt =
Nil |
Nodo int
(ArbolBinarioInt dato)
(ArbolBinarioInt dato)

hash = {
  uno: 1,
  dos: 2,
  tres: 3,
  cuatro: 4
}

function doble($x) {
  return 2 * $x;
}

union codigo {
  int numero;
  char id;
};

data Color =
  Rojo |
  Verde |
  Azul

typedef struct _nodoLista {
  void *dato;
  struct _nodoLista *siguiente
} nodoLista;
typedef struct _lista {
  int cantidad;
  nodoLista *primero
} Lista;

data ArbolBinarioInt =
Nil |
Nodo int
(ArbolBinarioInt dato)
(ArbolBinarioInt dato)

En pascal y en PL1 no tenemos un manejo de excepciones muy complejo. En cuanto a la estuctura, es parecido a pascal.

Program Principal;
var x:int; b1,b2:boolean;

Procedure P (b1:boolean);
  var x:int;
  Procedure Manejador1
  begin
    x:=x + 1;
  end;
begin
  x:=1;
  if b1=true then Manejador1;
  x:=x+4;
end;

Procedure Manejador2;
begin
  x:=x * 100;
end;

Begin
  x:=4;
  b2:=true;
  b1:=false;
  if b1=false then Manejador2;
  P(b);
  write (x);
End

Prog Principal;
  DCL x Integer;
  DCL b1,b2 Boolean;
PROC P (b1 Boolean);
  DCL x Integer;
BEGIN
  ON CONDITION Manejador1 BEGIN x = x + 1; END;
  X = 1;
  IF b1=true THEN SIGNAL CONDITION Manejador1
  x = x + 4;
END;
BEGIN
  ON CONDITION Manejador2 BEGIN x = x * 100; END;
  X = 4;
  b2 = true;
  b1 = false;
  IF b1=false THEN SIGNAL CONDITION Manejador2
  P(b1);
  WRITE (x);
END.

En el main se entra a la primera iteración del for dentro del try siendo i=1, entra al if, imprime 1 y llama al metodo rethrow. El método evalua en el try y entra al primer if, ya que se envio con el parametro primer y Lanza la excepción firstException. Termina el try y la excepción es manejada por el cath del primer try dele método y tira una excepción ThirdException y se imprime "tercerException" y termina el programa.

Por lo que la opción válida es la

1. Imprime "1", luego "Tercer Exception" y termina el programa.

Si se pusiera todo en el bloque try/cath dentro del for, los resultados serian diferentes, ya que el for podria continuar ejecutandose haya sido manejada una excepción o no dentro de su bloque. El resultado final de la impresion seria

"1", "Tercera Excepción", "2", "Tercer Excepción", "3", "Tercer Excepción"

• Salta la excepción first Exceptión y se maneja dentro del rethrow en el segundo cath y en el cath del for donde imprime.
• Salta la excepción second Exception y se maneja dentro del rethrow en el primer cath y en el cath del for donde imprime.
• Salta la excepción third Exception y como no se puede manejar en rethrow es directamente manejada en el main, en el for.