AVR-Ada pretende hacer la parte de ada de gcc utilizable en microreguladores AVR.

Los conjuntos difusos para ada son una biblioteca que provee realizaciones de factores de confianza con las operaciones no, y, o, xor, +, y *, conjuntos difusos clásicos con las operaciones teóricas por el juego y las operaciones de la teoría de posibilidad, intuitionistic conjuntos difusos con las operaciones en ellos, lógica difusa basada en los conjuntos difusos intuitionistic y la teoría de posibilidad; números rizados, tanto número entero como el punto flotante con operaciones aritméticas convencionales, y variables lingüísticas y juegos de variables lingüísticas con operaciones en ellos. Los conjuntos difusos para ada tienen el apoyo a la entrada-salida orientada a la cuerda.

Aquí están algunos rasgos claves "de Conjuntos difusos para Ada":

· factores de Confianza con las operaciones no, y, o, xor, +, *;
· conjuntos difusos Clásicos con las operaciones teóricas por el juego y las operaciones de la teoría de posibilidad;
· Intuitionistic conjuntos difusos con las operaciones en ellos;
· Lógica difusa basada en los conjuntos difusos intuitionistic y la teoría de posibilidad;
· números Rizados tanto número entero como de punto flotante con operaciones aritméticas convencionales;
· números rizados Dimensionados;
· variables Lingüísticas y juegos de variables lingüísticas con operaciones en ellos;
· entrada-salida orientada a la Cuerda es apoyado.

Whats Nuevo en Esta Liberación:

· el código fue probado con el MOSQUITO ada 2005 (GCC 4.0.2 20051125).
· un error de programación fue fijado en Rizado. Lingüística. Juegos. Defuzzify, que llevó a defuzzification incorrecto con una función de ingreso inclinada.

La aritmética de intervalo para ada es una biblioteca de matemáticas que proporciona una realización de intervalos para Ada. Esto incluye operaciones aritméticas y relacionales.

Ejemplos:

Lógica Tri-estatal

Los saques de Intervalos de paquete como un paquete de raíz y también proporcionan la lógica tri-estatal necesaria para definir operaciones relacionales en intervalos. El tipo Lógico es definido como:

escriba a máquina Lógico es (Falso, La verdad es que Incierto);

Las operaciones siguientes son definidas para Lógico:

función "no" (Izquierdo: Lógico) vuelta Lógica;
funcione ("e " Izquierdo, Correcto: Lógico) vuelta Lógica;
funcione ("e " Izquierdo: Lógico; Derecho: Booleano)
vuelva Lógico;
funcione ("e " Izquierdo: Booleano; Derecho: Lógico)
vuelva Lógico;
funcione ("o" Izquierdo, Correcto: Lógico) vuelta Lógica;
funcione ("o" Izquierdo: Lógico; Derecho: Booleano)
vuelva Lógico;
funcione ("o" Izquierdo: Booleano; Derecho: Lógico)
vuelva Lógico;
funcione "xor" (Izquierdo, Correcto: Lógico) vuelta Lógica;
funcione "xor" (Izquierdo: Lógico; Derecho: Booleano)
vuelva Lógico;
funcione "xor" (Izquierdo: Booleano; Derecho: Lógico)
vuelva Lógico;

Whats Nuevo en Esta Liberación:

· Para usuarios de MOSQUITO los archivos de proyecto de GPS fueron incluidos;
· Basado en unidades de Medida para ada v 2.4.

Las tablas para ada son una biblioteca proporciona una realización de tablas puestas índice por cuerdas. La búsqueda binaria está usada para nombres de la longitud conocida. También es posible buscar una tabla nombres de la longitud desconocida, es decir analizar una cuerda usando alguna tabla. Los elementos de tabla pueden ser de cualquier tipo privado. Tecla - las tablas insensibles son apoyadas.

Whats Nuevo en Esta Liberación:

· GPS archivos de proyecto fueron añadidos para usuarios de MOSQUITO.

Los componentes simples para la biblioteca de ada son el izquierdo de copia; usted puede redistribuirlo y/o modificarlo bajo los términos de las Licencia Públicas General de ÑU como publicado por la Fundación de software gratuito; la versión 2 de la Licencia, (o en su opción) cualquier versión posterior.

Esta biblioteca es distribuida en la esperanza que será útil, pero SIN CUALQUIER GARANTÍA; sin hasta la garantía implícita de COMERCIABILIDAD O BUENA FORMA FÍSICA CON UN OBJETIVO PARTICULAR. Ver las Licencia Públicas General de ÑU para más detalles.

Como una excepción especial, si otros archivos instantiate medicamentos sin marca de esta unidad, o usted conecta esta unidad con otros archivos para producir un ejecutable, esta unidad no hace por sí mismo que resultar ejecutable sea cubierto por las Licencia Públicas General de ÑU.

Esta excepción no invalida sin embargo ningún otro motivo por qué el archivo ejecutable podría ser cubierto por la Licencia de Público de ÑU.

Whats Nuevo en Esta Liberación:

· Funciones Is_In fueron añadidos para web doblemente conectada y listas. Los archivos de proyecto de GPS fueron añadidos para usuarios de MOSQUITO.

Las unidades de la medida para la biblioteca de ada proporcionan una realización de valores dimensionados para Ada. Los controles de unidad son realizados en el tiempo de ejecución, si no optimizado por el compilador. SI y las unidades de medida irregulares son apoyados.

Las unidades cambiadas como grados centígrados son apoyadas también. Las conversiones de y atrás a cuerdas son proporcionadas para todas varias unidades irregulares.

Aquí están algunos aspectos claves "de Unidades de la medida para Ada":

· la Unidad de tipo denota la dimensión de una entidad física. La Medida de tipo representa un valor dimensionado;
· aritmética de unidad Variada. Valores en SI (Le Système dUnités internacional) las unidades pueden ser mezcladas con unidades irregulares (como pie y yarda) mientras el resultado es definido;
· apoyo de unidad Cambiado (un caso extensamente usado de una unidad cambiada es el grado de centígrado);
· la Medida de tipo es genérico, dado parámetros por un tipo de punto de la flotación. Una versión no genérica basada en la Reserva de tipo también es proporcionada;
· Cuerda para Medir la conversión apoya como el amplio juego de unidades irregulares como sea posible.
· Actualmente las energías de los componentes de unidad base están en la variedad-8.. 7. Esta limitación tiene una razón de realización (la ausencia de números enteros modulares de 64 bits en muchos compiladores de Ada).

Whats Nuevo en Esta Liberación:

· el foco de esta liberación está en el apoyo de GTK.
· Esto proporciona un artefacto de caja corregir a valores dimensionados con un grupo caer para la selección de unidad.
· el artefacto puede ser reprimido a una dimensión definida.
· una célula de vista de árbol renderer de valores dimensionados es proporcionado, así como un programa de muestra para trazar un mapa de valores de una dimensión al otro.

el proyecto de adanetcdf es un Ada-95 que liga a la biblioteca netcdf.

Whats Nuevo en Esta Liberación:

· añadido `varead para extracción de llamada sola de vectores y matrices de

Niliada es una biblioteca de objetos Parecidos a un ceceo en Ada-95.

Esto presenta a un basurero de tiempo real. La biblioteca de Niliada es útil para aplicaciones macizamente multienhebradas en una misión el ambiente crítico.

La Biblioteca de Componentes Estándar de Aplicación (ASCL) comprende un juego de paquetes de ada reutilizables. El foco no está en componentes ligeros, pero componentes más grandes, como un gerente de configuración y un ambiente de aplicación CLI que hace todo el análisis sintáctico de argumento.

Esto también incluye un ambiente construir para el Linux que puede ser actualizado y mantenido independientemente del código fuente actual. Esto apoya el proceso de software personal para ada que programa.

WIPORT es una capa sobre la biblioteca de gráficos grx que provee un API de GUI simple de la memorización de los objetos mostrados en varias ventanas.

Esto hace volver a dibujar e imprimir a una representación de PostScript ampliable fáciles a hacer. Gracias a los programas de biblioteca grx, usando trabajos de WIPORT idénticamente en la DOS consola gráfica, Linux+svgalib, y Linux+X11. WIPORT es escrito en C y viene con una encuadernación de Ada-95.

AdaSockets es una biblioteca que le deja usar enchufes BSD de ada (TCP, UDP y multidifusión).

Instalación:

% ./configurar - prefijo =
% haga instalan

Esto construirá e instalará este software bajo/lib/adasockets. El programa de adasockets-config y su página de hombre asociada serán instalados respectivamente bajo <cualquier directorio> / recipiente y <cualquier directorio>/man/

En el subdirectorio de ejemplos, usted encontrará que un ejemplo llamó "tcprelay" que ilustra como este paquete puede estar usado.

EL ÑU hace no es estrictamente necesario, pero es recomendado. Es necesario si usted quiere reconstruir la documentación.

Whats Nuevo en Esta Liberación:

· problema técnico de Embalaje es fijado ahora, gracias a Dani para relatarlo.

La biblioteca de Propiedades Obligatoria Charlatana añade una realización de propiedades obligatorias a CHARLATÁN / GTK + biblioteca (esto también incluye a ada 95 para GtkAda GTK bindings, GtkAda fue hecho por el Corp. de ACTO)

Las propiedades obligatorias son valores de sincronización automáticos de varias propiedades de guardar sus valores proporcionalmente el uno al otro, de modo que cuando una propiedad cambia las propiedades atadas con ella automáticamente cambien en consecuencia. También los bindings con funciones de transformación de valor son apoyados.

Las propiedades obligatorias mucho reducen el tiempo de desarrollo de aplicaciones de escritorio y la fiabilidad de aumentos como le libera de tratantes de rellamada de escritura que llevan mucho tiempo y predispuestos al error de cambios de propiedad. ¡(los tratantes de cambio de propiedad probablemente equivocados son el más a menudo la causa de errores en aplicaciones de GUI!)

La versión 0.9.1 corriente es una versión alfa. Por favor pruébelo.

El Encargado de limpieza de XML es una utilidad de línea de orden para filtrar y validar archivos XML.

El Limpiador de XML es escrito en ada 9X y tan ello bastante rápido.

El Encargado de limpieza de XML es un filtro de XML y validator, similar a xmllint. Esto puede quitar superfluos namespace declaraciones de un archivo XML, ampliar entidades XML, cifrar de nuevo archivos XML, y más.

Aquí están algunos rasgos claves "de Encargado de limpieza de XML":

El · quita declaraciones namespace superfluas;
· Unicode apoyo;
· (Más para poner en práctica: validación de XML, XML canonicalization, reformateo, whitespace retiro, retiro de comentarios, XML charset nueva codificación, procesamiento de XInclude, modificación de archivo de lugar, etc.; el Encargado de limpieza de XML debe convertirse en una línea de orden presentada llena filtro de XML y validator.)

El Encargado de limpieza de XML es desarrollado para hacerse el reemplazo xmllint.

Whats Nuevo en Esta Liberación:

· una opción delegir si evitar apóstrofes y citas en la salida fue añadido.

La Capa DirectMedia Simple es una biblioteca de multimedia de plataforma enfadada diseñada para proporcionar el acceso de nivel bajo a audio, teclado, ratón, palanca de mando, 3er hardware vía OpenGL, y 2do vídeo framebuffer. SDL está usado por software de pregrabado de MPEG, emuladores, y muchos juegos populares, incluso el premio ganando la puerta de Linux "de la Civilización: Llame Para Impulsar."

La Capa DirectMedia Simple apoya el Linux, Windows, BeOS, el Clásico de MacOS, MacOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, y QNX. También hay el código, pero ningún apoyo oficial, para Windows Iglesia Anglicana, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, y SymbianOS.

SDL es escrito en C, pero trabaja con C ++ natalmente, y tiene bindings a varias otras lenguas, incluso Ada, Eiffel, Java, Lua, ML, Perl, PHP, Lucio, Pitón, y Rubí.

Whats Nuevo en Esta Liberación:

· carga de X11 dinámica sólo es habilitado con gcc 4 apoyo-fvisibility=hidden. Esto fija fallos del sistema relacionados con colisiones de símbolo, y permite añadir Solaris e IRIX.
· edificio Fijo SDL con Xinerama inhibido.
· DRI fijo OpenGL carga de biblioteca, usando RTLD_GLOBAL en dlopen ().
· apoyo de configuración pkgconfig Añadido.

SDL_mixer es una muestra biblioteca de mezclador de audio multicanal. SDL_mixer apoya cualquier número de simultáneamente jugar canales del audio estéreo de 16 bits, más un canal solo de la música, mezclada por MikMod popular MOD, MIDI de Timidez, Ogg Vorbis, y SMPEG MP3 bibliotecas.

La Capa DirectMedia Simple es una biblioteca de multimedia de plataforma enfadada diseñada para proporcionar el acceso de nivel bajo a audio, teclado, ratón, palanca de mando, 3er hardware vía OpenGL, y 2do vídeo framebuffer. Está usado por software de pregrabado de MPEG, emuladores, y muchos juegos populares, incluso el premio ganando la puerta de Linux "de la Civilización: Llame Para Impulsar."

La Capa DirectMedia Simple apoya el Linux, Windows, BeOS, el Clásico de MacOS, MacOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, y QNX. También hay el código, pero ningún apoyo oficial, para Windows Iglesia Anglicana, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, y SymbianOS.

SDL es escrito en C, pero trabaja con C ++ natalmente, y tiene bindings a varias otras lenguas, incluso Ada, Eiffel, Java, Lua, ML, Perl, PHP, Lucio, Pitón, y Rubí.

La biblioteca de SDL_net es una pequeña plataforma enfadada de muestra biblioteca conectada a una red, con una aplicación de servidor y cliente de chat de muestra. El cliente de chat usa la biblioteca de marco de GUI GUIlib.

La Capa DirectMedia Simple es una biblioteca de multimedia de plataforma enfadada diseñada para proporcionar el acceso de nivel bajo a audio, teclado, ratón, palanca de mando, 3er hardware vía OpenGL, y 2do vídeo framebuffer. Está usado por software de pregrabado de MPEG, emuladores, y muchos juegos populares, incluso el premio ganando la puerta de Linux "de la Civilización: Llame Para Impulsar."

La Capa DirectMedia Simple apoya el Linux, Windows, BeOS, el Clásico de MacOS, MacOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, y QNX. También hay el código, pero ningún apoyo oficial, para Windows Iglesia Anglicana, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, y SymbianOS.

SDL es escrito en C, pero trabaja con C ++ natalmente, y tiene bindings a varias otras lenguas, incluso Ada, Eiffel, Java, Lua, ML, Perl, PHP, Lucio, Pitón, y Rubí.

SDL_ttf es una biblioteca de muestra que permite que usted use fuentes TrueType en sus aplicaciones SDL. La biblioteca de SDL_ttf viene con "showfont" de programa de ejemplo que muestra una cuerda de ejemplo para un archivo de fuente TrueType dado.

Desempaquete y construya. Ejecutado "showfont fontfile" para mostrar una fuente usando la biblioteca.

La Capa DirectMedia Simple es una biblioteca de multimedia de plataforma enfadada diseñada para proporcionar el acceso de nivel bajo a audio, teclado, ratón, palanca de mando, 3er hardware vía OpenGL, y 2do vídeo framebuffer. Está usado por software de pregrabado de MPEG, emuladores, y muchos juegos populares, incluso el premio ganando la puerta de Linux "de la Civilización: Llame Para Impulsar."

La Capa DirectMedia Simple apoya el Linux, Windows, BeOS, el Clásico de MacOS, MacOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, y QNX. También hay el código, pero ningún apoyo oficial, para Windows Iglesia Anglicana, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, y SymbianOS.

SDL es escrito en C, pero trabaja con C ++ natalmente, y tiene bindings a varias otras lenguas, incluso Ada, Eiffel, Java, Lua, ML, Perl, PHP, Lucio, Pitón, y Rubí.

SDL_image es una biblioteca de carga de archivo de imagen. SDL_image carga imágenes como superficies de SDL, y apoya los formatos siguientes: BMP, PNM, LBM, PCX, XPM, GIF, JPEG, PNG, TGA.

Desempaquete y construya. Ejecutado "showimage imagefile" para mostrar una imagen usando la biblioteca.
Note: Si usted añade al Clásico de MacOS, usted puede querer las versiones preconstruidas de libpng y libz para el apoyo de PNG.

La Capa DirectMedia Simple es una biblioteca de multimedia de plataforma enfadada diseñada para proporcionar el acceso de nivel bajo a audio, teclado, ratón, palanca de mando, 3er hardware vía OpenGL, y 2do vídeo framebuffer. Está usado por software de pregrabado de MPEG, emuladores, y muchos juegos populares, incluso el premio ganando la puerta de Linux "de la Civilización: Llame Para Impulsar."

La Capa DirectMedia Simple apoya el Linux, Windows, BeOS, el Clásico de MacOS, MacOS X, FreeBSD, OpenBSD, BSD/OS, Solaris, IRIX, y QNX. También hay el código, pero ningún apoyo oficial, para Windows Iglesia Anglicana, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC OS, y SymbianOS.

SDL es escrito en C, pero trabaja con C ++ natalmente, y tiene bindings a varias otras lenguas, incluso Ada, Eiffel, Java, Lua, ML, Perl, PHP, Lucio, Pitón, y Rubí.

GlGuiA es un juego de paquetes de ada para crear interfaces gráficas de usuario. Esto proporciona un juego completo y extensible de artículos gráficos (artefactos), como botones, balanzas, árboles, cajas de mensaje, y ventanas de diálogo.

Debería ser bastante fácil crear nuevos objetos de existentes. Para ganar la independencia de plataforma, la biblioteca confía en OpenGl para dibujar obras primitivistas. El acontecimiento básico y la dirección de ventana son hechos usando Glfw.

Whats Nuevo en Esta Liberación:

· especificaciones OpenGL-relacionadas han sido partidos.
· Esto ya no usa la SUPERABUNDANCIA, pero en cambio Glfw para la dirección de acontecimientos y ventanas baja.
· Mucho mejor fuente las decoraciones que se manejan, y básicas han sido añadidas al texto.
· manipulaciones de Vista añadió: el movimiento de ratón + botón medio (vista de cazuela) y rueda de ratón (zumban la vista).
· un artefacto de entrada de línea al texto de línea sola de insumo ha sido añadido.
Los · Activan con un clic de ratón, validan con entran o el clic izquierdo, y cancelan con la fuga o el clic correcto.

AdaControl es unas herramientas (GMGPL) libres que descubren el uso de varias clases de construcciones en los programas de Ada. AdaControls el primer objetivo es controlar el uso apropiado de estilo o reglas que programan, pero también puede estar usado como unas herramientas potentes para buscar el uso (o desuso) de varias formas de programar modelos de diseño o estilos. Los elementos buscados se extienden de muy simple, como el acontecimiento de entidades certaine, declaraciones, o declaraciones, a muy sofisticado, como la verificación que están obedeciendo a ciertos modelos de programación..

Qué elementos o las construcciones son buscados es definido por un conjunto de reglas; la tabla siguiente da un resumen corto de reglas actualmente revisó AdaControl. El número en paréntesis después del nombre de regla da el número de subreglas, si alguno. ¡Considerando todas las reglas posibles y subreglas, esto hace 216 pruebas que pueden ser realizadas actualmente por AdaControl!

· Abnormal_Function_Return Mandos un modelo de diseño que asegura que una función siempre devuelve un resultado.
· Mandos de Allocators ocurrences de allocators, todos ellos, o aquellos tipos especificados apuntadores.
· Array_Declarations (x2) Mandos varia métrica en declaraciones de matriz.
· Barrier_Expressions elementos de Mandos permitido en la expresión de barreras de entradas protegidas
· Case_Statement (x4) Mandos varia métrica por si declaraciones.
· Control_Characters acontecimientos de Mandos de carácteres de control (como paletas) en la fuente.
· Declaraciones (x75) acontecimientos de Mandos de ciertas declaraciones de Ada.
· Default_Parameter subprograma de Mandos llama e instantiations genéricos que usan (o no) el valor por defecto para un parámetro dado.
· Directly_Accessed_Globals Mandos un modelo de diseño que asegura que tienen acceso a todas las variables globales sólo por subprogramas dedicados.
· acontecimientos de Mandos de Entidades de cualquier entidad de Ada.
· Entity_Inside_Exception acontecimientos de Mandos de entidades dentro de tratantes de excepción.
· Exception_Propagation (x4) Mandos que los ciertos subprogramas (o tareas) no pueden propagar excepciones, o que ninguna elaboración puede propagar excepciones.
· Expresiones (x9) uso de Mandos de ciertas formas de expresiones
· Global_References Mandos no sincronizó accesos a variables globales.
· Header_Comments (x2) Mandos la presencia de comentarios al principio de cada módulo.
· If_For_Case Mandos si las declaraciones que podrían ser reemplazadas por declaraciones de caso.
· Mandos de Instantiations instantiations genérico, todos ellos, o aquellos aquel uso especificó entidades.
· Insufficient_Parameters Mandos el uso de parámetros posicionales en llamadas donde el valor no proporciona la información suficiente.
· Local_Hiding los acontecimientos de Mandos de los identificadores locales que esconden un externo idéntico.
· Local_Instantiation Mandos instantiations en alcances locales.
· Max_Blank_Lines Mandos el acontecimiento de más que un número especificado de líneas vacías consecutivas.
· Max_Call_Depth Mandos la profundidad máxima de llamadas de subprograma.
· Max_Line_Length Mandos longitud máxima de líneas de la fuente.
· Max_Nesting alcances de Mandos anidó más profundamente que un límite dado.
· Max_Parameters (x6) Mandos los números máximos de parámetros en entidades accesibles (procedimientos, funciones y entradas)
· Max_Statement_Nesting (x5) declaraciones de compuesto de Mandos anidó más profundamente que un límite dado.
· Movable_Accept_Statements declaraciones de Mandos que podrían ser movidas fuera de una declaración aceptar.
· Naming_Convention Mandos la forma de los permitidos (o prohibido) llama en declaraciones.
· No_Safe_Initialization Mandos un modelo de diseño que asegura que cualquier variable es iniciada antes de estar acostumbrada.
· Non_Static (x3) Mandos no expresiones estáticas en índice o coacciones discriminant, o en instantiations.
· Not_Elaboration_Calls llamadas de subprograma de Mandos funcionó de sitios fuera del código de elaboración de paquete.
· Other_Dependencies Mandos dependencias semánticas a otras unidades que aquellos indicados
· Parameter_Aliasing subprogramas de Mandos y entrada llama donde una variable es proporcionada a más de un [en] el parámetro.
· Potentially_Blocking_Operations Mandos el uso de operaciones potencialmente obstructoras desde dentro operaciones protegidas.
· Mandos de Pragmas el uso de pragmas específico.
· Real_Operators acontecimientos de Mandos de = o / = operadores en verdaderos tipos.
· Reduceable_Scope declaraciones de Mandos que podrían ser el movimiento a alcances más profundamente anidados.
· Representation_Clauses acontecimientos de Mandos de cláusulas de representación.
· Return_Type Mandos el uso de ciertas clases de tipos como tipos de devolución de funciones.
· Side_Effect_Parameters subprograma de Mandos llama e instantiations genéricos que llaman funciones con el efecto secundario, así creando una dependencia a la orden de evaluación.
· Silent_Exceptions tratantes de excepción de Mandos que no levantan de nuevo excepciones, ni llaman subprogramas indicados.
· Simplifiable_Expressions (x4) los acontecimientos de Mandos de las varias formas de expresiones que podrían ser simplificadas.
· Special_Comments Mandos la presencia de ciertos modelos de cuerda en comentarios.
· Declaraciones (x42) acontecimientos de Mandos de declaraciones de Ada.
· Estilo (x12) Mandos varias formas de construcciones generalmente recomendadas en reglas de estilo.
· Terminating_Tasks Mandos un modelo de diseño que asegura esto tareas nunca se termina.
· Uncheckable (x3) construcciones de Mandos que no son estáticamente checkable según otras reglas
· Unnecessary_Use_Clause Mandos usan cláusulas en paquetes, donde ningún elemento del paquete es mandado a dentro del ámbito de la cláusula de uso.
· Unsafe_Paired_Calls Mandos un modelo de diseño que asegura que las ciertas llamadas son allways emparejado (como procedimientos P/V).
· Unsafe_Unchecked_Conversion Mandos instantiations de Unchecked_Conversion entre tipos de tamaños diferentes o no especificados.
· Uso (x5) el uso de Mandos de objetos en ciertas condiciones (en especificaciones de paquete, lea, por escrito modificado...).
· Use_Clauses acontecimientos de Mandos de cláusulas de uso, excepto paquetes indicados.
· With_Clauses (x3) Mandos uso apropiado de con cláusulas.

Whats Nuevo en Esta Liberación:

· Esta liberación añade reglas de comprobar que los comentarios de cabecera emparejan un modelo dado.
· Esto tiene la indicación de positives falso posible y negativas falsas debido a construcciones no estáticamente analizables.
· hay una definición fina de construcciones permitidas en barreras de entrada (incluso el que del perfil de Ravenscar).
· hay mejor integración en GPS, y mucho más.