3.1 El lenguaje de especificación IDL

Transcripción

1 3.1 El lenguaje de especificación IDL

2 El lenguaje de especificación IDL Permite especificar interfaces remotas en un lenguaje neutral El compilador (preprocesador) de IDL genera código para el lenguaje(s) destino(s) (para poder invocar las operaciones e implementar las interfaces) Mappings estandarizados para un buen número de lenguajes (C, C++, Java, COBOL, Smalltalk, Ada, etc.) Cada vez se van añadiendo más... Actualmente IDL es un lenguaje relativamente extenso Veremos lo esencial...

3 Ficheros fuente IDL Reglas léxicas (1) Deben tener la extensión.idl Son preprocesados por el preprocesador de C++ Se puede usar #define, #include, #ifdef, #ifndef, #endif, etc. Comentarios // Esto es un comentario de una línea. /* Esto es un comentario de varias líneas. */ Palabras reservadas Casi todas en minúsculas Algunas excepciones: TRUE, FALSE y Object

4 Reglas léxicas (y 2) Identificadores Deben comenzar con un carácter alfabético seguido por cualquier número de caracteres alfabéticos, dígitos o _ (subrayado) No se distingue entre mayúsculas y minúsculas, pero deben utilizarse consistentemente Si definimos el identificador MAX, a partir de ese momento siempre debemos utilizar MAX y no Max, max, etc. Objetivo: permitir mappings de IDL tanto a lenguajes que distinguen entre mayúsculas y minúsculas en identificadores (ej.: C++, Java) como a otros que no (ej.: Ada) Es importante evitar nombres de identificadores que sean palabras reservadas en algún de lenguaje de implementación (ej.: package, self)

5 Tipos predefinidos (1) Numéricos Tipo short long long long unsigned short unsigned long unsigned long long float double long double Rango IEEE Precisión simple IEEE Precisión doble IEEE Precisión extendida Tamaño >= 16 bits >= 32 bits >= 64 bits >= 16 bits >= 32 bits >= 64 bits >= 32 bits >= 64 bits >= 79 bits

6 Tipos predefinidos (2) Numéricos (cont) El mapping de IDL a un lenguaje de implementación debe preservar el tamaño, pero no necesita mantener el rango Por qué los tamaños pueden ser mayores? Ej.: algunas arquitecturas (CPUs) no disponen de caracteres de 8 bits o enteros de 16 bits, y se mapean a tipos con tamaños mayores Por qué algunos mappings no mantienen los rangos Ej.: Java no tiene enteros sin signo, y por tanto, mapea los tipos IDL long y unsigned long al tipo Java int long long, unsigned long long, long double se añadieron en CORBA 2.1, por lo que los ORBs antiguos no los soportarán

7 Tipos predefinidos (3) Caracteres char: 8 bits wchar: tamaño dependiente de la implementación Codificación: dependiente de la implementación en ambos casos, pero el ORB se preocupará de realizar la conversión (si puede) cuando cliente y servidor utilizan distintos sistemas de codificación Cadenas de caracteres string y wstring. No pueden contener carácter 0 Ejemplos string<10> // string acotado (10 char como máximo) string // string no acotado wstring<10> // wstring acotado (10 wchar como máximo) wstring // wstring no acotado string<x> y wstring<x> son tipos propios (distintos de string y wstring) wchar y wstring se añadieron en CORBA 2.1, por lo que los ORBs antiguos no los soportarán

8 octet 8 bits Tipos predefinidos (y 4) No se realiza ninguna conversión entre cliente y servidor Utilidad: transferir datos binarios boolean any Proporciona los valores TRUE y FALSE En un tipo contenedor : un valor de tipo any puede contener un valor de cualquier tipo (predefinido o definido por el usuario) Es seguro (type-safe) y permite instrospección Utilidad: cuando en una operación no se conoce el tipo de uno de sus parámetros en tiempo de compilación (ej.: servicio de eventos)

9 typedef Permiten crear un nuevo nombre para un tipo typedef short Year; typedef short Temperature; typdef Temperature Temp; // Mal estilo! Permiten realizar especificaciones más claras Se deben evitar alias innecesarios (ej.: la tercera definición) Es confuso Puede causar problemas en los mappings que utilicen reglas estrictas de equivalencia de tipos

10 Enumeraciones Ejemplo enum Color {red, green, blue, yellow, white A diferencia de C, Color es un tipo y el nombre del tipo es obligatorio typedef enum {red, green, blue} Color; // Error! Los valores de un tipo deben ser únicos dentro de su ámbito enum InteriorColor {red, green, blue enum ExteriorColor {blue, yellow, white // Error! A diferencia de C++, no se les puede dar valores enum Color {red=0, green=8, blue=16 // Error!

11 Estructuras Ejemplo struct Date { short year; short month; // 1-12 short day; // 1-31 A diferencia de C, Date es un tipo y el nombre del tipo es obligatorio typedef struct { short year; short month; // 1-12 short day; // 1-31 } Date; // Error!

12 Vectores Se pueden definir vectores de una o varias dimensiones typedef Date DateVector[10]; // Tipo DateVector typedef string StringMatrix[10][20]; // Tipo StringMatrix Se debe usar typedef A diferencia de otros lenguajes, no soporta vectores abiertos ( open arrays ) typedef string StringMatrix[][20]; // Error! Hay que tener cuidado cuando se pasan índices de arrays en invocaciones remotas Es preciso definir una convención

13 Secuencias Las secuencias son vectores de longitud variable typedef sequence<color> Colors; // Secuencia no acotada typedef sequence<date, 10> Dates10; // Secuencia Se debe usar typedef // acotada (10 fechas como máximo) Cuándo usar secuencias y cuándo usar vectores? Una lista de cosas con número fijo de elementos => vector Una lista de cosas con número variable de elementos => secuencia Cadenas de caracteres de tamaño fijo => vector de char Vectores dispersos ( sparse arrays ) => secuencias Estructuras de datos recursivas => secuencias

14 Tipos de datos recursivos IDL no tiene punteros, pero permite definir estructuras recursivas struct Node { long value; sequence<node, 2> children; // Un árbol binario Restricciones Sólo para struct La recursividad se expresa con una secuencia anónima del tipo incompleto (recursivo) No se permite recursividad mutua

15 Constantes y literales Se pueden definir de cualquier tipo predefinido (excepto any) o de un enumerado const short MAX_TEMP = 35; const short MIN_TEMP = -10; const short AVG_TEMP = (MAX_TEMP+MIN_TEMP)/2; const float PI = ; const double MAXIMUM = 1E10; const char FIRST_LOWER_CASE_LETTER = a ; const char NULL = \0 ; const string LAST_WORDS = My God, it s full of stars! ; const octet MSB_MASK = 0x10; // Hexadecimal (tb. en enteros) const octet MSB_MASK2 = 0100; // Octal (tb. en enteros) const Color FAVORITE_COLOR = blue; Las expresiones pueden utilizar +, -, *, /, % (con enteros y reales, excepto %), &, ^, <<, >>, ~ (con enteros)

16 Interfaces (1) Ejemplo interface Thermostat { typedef short Temperature; typedef string Location; exception InvalidTemperature { Temperature selectedtemperature; Temperature minimumpermitedtemperature; Temperature maximumpermitedtemperature; Tempeature gettemperature(); void settemperature(in Temperature value) raises(invalidtemperature); Location getlocation();

17 Interfaces (y 2) Un interfaz es un tipo interface Controller { typedef sequence<thermostat> ThermostatList; ThermostatList findallthermostats(); Thermostat findthermostatbylocation( in Thermoter::Location loc); Los objetos remotos se pasan por referencia En el anterior ejemplo, el cliente obtiene una referencia a un proxy del objeto remoto. Los objetos remotos no se mueven!!! Existe la referencia especial nil Utilidad: indicar opcionalidad (pasar nil en un parámetro que admita un objeto remoto) o indicar no encontrado (findthermostatbylocation)

18 Operaciones (1) Pueden devolver excepciones No se pueden sobrecargar Atributos direccionales in: el valor del parámetro se lo envía el cliente al servidor out: el valor del parámetro se lo envía el servidor al cliente inout: el valor del parámetro se lo envía el cliente al servidor, quien posiblemente lo modifica, y se lo envía otra vez al cliente (machacando el valor anterior) Estilo Si una operación acepta uno o más parámetros in y devuelve un solo resultado => el resultado se debería devolver como valor de retorno Si una operación tiene varios valores de retorno con la misma importancia => usar out para los correspondientes parámetros y void como tipo de retorno

19 Estilo Operaciones (y 2) Si una operación retorna varios valores, pero uno de ellos tiene más importancia => devolver este último como valor de retorno y el resto como out boolean getnext(out ValueType value); Usar los parámetros inout con precaución Se asume que el llamador no quiere conservar el valor Eficientes cuando se pasan valores grandes Ejemplo invertmatrix (inout Matrix amatrix);

20 Excepciones definidas por el usuario (1) Ejemplo exception InvalidTemperature { Temperature selectedtemperature; Temperature minimumpermitedtemperature; Temperature maximumpermitedtemperature; Pueden no tener campos No admiten herencia Complicaría algunos mappings No se pueden usar como campos de tipos definidos por el usuario Si una operación puede levantar varias excepciones, se separan por comas en la cláusula raises void foo() raises(exception1, Exception2);

21 Excepciones definidas por el usuario (2) Mal estilo interface DataBase { typedef sequence<row> RowList; typedef string Query; exception NoRow { Query failedquery; RowList lookup(in Query q) raises(norow); Puede ser normal que no exista ningún registro que cumpla la query El campo failedquery no aporta nada Por qué falló la query? no había filas que cumplieran la condición?, no era sintácticamente correcta?, falló la base de datos?

22 Excepciones definidas por el usuario (y 3) Buen estilo interface DataBase { typedef sequence<row> RowList; typedef string Query; exception SyntaxError { unsigned short position; exception DataBaseInternalError { string explanation; RowList lookup(in Query q) raises(syntaxerror, DataBaseInternalError);

23 Excepciones del sistema CORBA define un buen número de excepciones del sistema Cualquier operación puede levantar una excepción del sistema Nunca debe levantarlas el programador Todas las excepciones tienen la siguiente definición enum completion_status { COMPLETED_YES, COMPLETED_NO, COMPLETED_MAYBE exception <SystemExceptionName> { unsigned long minor; completion_status completed; Ej.: COMM_FAILURE, NO_MEMORY, INTERNAL, OBJ_ADAPTER, INV_OBJREF, etc.

24 Ejemplo interface Thermostat { Atributos typedef short TemperatureType; typedef string LocationType; attribute TemperatureType temperature; readonly attribute LocationType location; Los atributos no son el estado del objeto que implemente el interfaz Sólo definen operaciones para leer y escribir valores Los atributos readonly sólo definen operaciones de lectura Inconveniente: no pueden tener cláusula raises Consejo: no usuarlos

25 Declaraciones incompletas Ejemplo interface Husband; interface Wife { Husband getspouse(); interface Husband { Wife getspouse();

26 Herencia (1) Se permite herencia de interfaz interface Thermometer { typedef short Temperature; typedef string Location; Temperature gettemperature(); Location getlocation(); interface Thermostat : Thermometer { void settemperature(in Temperature t);.. y en consecuencia se soporta el polimorfismo interface Controller { Thermometer findbylocation(in Location l); void add(in Thermometer t);

27 Herencia (y 2) Todos los interfaces derivan implícitamente de Object En un parámetro de tipo Object se puede pasar una referencia a un objeto remoto de cualquier tipo La sintaxis de IDL no permite que un interfaz derive explícitamente de Object Un interfaz que deriva de otro no puede volver a declarar (redefinir) una operación del padre No tiene sentido en herencia de interfaz Se permite herencia múltiple interface AmphibiousVehicle : LandVehile, WaterVehicle { //... No se puede heredar un mismo atributo u operación de más de un interfaz base

28 Módulos Similares a los namespaces de C++ module es { module udc { module fbellas { module corbaws { module clock { module idl { struct TimeOfDay { //... interface Clock { TimeOfDay gettimeofday(); Evitan conflictos de nombres Se pueden cerrar y volver a abrir

29 Tipos anónimos (1) Con CORBA 2.4, los tipos anónimos se consideran desaprobados Complican mappings Se consideran desaprobados ( deprecated ) En consecuencia, no se deben usar Una mala definición... struct Order { long identifier; string<100> description; // deprecated! Una buena definición... typedef string<100> OrderDescription; struct Order { long identifier; OrderDescription description;

30 Tipos anónimos (y 2) Hasta CORBA 2.3 (inclusive) no queda más remedio que usar secuencias anónimas para los tipos recursivos CORBA 2.4 añade declaraciones incompletas para struct Ya no es preciso usar tipos anónimos en ningún caso typedef struct Node; typedef sequence<node, 2> ChildSequence; struct Node { long value; ChildSequence children;

31 Identificadores de repositorio (1) El compilador de IDL genera un identificador de repositorio por cada identificador Con el identificador se puede acceder a su definición (introspección) por medio del Repositorio de Interfaces El identificador debe ser único! Existen tres tipos de formatos de identificadores IDL DCE UUID (Universally Unique IDentifier) LOCAL El formato IDL es el formato que utiliza el compilador de IDL por defecto y es el usado normalmente

32 Identificadores de repositorio (y 2) Ejemplo module TCS { // IDL:TCS:1.0 typedef short Temperature; // IDL:TCS/Temperature:1.0 interface Thermometer { // IDL:TCS/Thermometer:1.0 Temperature gettemperature(); // IDL:TCS/Thermometer/getTemperature:1.0 Y qué ocurre si alguien más ha elegido el nombre TCS para un módulo? #pragma prefix es.udc module TCS { // IDL:TCS:1.0 typedef short Temperature; // IDL:es.udc/TCS/Temperature:1.0 interface Thermometer { // IDL:es.udc/TCS/Thermometer:1.0 Temperature gettemperature(); // IDL:es.udc/TCS/Thermometer/getTemperature:1.0 Otra posibilidad es usar nombres de módulos del estilo es.udc...

33 Ámbito (1) Crean ámbito (scope) módulos, interfaces, estructuras, excepciones y listas de parámetros Dentro de un ámbito los nombres de identificadores deben ser únicos Ejemplo module M1 { typdef short T1; interface I1 { typedef long T2; //... module M2 { interface I2 { void foo(in M1::T1 par1, in M1::I1::T2 par2);

34 Ámbito (y 2) Error típico interface Thermostat { typedef short Temperature; exception InvalidTemperature { //... void settemperature(in Temperature temperature) // Error! raises(invalidtemperature)