Merge https://gitrepos.estec.esa.int/taste/buildsupport

.gitignore

+ada/buildsupport_version.ads
+buildsupport
+tmpBuild

LICENSE

+                   GNU LESSER GENERAL PUBLIC LICENSE
+                       Version 3, 29 June 2007
+
+ Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
+ Everyone is permitted to copy and distribute verbatim copies
+ of this license document, but changing it is not allowed.
+
+
+  This version of the GNU Lesser General Public License incorporates
+the terms and conditions of version 3 of the GNU General Public
+License, supplemented by the additional permissions listed below.
+
+  0. Additional Definitions.
+
+  As used herein, "this License" refers to version 3 of the GNU Lesser
+General Public License, and the "GNU GPL" refers to version 3 of the GNU
+General Public License.
+
+  "The Library" refers to a covered work governed by this License,
+other than an Application or a Combined Work as defined below.
+
+  An "Application" is any work that makes use of an interface provided
+by the Library, but which is not otherwise based on the Library.
+Defining a subclass of a class defined by the Library is deemed a mode
+of using an interface provided by the Library.
+
+  A "Combined Work" is a work produced by combining or linking an
+Application with the Library.  The particular version of the Library
+with which the Combined Work was made is also called the "Linked
+Version".
+
+  The "Minimal Corresponding Source" for a Combined Work means the
+Corresponding Source for the Combined Work, excluding any source code
+for portions of the Combined Work that, considered in isolation, are
+based on the Application, and not on the Linked Version.
+
+  The "Corresponding Application Code" for a Combined Work means the
+object code and/or source code for the Application, including any data
+and utility programs needed for reproducing the Combined Work from the
+Application, but excluding the System Libraries of the Combined Work.
+
+  1. Exception to Section 3 of the GNU GPL.
+
+  You may convey a covered work under sections 3 and 4 of this License
+without being bound by section 3 of the GNU GPL.
+
+  2. Conveying Modified Versions.
+
+  If you modify a copy of the Library, and, in your modifications, a
+facility refers to a function or data to be supplied by an Application
+that uses the facility (other than as an argument passed when the
+facility is invoked), then you may convey a copy of the modified
+version:
+
+   a) under this License, provided that you make a good faith effort to
+   ensure that, in the event an Application does not supply the
+   function or data, the facility still operates, and performs
+   whatever part of its purpose remains meaningful, or
+
+   b) under the GNU GPL, with none of the additional permissions of
+   this License applicable to that copy.
+
+  3. Object Code Incorporating Material from Library Header Files.
+
+  The object code form of an Application may incorporate material from
+a header file that is part of the Library.  You may convey such object
+code under terms of your choice, provided that, if the incorporated
+material is not limited to numerical parameters, data structure
+layouts and accessors, or small macros, inline functions and templates
+(ten or fewer lines in length), you do both of the following:
+
+   a) Give prominent notice with each copy of the object code that the
+   Library is used in it and that the Library and its use are
+   covered by this License.
+
+   b) Accompany the object code with a copy of the GNU GPL and this license
+   document.
+
+  4. Combined Works.
+
+  You may convey a Combined Work under terms of your choice that,
+taken together, effectively do not restrict modification of the
+portions of the Library contained in the Combined Work and reverse
+engineering for debugging such modifications, if you also do each of
+the following:
+
+   a) Give prominent notice with each copy of the Combined Work that
+   the Library is used in it and that the Library and its use are
+   covered by this License.
+
+   b) Accompany the Combined Work with a copy of the GNU GPL and this license
+   document.
+
+   c) For a Combined Work that displays copyright notices during
+   execution, include the copyright notice for the Library among
+   these notices, as well as a reference directing the user to the
+   copies of the GNU GPL and this license document.
+
+   d) Do one of the following:
+
+       0) Convey the Minimal Corresponding Source under the terms of this
+       License, and the Corresponding Application Code in a form
+       suitable for, and under terms that permit, the user to
+       recombine or relink the Application with a modified version of
+       the Linked Version to produce a modified Combined Work, in the
+       manner specified by section 6 of the GNU GPL for conveying
+       Corresponding Source.
+
+       1) Use a suitable shared library mechanism for linking with the
+       Library.  A suitable mechanism is one that (a) uses at run time
+       a copy of the Library already present on the user's computer
+       system, and (b) will operate properly with a modified version
+       of the Library that is interface-compatible with the Linked
+       Version.
+
+   e) Provide Installation Information, but only if you would otherwise
+   be required to provide such information under section 6 of the
+   GNU GPL, and only to the extent that such information is
+   necessary to install and execute a modified version of the
+   Combined Work produced by recombining or relinking the
+   Application with a modified version of the Linked Version. (If
+   you use option 4d0, the Installation Information must accompany
+   the Minimal Corresponding Source and Corresponding Application
+   Code. If you use option 4d1, you must provide the Installation
+   Information in the manner specified by section 6 of the GNU GPL
+   for conveying Corresponding Source.)
+
+  5. Combined Libraries.
+
+  You may place library facilities that are a work based on the
+Library side by side in a single library together with other library
+facilities that are not Applications and are not covered by this
+License, and convey such a combined library under terms of your
+choice, if you do both of the following:
+
+   a) Accompany the combined library with a copy of the same work based
+   on the Library, uncombined with any other library facilities,
+   conveyed under the terms of this License.
+
+   b) Give prominent notice with the combined library that part of it
+   is a work based on the Library, and explaining where to find the
+   accompanying uncombined form of the same work.
+
+  6. Revised Versions of the GNU Lesser General Public License.
+
+  The Free Software Foundation may publish revised and/or new versions
+of the GNU Lesser General Public License from time to time. Such new
+versions will be similar in spirit to the present version, but may
+differ in detail to address new problems or concerns.
+
+  Each version is given a distinguishing version number. If the
+Library as you received it specifies that a certain numbered version
+of the GNU Lesser General Public License "or any later version"
+applies to it, you have the option of following the terms and
+conditions either of that published version or of any later version
+published by the Free Software Foundation. If the Library as you
+received it does not specify a version number of the GNU Lesser
+General Public License, you may choose any version of the GNU Lesser
+General Public License ever published by the Free Software Foundation.
+
+  If the Library as you received it specifies that a proxy can decide
+whether future versions of the GNU Lesser General Public License shall
+apply, that proxy's public statement of acceptance of any version is
+permanent authorization for you to choose that version for the
+Library.

Makefile

+UNAME := $(shell uname)
+
+CC=gcc
+exec = buildsupport
+
+all: build
+
+build:
+ifeq ($(UNAME), Linux)
+	@echo "package Buildsupport_Version is" > ada/buildsupport_version.ads.new
+	@echo -n "   Buildsupport_Release : constant String := \"" >> ada/buildsupport_version.ads.new
+	@git log --oneline | head -1 | cut -f1 -d' ' | tr -d '\012' >> ada/buildsupport_version.ads.new
+	@echo "\";" >> ada/buildsupport_version.ads.new
+	@echo -n "end Buildsupport_Version;" >> ada/buildsupport_version.ads.new
+	@if [ ! -f "ada/buildsupport_version.ads" ] ; then                \
+		mv ada/buildsupport_version.ads.new ada/buildsupport_version.ads;          \
+	else                                            \
+		MD1=`cat ada/buildsupport_version.ads | md5sum` ;         \
+		MD2=`cat ada/buildsupport_version.ads.new | md5sum` ;     \
+		if [ "$$MD1" != "$$MD2" ] ; then        \
+			mv ada/buildsupport_version.ads.new ada/buildsupport_version.ads ;  \
+		else                                    \
+			rm ada/buildsupport_version.ads.new ;             \
+		fi ;                                    \
+	fi
+endif
+	ADA_PROJECT_PATH=`ocarina-config --prefix`/lib/gnat:$$ADA_PROJECT_PATH \
+            $(gnatpath)gprbuild -x -g $(exec) -p -P buildsupport.gpr -XBUILD="debug"
+
+install:
+	$(MAKE)
+	cp buildsupport `ocarina-config --prefix`/bin/
+	cp misc/driveGnuPlotsStreams.pl `ocarina-config --prefix`/bin/
+
+clean:
+	rm -rf tmpBuild $(exec) *~
+
+.PHONY: install clean build

README

+buildsupport is a low-level TASTE command, responsible for the generation of skeletons and some glue code.
+
+License: LGPL (see LICENSE file)
+
+Copyright (c) 2008-2017 European Space Agency
+
+
+

ada/buildsupport_utils.ads

+--  *************************** buildsupport ****************************  --
+--  (c) 2017 European Space Agency - maxime.perrotin@esa.int
+--  LGPL license, see LICENSE file
+
+--  Set of helper functions for buildsupport
+with Ocarina,
+     --  Ocarina.Types,
+     Ocarina.Types,
+     Ocarina.Namet,
+     Ocarina.Backends.Properties,
+     Ada.Containers.Indefinite_Ordered_Maps,
+     Ada.Containers.Indefinite_Vectors,
+     Ocarina.ME_AADL.AADL_Tree.Nodes,
+     Ocarina.ME_AADL.AADL_Instances.Nodes,
+     Ada.Strings.Unbounded,
+     Option_Type;
+
+use Ocarina,
+    Ocarina.Types,
+    Ocarina.Namet,
+    Ocarina.Backends.Properties,
+    Ocarina.ME_AADL.AADL_Tree.Nodes,
+    Ocarina.ME_AADL.AADL_Instances.Nodes,
+    Ada.Containers,
+    Ada.Strings.Unbounded;
+
+package Buildsupport_Utils is
+
+   package ATN renames Ocarina.ME_AADL.AADL_Tree.Nodes;
+   package AIN renames Ocarina.ME_AADL.AADL_Instances.Nodes;
+   function US (Source : String) return Unbounded_String renames
+       To_Unbounded_String;
+
+   procedure Banner;
+
+   procedure Usage;
+
+   procedure Exit_On_Error (Error : Boolean; Reason : String);
+
+   type Synchronism is (Sync, Async);
+
+   type Supported_RCM_Operation_Kind is (Unprotected_Operation,
+                                         Protected_Operation,
+                                         Cyclic_Operation,
+                                         Sporadic_Operation,
+                                         Any_Operation);
+
+   function Get_RCM_Operation_Kind (E : Node_Id)
+     return Supported_RCM_Operation_Kind;
+
+   function Get_RCM_Operation (E : Node_Id) return Node_Id;
+
+   function Get_RCM_Period (D : Node_Id) return Unsigned_Long_Long;
+
+   function Get_APLC_Binding (E : Node_Id) return List_Id;
+
+   type Supported_ASN1_Encoding is (Default, Native, UPER, ACN);
+
+   function Get_ASN1_Encoding (E : Node_Id) return Supported_ASN1_Encoding;
+
+   type Supported_ASN1_Basic_Type is (ASN1_Sequence,
+                                      ASN1_SequenceOf,
+                                      ASN1_Enumerated,
+                                      ASN1_Set,
+                                      ASN1_SetOf,
+                                      ASN1_Integer,
+                                      ASN1_Boolean,
+                                      ASN1_Real,
+                                      ASN1_OctetString,
+                                      ASN1_Choice,
+                                      ASN1_String,
+                                      ASN1_Unknown);
+
+   package Property_Maps is new Indefinite_Ordered_Maps (String, String);
+   use Property_Maps;
+   package String_Vectors is new Indefinite_Vectors (Natural, String);
+
+   function Get_ASN1_Basic_Type (E : Node_Id) return Supported_ASN1_Basic_Type;
+
+   function Get_Ada_Package_Name (D : Node_Id) return Name_Id;
+
+   function Get_Ellidiss_Tool_Version (D : Node_Id) return Name_Id;
+
+   function Get_Interface_Name (D : Node_Id) return Name_Id;
+
+   function Get_ASN1_Module_Name (D : Node_Id) return String;
+
+   function Get_Properties_Map (D : Node_Id) return Property_Maps.Map;
+
+   --  Shortcut to read an identifier from the parser, in lowercase
+   function ATN_Lower (N : Node_Id) return String is
+       (Get_Name_String (ATN.Name (ATN.Identifier (N))));
+
+   --  Shortcut to read an identifier from the parser, with original case
+   function ATN_Case (N : Node_Id) return String is
+       (Get_Name_String (ATN.Display_Name (ATN.Identifier (N))));
+
+   --  Shortcut to read an identifier from the parser, in lowercase
+   function AIN_Lower (N : Node_Id) return String is
+       (Get_Name_String (AIN.Name (AIN.Identifier (N))));
+
+   --  Shortcut to read an identifier from the parser, with original case
+   function AIN_Case (N : Node_Id) return String is
+       (Get_Name_String (AIN.Display_Name (AIN.Identifier (N))));
+
+   --  Types needed to build the AST of the TASTE Interface View in Ada
+   type Parameter_Direction is (param_in, param_out);
+
+   package Option_UString is new Option_Type (Unbounded_String);
+   use Option_UString;
+   subtype Optional_Unbounded_String is Option_UString.Option;
+   package Option_ULL is new Option_Type (Unsigned_Long_Long);
+   use Option_ULL;
+   subtype Optional_Long_Long is Option_ULL.Option;
+
+   type ASN1_Parameter is
+       record
+           Name            : Unbounded_String;
+           Sort            : Unbounded_String;
+           ASN1_Module     : Unbounded_String;
+           ASN1_Basic_Type : Supported_ASN1_Basic_Type;
+           ASN1_File_Name  : Unbounded_String;
+           Encoding        : Supported_ASN1_Encoding;
+           Direction       : Parameter_Direction;
+       end record;
+
+   package Parameters is new Indefinite_Vectors (Natural, ASN1_Parameter);
+
+   type Taste_Interface is
+       record
+           Name            : Unbounded_String;
+           Params          : Parameters.Vector;
+           RCM             : Supported_RCM_Operation_Kind;
+           Period_Or_MIAT  : Unsigned_Long_Long;
+           WCET_ms         : Optional_Long_Long := Nothing;
+           Queue_Size      : Optional_Long_Long := Nothing;
+           User_Properties : Property_Maps.Map;
+       end record;
+
+   package Interfaces is new Indefinite_Vectors (Natural, Taste_Interface);
+
+   type Context_Parameter is
+       record
+           Name           : Unbounded_String;
+           Sort           : Unbounded_String;
+           Default_Value  : Unbounded_String;
+           ASN1_Module    : Unbounded_String;
+           ASN1_File_Name : Optional_Unbounded_String := Nothing;
+       end record;
+
+   package Ctxt_Params is new Indefinite_Vectors (Natural, Context_Parameter);
+
+   type Taste_Terminal_Function is
+       record
+           Name            : Unbounded_String;
+           Prefix          : Optional_Unbounded_String := Nothing;
+           Language        : Supported_Source_Language;
+           Zip_File        : Optional_Unbounded_String := Nothing;
+           Context_Params  : Ctxt_Params.Vector;
+           User_Properties : Property_Maps.Map;
+           Timers          : String_Vectors.Vector;
+           Provided        : Interfaces.Vector;
+           Required        : Interfaces.Vector;
+       end record;
+
+   package Functions is new Indefinite_Vectors (Natural,
+                                                Taste_Terminal_Function);
+
+   type Connection is
+       record
+           Caller  : Unbounded_String;
+           Callee  : Unbounded_String;
+           RI_Name : Unbounded_String;
+           PI_Name : Unbounded_String;
+       end record;
+
+   package Channels is new Indefinite_Vectors (Natural, Connection);
+   package Connection_Maps is new Indefinite_Ordered_Maps (String,
+                                                           Channels.Vector,
+                                                          "=" => Channels."=");
+
+   type Complete_Interface_View is
+       record
+           Flat_Functions  : Functions.Vector;
+           End_To_End_Conn : Channels.Vector;
+           Nested_Conn     : Connection_Maps.Map;
+       end record;
+
+   --  Function to build up the Ada AST by transforming the one from Ocarina
+   function AADL_to_Ada_IV (System : Node_Id) return Complete_Interface_View;
+
+end Buildsupport_Utils;

ada/option_type.ads

+--  *************************** buildsupport ****************************  --
+--  (c) 2008-2017 European Space Agency - maxime.perrotin@esa.int
+--  LGPL license, see LICENSE file
+--  Define a generic Option type
+generic
+   type T is private;
+package Option_Type is
+   type Option is tagged private;
+   function Just (I : T) return Option;
+   function Nothing return Option;
+   --  function Just (O : Option) return T;
+   --  function Value (O : Option) return T renames Just;
+   function Value_Or (O : Option; Default : T) return T;
+   function Has_Value (O : Option) return Boolean;
+
+private
+
+   type Option is tagged
+      record
+          Present : Boolean := False;
+          Value   : T;
+      end record;
+
+   function Just (I : T) return Option is
+       (Present => True, Value => I);
+
+   function Nothing return Option is
+       (Present => False, others => <>);
+
+   --  function Just (O : Option) return T is (O.Value);
+
+   function Value_Or (O : Option; Default : T) return T is
+       (if O.Present then O.Value else Default);
+
+   function Has_Value (O : Option) return Boolean is (O.Present);
+end Option_Type;

buildsupport.gpr

+with "ocarina";
+--  with "templates_parser";  --  from libtemplates-parser11.10.1-dev
+
+project BuildSupport is
+
+   for Source_Dirs use ("ada", "c", "include");
+
+   for Object_Dir use "tmpBuild";
+   for Exec_Dir use ".";
+   for Main use ("buildsupport.adb");
+   for Languages use ("Ada", "C");
+
+   package Builder is
+      for Default_Switches ("ada") use ("-m");
+   end Builder;
+
+   package binder is
+     for default_switches ("Ada") use ("-E", "-t", "-static");
+   end binder;
+
+   package Compiler is
+      for Default_Switches ("Ada") use
+        ("-g",
+         "-Ada2012",
+         "-gnatf",
+         "-gnaty",
+         "-gnatwa",
+         "-gnatoa",
+         "-gnatg",
+         "-fstack-check");
+
+      for Default_Switches ("C") use
+         ("-g",
+          "-W",
+          "-g3",
+          "-Wall",
+          "-Werror",
+          "-Wextra",
+          "-Werror=format-security",
+          "-Wconversion",
+          "-Wno-deprecated",
+          "-Winit-self",
+          "-Wsign-conversion",
+          "-Wredundant-decls",
+          "-Wvla",
+          "-Wshadow",
+          "-Wlogical-op",
+          "-Wmissing-include-dirs",
+          "-Winit-self",
+          "-Wpointer-arith",
+          "-Wcast-qual",
+          "-Wcast-align",
+          "-Wno-error=old-style-cast",
+          "-Wundef",
+          "-std=c11",
+          "-pedantic");
+   end Compiler;
+
+end BuildSupport;
+

c/aadl_cv_unparser.c

+/* Buildsupport is (c) 2008-2016 European Space Agency
+ * contact: maxime.perrotin@esa.int
+ *
+ *  AADL Concurrency view "Unparser"
+ *  Generate an interface view AADL file containing the results of the vertical transformation
+ *
+*/
+
+/* TODO : (1) add deadlines
+          (2) add correct WCET
+*/
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <sys/stat.h>
+#include <assert.h>
+#include <stdbool.h>
+
+#include "my_types.h"
+#include "practical_functions.h"
+#include "c_ast_construction.h"
+
+void AADL_CV_Unparser ()
+{
+        System  *ast                    = get_system_ast ();
+        FILE    *aadl                   = NULL;
+        int     x0                      = -200,
+                x1                      = 0,
+                y0                      = 200,
+                y1                      = 0,
+                max_y1                  = 0;
+
+        Interface_list  *all_interfaces = NULL;
+
+        create_file (OUTPUT_PATH, "Concurrency-View.aadl", &aadl);
+        assert (NULL != aadl);
+
+        /* AADL file preamble */
+        fprintf (aadl, "--  TASTE - Warning: This is NOT the real Concurrency view  --\n");
+        fprintf (aadl, "--  This file was automatically generated and should remain read-only\n");
+        fprintf (aadl, "--  Open it with TASTE-IV\n");
+        fprintf (aadl, "--  The only intended use of this file is visualization - not processing.\n");
+
+        fprintf (aadl, "\npackage generated_cv::IV::ConcurrencyView\n");
+        fprintf (aadl, "public\n");
+        fprintf (aadl, "with dataview; \nwith exportedComponent::FV;\nwith taste;\n\n");
+
+        /* Insert a comment in the AADL file for graphical display */
+        fprintf (aadl, "  --{ interfaceview obj6480 10 10\n");
+        fprintf (aadl, "  --TASTE-generated concurrency view\n");
+        fprintf (aadl, "  --For visualization purposes.\n");
+        fprintf (aadl, "  --}\n\n");
+
+        fprintf (aadl, "  system exportedComponent\n  end exportedComponent;\n\n");
+        fprintf (aadl, "  system implementation exportedComponent.others\n    subcomponents\n");
+
+        /* Declare each subsystem */
+        FOREACH (fv, FV, ast->functions, {
+                fprintf (aadl, "\t%s : system interfaceview::IV::%s%s.others;\n",
+                        fv->name,
+                        thread_runtime == fv->runtime_nature ? "THREAD_" : "PASSIVE_",
+                        fv->name);
+        });
+
+        /* Declare all system-level connections */
+        fprintf (aadl, "    connections\n");
+        FOREACH (fv, FV, ast->functions, {
+            char *fv_name = NULL;
+
+            fv_name = make_string ("%s%s",
+                    thread_runtime == fv->runtime_nature ? "THREAD_" : "PASSIVE_",
+                    fv->name);
+
+            FOREACH (interface, Interface, fv->interfaces, {
+                if (RI == interface->direction) {
+                    FV *distant_fv = NULL;
+                    char *distant_fv_name = NULL;
+
+                    FOREACH (function, FV, ast->functions, {
+                        if (!strcmp (function->name, interface->distant_fv))
+                                distant_fv = function;
+                    });
+
+                    if (NULL != distant_fv) {
+                        distant_fv_name = make_string ("%s%s",
+                                thread_runtime == distant_fv->runtime_nature ? "THREAD_" : "PASSIVE_",
+                                distant_fv->name);
+
+                        fprintf (aadl, "\t%s_%s : subprogram access %s.%s -> %s.%s;\n",
+                                RCM_KIND(interface),
+                                interface->distant_name,
+                                distant_fv_name,
+                                interface->distant_name,
+                                fv_name,
+                                interface->name);
+                        free (distant_fv_name);
+                    }
+                }
+            });
+            free (fv_name);
+        })
+
+        fprintf (aadl, "  end exportedComponent.others;\n\n");
+
+        /* Define each individual subsystem and its implementation */
+        FOREACH (fv, FV, ast->functions, {
+                char    *fv_name        = NULL;
+                int     nb_pi           = 0;
+                int     nb_ri           = 0;
+                int     if_x            = 0;
+                int     if_y_pi         = 0;
+                int     if_y_ri         = 0;
+
+                /* Compute size and coordinated of subsystems */
+                FOREACH (interface, Interface, fv->interfaces, {
+                        if (PI == interface->direction) nb_pi ++;
+                        else nb_ri ++;
+                });
+
+                if (nb_ri > nb_pi) nb_pi = nb_ri;
+
+                x0 += 400;
+                if (x0 > 2200) {
+                        x0 = 200;
+                        y0 = 200  + max_y1 + 100;
+                }
+                x1 = x0 + 250;
+                y1 = y0 + (nb_pi*45);
+                if (y1 > max_y1) max_y1 = y1;
+
+
+                fv_name = make_string ("%s%s",
+                        thread_runtime == fv->runtime_nature ? "THREAD_" : "PASSIVE_",
+                        fv->name);
+
+                fprintf (aadl, "  system %s\n    features\n",
+                        fv_name);
+                if_y_pi = y0 - 30;
+                if_y_ri = y0 - 30;
+                FOREACH (interface, Interface, fv->interfaces, {
+
+                        int if_y = 0;
+                        if (PI == interface->direction) {
+                                if_x = x0;
+                                if_y_pi = if_y_pi + 45;
+                                if_y = if_y_pi;
+                        }
+                        else {
+                                if_x = x1;
+                                if_y_ri = if_y_ri + 45;
+                                if_y = if_y_ri;
+                        }
+
+                        ADD_TO_SET (Interface, all_interfaces, interface);
+                        fprintf (aadl, "\t%s : %s subprogram access exportedComponent::fv::%s.others\n",
+                                interface->name,
+                                PI == interface->direction ? "provides" : "requires",
+                                NULL != interface->distant_name ? 
+                                        interface->distant_name:interface->name);