Add test case for testing presence of asn1 files

test/test7/DataView.aadl

+--------------------------------------------------------
+--! File generated by asn2aadl v2.1.10: DO NOT EDIT !
+--------------------------------------------------------
+--! InputASN1FileChecksum:20ac8ef9090b561c0f86207e317d38f5:/home/taste/aadl-parser/test/test3/DataView.asn:
+--------------------------------------------------------
+
+package DataView
+
+public
+
+  with Data_Model;
+  with Taste;
+  with Base_Types;
+  with Deployment;
+
+DATA Simulink_Tunable_Parameter
+PROPERTIES
+   TASTE::Ada_Package_Name => "TASTE_Directives";
+   Type_Source_Name => "Simulink-Tunable-Parameter";
+   Deployment::ASN1_Module_Name => "TASTE-Directives";
+   TASTE::Forbid_in_PI => true;
+END Simulink_Tunable_Parameter;
+
+DATA Timer
+PROPERTIES
+   TASTE::Ada_Package_Name => "TASTE_Directives";
+   Type_Source_Name => "Timer";
+   Deployment::ASN1_Module_Name => "TASTE-Directives";
+   TASTE::Forbid_in_PI => true;
+END Timer;
+
+DATA Taste_directive
+PROPERTIES
+   TASTE::Ada_Package_Name => "TASTE_Directives";
+   Type_Source_Name => "Taste-directive";
+   Deployment::ASN1_Module_Name => "TASTE-Directives";
+   TASTE::Forbid_in_PI => true;
+END Taste_directive;
+
+data Stream_Element_Buffer
+    -- Root type for buffer elements
+properties
+    Data_Model::Data_Representation => Character;
+end Stream_Element_Buffer;
+DATA MyInteger
+PROPERTIES
+    -- name of the ASN.1 source file:
+    Source_Text => ("/Non/Existing/Path/Are/You/Detected?");
+    TASTE::Ada_Package_Name => "DataView";
+    Deployment::ASN1_Module_Name => "DataView";
+    Source_Language => (ASN1);
+    -- Size of a buffer to cover all forms of message representation:
+    -- Real message size is 8; suggested aligned message buffer is...
+    Source_Data_Size => 8 Bytes;
+    -- name of the corresponding data type in the source file:
+    Type_Source_Name => "MyInteger";
+    -- what kind of type is this?
+    TASTE::ASN1_Basic_Type =>aINTEGER;
+END MyInteger;
+
+DATA MyInteger_Buffer_Max
+END MyInteger_Buffer_Max;
+
+DATA IMPLEMENTATION MyInteger_Buffer_Max.impl
+    -- Buffer to hold a marshalled data of type MyInteger
+PROPERTIES
+    Data_Model::Data_Representation => array;
+    Data_Model::Dimension => (8); -- Size of the buffer
+    Data_Model::Base_Type => (classifier (DataView::Stream_Element_Buffer));
+END MyInteger_Buffer_Max.impl;
+
+DATA MyInteger_Buffer
+END MyInteger_Buffer;
+
+DATA IMPLEMENTATION MyInteger_Buffer.impl
+    -- Buffer to hold a marshalled data of type MyInteger
+SUBCOMPONENTS
+    Buffer : data MyInteger_Buffer_Max.impl;
+    Length : data Base_Types::Unsigned_32;
+PROPERTIES
+    Data_Model::Data_Representation => Struct;
+END MyInteger_Buffer.impl;
+
+SYSTEM Taste_DataView
+END    Taste_DataView;
+
+SYSTEM IMPLEMENTATION Taste_DataView.others
+SUBCOMPONENTS
+   MyInteger : DATA MyInteger;
+END Taste_DataView.others;
+end DataView;

test/test7/DataView.asn

+DataView DEFINITIONS ::=
+BEGIN
+
+MyInteger ::= INTEGER (0..65535)
+
+END
+

test/test7/InterfaceView.aadl

+---------------------------------------------------
+-- AADL2.0
+-- TASTE
+-- 
+-- 
+---------------------------------------------------
+
+PACKAGE interfaceview::FV::Simple_C_Function
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_cyclic_operation
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_cyclic_operation;
+
+SUBPROGRAM IMPLEMENTATION PI_cyclic_operation.others
+END PI_cyclic_operation.others;
+
+END interfaceview::FV::Simple_C_Function;
+
+PACKAGE interfaceview::IV
+PUBLIC
+
+WITH interfaceview::FV::Simple_C_Function;
+WITH interfaceview::FV;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SYSTEM Simple_C_Function
+FEATURES
+  PI_cyclic_operation : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Simple_C_Function::PI_cyclic_operation.others {
+    Taste::coordinates => "1042 584";
+    Taste::RCMoperationKind => cyclic;
+    Taste::RCMperiod => 2000 ms;
+    Taste::Deadline => 2000 ms;
+    Taste::InterfaceName => "cyclic_operation";
+  };
+PROPERTIES
+  Source_Language => (C);
+END Simple_C_Function;
+
+SYSTEM IMPLEMENTATION Simple_C_Function.others
+SUBCOMPONENTS
+  cyclic_operation_impl : SUBPROGRAM interfaceview::FV::Simple_C_Function::PI_cyclic_operation.others {
+    Compute_Execution_Time => 0 ms .. 2000 ms;
+  };
+CONNECTIONS
+  OpToPICnx_cyclic_operation_impl : SUBPROGRAM ACCESS cyclic_operation_impl -> PI_cyclic_operation;
+END Simple_C_Function.others;
+
+SYSTEM interfaceview
+END interfaceview;
+
+SYSTEM IMPLEMENTATION interfaceview.others
+SUBCOMPONENTS
+  Simple_C_Function : SYSTEM interfaceview::IV::Simple_C_Function.others {
+    Taste::coordinates => "1042 432 1706 1121";
+  };
+END interfaceview.others;
+
+PROPERTIES
+  Taste::dataView => ("DataView");
+  Taste::dataViewPath => ("DataView.aadl");
+  Taste::coordinates => "0 0 2970 2100";
+  Taste::version => "1.3.18";
+END interfaceview::IV;
+
+PACKAGE interfaceview::FV
+PUBLIC
+
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+END interfaceview::FV;
+

test/test7/Makefile

+AADL_PARSER=../../aadl_parser
+all: test-parse
+ 		
+
+test-parse: clean
+	$(AADL_PARSER) -o output -i InterfaceView.aadl -d DataView.aadl ../common/TASTE_IV_Properties.aadl
+		
+
+clean:
+	rm -rf output
+
+.PHONY: clean test-parse