There are no reviews yet. Be the first to send feedback to the community and the maintainers!
A W S - Ada Web Server 24.0 release Authors: Dmitriy Anisimkov Pascal Obry AWS stand for Ada Web Server. It is a small yet powerful HTTP component to embed in any applications. It means that you can communicate with your application using a standard Web browser and this without the need for a Web Server. AWS is fully developed in Ada with GNAT. AWS support SOAP/WSDL, Server Push, HTTPS/SSL, client HTTP, hotplug modules... AWS comes with SOAP/WSDL support, two tools are proposed: ada2wsdl which generates a WSDL document from an Ada spec wsdl2aws which generates stubs/skeletons AWS code from a WSDL document Both tools have mapping for standard Ada types but also supports Ada enumerations, character, records and arrays. The SOAP implementation has been validated on http://validator.soapware.org/. This on-line service is not available anymore but the current implementation is validated against the Apache/AXIS SOAP implementation to ensure the interoperability. Some users have also reported to have used AWS/SOAP with .NET and gSOAP without trouble. Non upward compatible changes ----------------------------- Note that the changes listed below can introduce non upward compatibility. In such a case we try to give proper advice on how to change the code to work properly. Of course we try to avoid this as much as possible but we really prefer to have a clean API instead of keeping awkward implementations. - To support SMTP secure STARTTLS switching protocol the parameter to SMTP.Initialize has been changed from Secure to Security and instead of a boolean it takes a Secure_Connection enumeration which can be No, TLS or STARTTLS. If Secure was set to False, Security must be No. If Secure was set to True, Security should probably be TLS except if the STARTTLS swicthing protocol is to be used. Obsolescent features -------------------- In each new version we try to be upward compatible with previous version. This is really important, but in some cases it seems that a "redesign" of the API would be good in the long term. All obsolescent features will be listed in this section. Those features will be removed in the next version. Note that you can check usage of those features in your application by using the GNAT's -gnatwj option as we have tagged all obsolescent features with a pragma. Pointers -------- AWS Home Page (sources and printable documentations in Postscript and PDF): https://www.adacore.com/gnatpro/toolsuite/ada-web-server https://github.com/AdaCore/aws Templates_Parser sources: https://github.com/AdaCore/templates-parser Templates_Parser module (sources and documentation) is provided as a separate download and must be unpacked into the AWS root's directory. If AWS is used from GitHub, Templates_Parser will be downloaded automatically as a sub-module. GNU/Ada - GNAT https://www.adacore.com/gnatpro Or the GNAT compiler coming with your GNU/Linux distribution. XML/Ada (optional): https://github.com/AdaCore/xmlada You need this library only for the AWS SOAP support. Libadalang/Ada (optional): https://www.adacore.com/libadalang https://github.com/AdaCore/libadalang You need this library only for the AWS WSDL support. OpenSSL (optional): You need to install manually the development libraries (>= 1.1.0). LibreSSL (optional): You need to install manually the development libraries (>= 2.8.0). LibreSSL is an implementation fully compatible with OpenSSL, you just have to configure AWS as with OpenSSL. GNUTLS (optional): You need to install manually the development libraries. AWS needs at least version 3.2.4 of GNUTLS. OpenLDAP library (optional) : Sources for UNIX or Win32: http://www.openldap.org/ Win32: AWS binding will use to the Microsoft LDAP dynamic library. Windows Services API (optional): To build the runme demo as a Windows NT/2000 services you must download the services API made by Ted Dennison for his SETI@Home project. http://www.telepath.com/~dennison/Ted/SETI/SETI_Service.html Reporting bugs -------------- You can report bugs to AdaCore: [email protected] Contributors ------------ Thanks to the contributors and peoples who send feedbacks, ideas about AWS. In the early stage of the project this is very valuable. So thanks goes to Georg Bauhaus, Ted Dennison, Wiljan Derks, Sune Falck, David C. Hoos, Audran Le Baron, Thierry Lelegard, Nicolas Lesbats, Olivier Ramonat, Jean-François Rameau, Maxim Reznik, Jean-Pierre Rosen, Jerme Roussel, Ariane Sinibardy, Henrik Sundberg. Thanks to all who have reported bugs and have sent us patches.
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARKgnat-llvm
LLVM based GNAT compilerlibadalang
Ada semantic analysis library.gsh
A POSIX shell for Windows.learn
Sources for learn.adacore.comgtkada
Ada bindings for the GTK+ graphical library.langkit
Language creation framework.gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.bb-runtimes
Source repository for the GNAT Bare Metal BSPsada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languagesVSS
High level string and text processing librarygnatcoll-core
GNAT Components Collection β Core packagesgnatcoverage
GNATcoverage: Coverage Analysis ToolCertyflie
ada-traits-containers
Generic Ada Library for Algorithms and Containerswhy3
SPARK 2014 repository for the Why3 verification platform.startup-gen
A startup code generator for embedded projectse3-core
Core framework for developing portable automated build systemsgit-hooks
Git hooks Python-based scriptsxmlada
The XML/Ada toolkit.Ada-IntelliJ
Support for Ada and SPARK languages in IntelliJ IDEAOPAVES
Open Platform for Autonomous VEhicle Systemstraining_material
PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standardsAda-SPARK-Crate-Of-The-Year
gnat_community_install_script
Script to automate the installation of the GNAT Community Installerscuda
win32ada
Ada API to the Windows libraryspawn
Robotics_with_Ada
Robotics with Ada, ARM, and Legogpr
The framework for analyzing the GNAT Project (GPR) fileslibadalang-tools
Libadalang-based toolsgnat-gdb-scripts
GDB scripts for Ada programs built with GNATgnatcoll-bindings
GNAT Components Collection β Bindings to C librariesembedded-runtimes
runtimes that add support for various boards to the GNAT GPL compiler for ARMadareducer
qemu
gnatcoll-db
GNAT Components Collection β Database packagessparkformal
The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.UnityAdaTetris
markdown
Markdown parserlabs-material
Support Libraries for AdaCore University Labstemplates-parser
AWS templates engine.florist
ada-py-bind
e3-testsuite
e3 testsuite driverspdm-recordflux
RC_Car_Demo
An embedded Ada/SPARK demoRESSAC_Use_Case
A Collaborative Development Assurance Labaunit
SPARK_Railway_Simulation_Demo
Http_Cyclone
Compile_And_Prove_Demo
Demo project for new web site: Compile It! / Prove It!program_proofs_in_spark
This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.gnat-docker
gnatdashboard
Analyse a project.AdaSAT
e3-aws
High level interface for CloudFormationPlatinum_Reusable_Stack
wposix
Ada Windows POSIX bindingcode_examples_server
prototype server for creating interactive "try SPARK / try Ada" webpageslmod_manager
lmod based management tool for GNAT and SPARK installationsSPARK_PDI_Demo
Use of SPARK to implement Parameter Data Itemslangkit-query-language
query language for Libadalang and Langkitgprconfig_kb
GPR configuration knowledge basetictactoe
A tictactoe game written and proven in SPARKlanguage-examples
Examples of common software engineering constructs written in Ada and SPARKada_coding_standards
cheri-examples
style_checker
The AdaCore style checkergpr-unit-provider
GPR2 based unit provider for Libadalanggnatdoc
GNAT Documentation GeneratorLunar_Lander_Rotation_Demo
Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computerRecordFlux-parser
training_labs_radar
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machinesuwrap
z3
SPARK 2014 repository for the Z3 SMT solver.lal-checkers
Libadalang-based code checking infrastructurespark_translator
SPARK 2005 to 2014 translatorLumos_Maxima
Lumos_Maxima repository for VerifyThis challengetraining_labs_solar_system
training_labs_standalone
gnatcoll
GNAT Components Collection (obsolete)sphinxcontrib-adadomain
alt-ergo
SPARK 2014 repository for the Alt-Ergo SMT solver.lsif-ada
prettier-ada
SPARK-to-C_Tetris_Demo
lal-refactor
RecordFlux-devutils
Love Open Source and this site? Check out how you can help us