1 / 8

Comprobación de Tipos

Comprobación de Tipos. Capítulo 6. Comprobación estática. Diferente de la dinámica (en runtime) Ejemplos Comprobación de tipos Incompatibilidad de operadores Flujo de control Exit Do, break, halt, while, next Unicidad Variables únicas en su ámbito. Comprobación estática. Más ejemplos

nerys
Download Presentation

Comprobación de Tipos

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Comprobación de Tipos Capítulo 6

  2. Comprobación estática • Diferente de la dinámica (en runtime) • Ejemplos • Comprobación de tipos • Incompatibilidad de operadores • Flujo de control • Exit Do, break, halt, while, next • Unicidad • Variables únicas en su ámbito

  3. Comprobación estática • Más ejemplos • Nombres • Begin transaction NNN --- Commit transaction NNN • Comprobación dinámica es necesaria • tabla: array[0..255] of char; • i: integer • ¿Verificar i <= 255 estáticamente?

  4. Sistemas de tipos • Basado en • La noción de tipo • Tipos básicos o primitivos • Tipos construidos o referenciales • Las reglas para asignar tipos • ¿Suma de dos reales es un? • ¿Concatenación de dos char es un?

  5. Expresiones de tipos • Un tipo básico • Boolean, char, integer, long, float, etc. • error_tipo • El nombre de un tipo public class Telefono { int número; int internacional; } • Constructores de tipos

  6. Constructores de tipos • Matrices • Array(I,T) • String[20] nombres; • Productos cartesianos • T1 x T2 • Registros • Record((NNN x integer) x (MMM x String))

  7. Constructores de tipos • Apuntadores • Pointer(T) • Funciones • int x int => int • int calcula(int par1; int par2) { return par1*par2; }

  8. Comprobador de tipos • Gramática de los tipos • Reglas semánticas • Atributo (sintetizado o heredado) tipo

More Related