Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
kazoo
Commits
0d2a245b
Commit
0d2a245b
authored
Sep 18, 2019
by
Maxime Perrotin
Browse files
Add test case for POHIAda distributed system
parent
ac3ae7e0
Changes
13
Hide whitespace changes
Inline
Side-by-side
templates/concurrency_view/ada_wrappers_body/partition.tmplt
View file @
0d2a245b
...
...
@@ -6,20 +6,35 @@
@@--
@
_Thread_Has_Param_
@
:
|
_
true
if
the
thread
has
a
param
@@--
@
_Node_Name_
@
:
Name
of
the
node
containing
this
partition
@@--
@
_Blocks_
@
:
Code
generated
for
protected
functions
@@--
@
_Block_Names
@
:
Vector_Tag
:
list
of
block
(
user
functions
)
names
@@--
@
_Block_Languages_
@
:
|
_
Corresponding
implementation
language
@@--
@
_Coverage_
@
:
True
if
user
requested
code
coverage
enable
@@--
@
_Package_Name_
@
:
AADL
Package
name
for
the
target
(
e
.
g
.
ocarina_porocessors_x86
)
@@--
@
_CPU_Name_
@
:
CPU
Name
(
e
.
g
.
x86_linux
)
@@--
@
_CPU_Name_
@
:
CPU
AADL
Identifier
(
e
.
g
.
x86_inst
)
@@--
@
_CPU_Family_
@
:
CPU
Kind
(
e
.
g
.
leon3
)
@@--
@
_CPU_Instance_
@
:
AADL
component
instance
(
e
.
g
.
rtems_posix
)
@@--
@
_CPU_Platform_
@
:
AADL
CPU_Platform
(
e
.
g
.
PLATFORM_NATIVE
)
@@--
@
_CPU_Classifier_
@
:
AADL
CPU
Classifier
(
e
.
g
.
ocarina_processors_x86
::
x86
.
linux
)
@@--
@
_VP_Name_
@
:
Virtual
processor
name
on
which
the
partition
is
bounded
@@--
@
_VP_Platform_
@
:
Virtual
processor
platform
(
e
.
g
.
PLATFORM_AIR
)
@@--
@
_VP_Classifier_
@
:
Virtual
processor
classifier
@@--
@
_Ada_Runtime_
@
:
Set
if
CPU_Platform
=
PLATFORM_GNAT_RUNTIME
@@--
@
_Bound_Functions_
@
:
List
of
user
functions
from
Interface
view
@@--
@
_Thread_Src_Name_
@
:
Vector
tag
:
connection
thread
name
(
source
)
@@--
@
_Thread_Dst_Name_
@
:
Vector
tag
:
connection
thread
name
(
dest
)
@@--
@
_Thread_Src_Port_
@
:
Vector
tag
:
connection
port
name
(
source
)
@@--
@
_Thread_Dst_Port_
@
:
Vector
tag
:
connection
port
name
(
dest
)
@@--
@
_In_Port_Names_
@
:
Vector
tag
:
input
ports
of
the
partition
@@--
@
_In_Port_Thread_Name_
@
:
|
_
corresponding
thread
inside
the
partition
@@--
@
_In_Port_Type_Name_
@
:
|
_
corresponding
parameter
type
name
(
optional
)
@@--
@
_Out_Port_Names_
@
:
Vector
tag
:
output
ports
of
the
partition
@@--
@
_Out_Port_Type_Name_
@
:
|
_
corresponding
parameter
type
name
(
optional
)
@@--
@
_Out_Port_Thread_Name_
@
:
|
_
corresponding
thread
inside
the
partition
@@--
@
_Part_Out_Port_Name_
@
:
Vector
tag
:
output
ports
of
the
partition
(
can
be
several
times
the
same
)
@@--
@
_Connected_Threads_
@
:
|
_
Corresponding
thread
connected
to
it
with
PolyORB_HI
.
Utils
;
use
PolyORB_HI
.
Utils
;
@@
IF
@@
@
_Thread_Src_Name
'Length_@ > 0
@@
IF
@@
@
_In_Port_Names
'Length_@ > 0 or @_Out_Port_Names'
Length_
@
>
0
or
@
_Thread_Src_Name
'Length_@ > 0
with PolyORB_HI_Generated.Activity,
PolyORB_HI.Errors;
use PolyORB_HI_Generated.Activity;
...
...
templates/concurrency_view/ada_wrappers_source/partition.tmplt
View file @
0d2a245b
...
...
@@ -10,7 +10,9 @@
@@--
@
_Block_Languages_
@
:
|
_
Corresponding
implementation
language
@@--
@
_Coverage_
@
:
True
if
user
requested
code
coverage
enable
@@--
@
_Package_Name_
@
:
AADL
Package
name
for
the
target
(
e
.
g
.
ocarina_porocessors_x86
)
@@--
@
_CPU_Name_
@
:
CPU
Name
(
e
.
g
.
x86_linux
)
@@--
@
_CPU_Name_
@
:
CPU
AADL
Identifier
(
e
.
g
.
x86_inst
)
@@--
@
_CPU_Family_
@
:
CPU
Kind
(
e
.
g
.
leon3
)
@@--
@
_CPU_Instance_
@
:
AADL
component
instance
(
e
.
g
.
rtems_posix
)
@@--
@
_CPU_Platform_
@
:
AADL
CPU_Platform
(
e
.
g
.
PLATFORM_NATIVE
)
@@--
@
_CPU_Classifier_
@
:
AADL
CPU
Classifier
(
e
.
g
.
ocarina_processors_x86
::
x86
.
linux
)
@@--
@
_VP_Name_
@
:
Virtual
processor
name
on
which
the
partition
is
bounded
...
...
@@ -26,21 +28,25 @@
@@--
@
_In_Port_Thread_Name_
@
:
|
_
corresponding
thread
inside
the
partition
@@--
@
_In_Port_Type_Name_
@
:
|
_
corresponding
parameter
type
name
(
optional
)
@@--
@
_Out_Port_Names_
@
:
Vector
tag
:
output
ports
of
the
partition
@@--
@
_Out_Port_Thread_Name_
@
:
|
_
corresponding
thread
inside
the
partition
@@--
@
_Out_Port_Type_Name_
@
:
|
_
corresponding
parameter
type
name
(
optional
)
@@--
@
_Out_Port_Thread_Name_
@
:
|
_
corresponding
thread
inside
the
partition
@@--
@
_Part_Out_Port_Name_
@
:
Vector
tag
:
output
ports
of
the
partition
(
can
be
several
times
the
same
)
@@--
@
_Connected_Threads_
@
:
|
_
Corresponding
thread
connected
to
it
with
Interfaces
.
C
;
with
PolyORB_HI_Generated
.
Deployment
;
use
PolyORB_HI_Generated
.
Deployment
;
@@
TABLE
@@
@@
IF
@@
@
_Thread_Has_Param_
@
@@
SET
@@
Need_Types
=
True
@@
END_IF
@@
@@
IF
@@
@
_Thread_Has_Param_
@
@@
SET
@@
Need_Types
=
True
@@
END_IF
@@
@@
END_TABLE
@@
@@
IF
@@
@
_Out_Port_Type_Name_
@
/=
""
@@--
Also
check
the
output
ports
@@
SET
@@
Need_Types
=
True
@@
END_IF
@@
@@
IF
@@
@
_Need_Types_
@
with
PolyORB_HI_Generated
.
Types
;
use
PolyORB_HI_Generated
.
Types
;
@@
END_IF
@@
@@--
Make
sure
at
least
someone
includes
the
user
Ada
packages
(
for
compilation
/
elaboration
)
@@
TABLE
@@
@@
IF
@@
@
_Block_Languages_
@
=
SDL
or
@
_Block_Languages_
@
=
Ada
...
...
templates/skeletons/gui-body/function.tmplt
View file @
0d2a245b
...
...
@@ -38,6 +38,7 @@
#include "@_LOWER:Name_@.h"
#include "@_LOWER:Name_@_enums_def.h"
@@IF@@ @_List_Of_ASync_PIs'Length_@ > 1 @@-- 1 because we ignore Poll
typedef struct _PI_Messages {
T_@_LOWER:Name_@_PI_list msg_id;
union {
...
...
@@ -48,7 +49,11 @@ typedef struct _PI_Messages {
@@END_TABLE@@
} msg_data;
} PI_Messages;
@@ELSE@@
typedef bool PI_Messages;
@@END_IF@@
@@IF@@ @_List_Of_ASync_RIs'Length_@ > 0
typedef struct _RI_Messages {
T_@_LOWER:Name_@_RI_list msg_id;
union {
...
...
@@ -59,6 +64,9 @@ typedef struct _RI_Messages {
@@END_TABLE@@
} msg_data;
} RI_Messages;
@@ELSE@@
typedef bool RI_Messages;
@@END_IF@@
@@IF@@ @_List_Of_PIs'Length_@ > 0
// Queues of messages going from the binary to the user (PIs, or TMs)
...
...
test/3Nodes_POHIAda_Sockets/.gitignore
0 → 100644
View file @
0d2a245b
function1.zip
function2.zip
test/3Nodes_POHIAda_Sockets/DataView.aadl
0 → 100644
View file @
0d2a245b
--------------------------------------------------------
--
! File generated by asn2aadl v2.1.41: DO NOT EDIT !
--------------------------------------------------------
--
! InputASN1FileChecksum:6bf664b31ce9ca6fd89af52cea7ea0f2:/home/taste/tool-src/kazoo/test/3Nodes_POHIAda_Sockets/DataView.asn:
--
! InputASN1FileChecksum:ee8a7e01f29874c0d50f437d5abb9599:/home/taste/tool-inst/share/taste-types/taste-types.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
T_Boolean
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
Source_Language
=>
(
ASN1
);
--
Size
of
a
buffer
to
cover
all
forms
of
message
representation
:
--
Real
message
size
is
1
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"T-Boolean"
;
TASTE
::
Position_In_File
=>
[
line
=>
14
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aBOOLEAN
;
END
T_Boolean
;
DATA
IMPLEMENTATION
T_Boolean
.
impl
END
T_Boolean
.
impl
;
DATA
T_Boolean_Buffer_Max
END
T_Boolean_Buffer_Max
;
DATA
IMPLEMENTATION
T_Boolean_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Boolean
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_Boolean_Buffer_Max
.
impl
;
DATA
T_Boolean_Buffer
END
T_Boolean_Buffer
;
DATA
IMPLEMENTATION
T_Boolean_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Boolean
SUBCOMPONENTS
Buffer
:
data
T_Boolean_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_Boolean_Buffer
.
impl
;
DATA
T_Int32
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
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
=>
"T-Int32"
;
TASTE
::
Position_In_File
=>
[
line
=>
6
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_Int32
;
DATA
IMPLEMENTATION
T_Int32
.
impl
END
T_Int32
.
impl
;
DATA
T_Int32_Buffer_Max
END
T_Int32_Buffer_Max
;
DATA
IMPLEMENTATION
T_Int32_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int32
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_Int32_Buffer_Max
.
impl
;
DATA
T_Int32_Buffer
END
T_Int32_Buffer
;
DATA
IMPLEMENTATION
T_Int32_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int32
SUBCOMPONENTS
Buffer
:
data
T_Int32_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_Int32_Buffer
.
impl
;
DATA
T_Int8
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
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
=>
"T-Int8"
;
TASTE
::
Position_In_File
=>
[
line
=>
10
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_Int8
;
DATA
IMPLEMENTATION
T_Int8
.
impl
END
T_Int8
.
impl
;
DATA
T_Int8_Buffer_Max
END
T_Int8_Buffer_Max
;
DATA
IMPLEMENTATION
T_Int8_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int8
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_Int8_Buffer_Max
.
impl
;
DATA
T_Int8_Buffer
END
T_Int8_Buffer
;
DATA
IMPLEMENTATION
T_Int8_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_Int8
SUBCOMPONENTS
Buffer
:
data
T_Int8_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_Int8_Buffer
.
impl
;
DATA
T_UInt32
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
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
=>
"T-UInt32"
;
TASTE
::
Position_In_File
=>
[
line
=>
8
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_UInt32
;
DATA
IMPLEMENTATION
T_UInt32
.
impl
END
T_UInt32
.
impl
;
DATA
T_UInt32_Buffer_Max
END
T_UInt32_Buffer_Max
;
DATA
IMPLEMENTATION
T_UInt32_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_UInt32
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_UInt32_Buffer_Max
.
impl
;
DATA
T_UInt32_Buffer
END
T_UInt32_Buffer
;
DATA
IMPLEMENTATION
T_UInt32_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_UInt32
SUBCOMPONENTS
Buffer
:
data
T_UInt32_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_UInt32_Buffer
.
impl
;
DATA
T_UInt8
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-inst/share/taste-types/taste-types.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_BasicTypes"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-BasicTypes"
;
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
=>
"T-UInt8"
;
TASTE
::
Position_In_File
=>
[
line
=>
12
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aINTEGER
;
END
T_UInt8
;
DATA
IMPLEMENTATION
T_UInt8
.
impl
END
T_UInt8
.
impl
;
DATA
T_UInt8_Buffer_Max
END
T_UInt8_Buffer_Max
;
DATA
IMPLEMENTATION
T_UInt8_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_UInt8
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
T_UInt8_Buffer_Max
.
impl
;
DATA
T_UInt8_Buffer
END
T_UInt8_Buffer
;
DATA
IMPLEMENTATION
T_UInt8_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
T_UInt8
SUBCOMPONENTS
Buffer
:
data
T_UInt8_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
T_UInt8_Buffer
.
impl
;
DATA
TASTE_Boolean
PROPERTIES
--
name
of
the
ASN
.1
source
file
:
Source_Text
=>
(
"/home/taste/tool-src/kazoo/test/3Nodes_POHIAda_Sockets/DataView.asn"
);
TASTE
::
Ada_Package_Name
=>
"TASTE_Dataview"
;
Deployment
::
ASN1_Module_Name
=>
"TASTE-Dataview"
;
Source_Language
=>
(
ASN1
);
--
Size
of
a
buffer
to
cover
all
forms
of
message
representation
:
--
Real
message
size
is
1
;
suggested
aligned
message
buffer
is
...
Source_Data_Size
=>
8
Bytes
;
--
name
of
the
corresponding
data
type
in
the
source
file
:
Type_Source_Name
=>
"TASTE-Boolean"
;
TASTE
::
Position_In_File
=>
[
line
=>
5
;
column
=>
1
;
];
--
what
kind
of
type
is
this
?
TASTE
::
ASN1_Basic_Type
=>
aBOOLEAN
;
END
TASTE_Boolean
;
DATA
IMPLEMENTATION
TASTE_Boolean
.
impl
END
TASTE_Boolean
.
impl
;
DATA
TASTE_Boolean_Buffer_Max
END
TASTE_Boolean_Buffer_Max
;
DATA
IMPLEMENTATION
TASTE_Boolean_Buffer_Max
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TASTE_Boolean
PROPERTIES
Data_Model
::
Data_Representation
=>
array
;
Data_Model
::
Dimension
=>
(
8
);
--
Size
of
the
buffer
Source_Data_Size
=>
8
Bytes
;
--
Size
of
the
buffer
in
bytes
Data_Model
::
Base_Type
=>
(
classifier
(
DataView
::
Stream_Element_Buffer
));
END
TASTE_Boolean_Buffer_Max
.
impl
;
DATA
TASTE_Boolean_Buffer
END
TASTE_Boolean_Buffer
;
DATA
IMPLEMENTATION
TASTE_Boolean_Buffer
.
impl
--
Buffer
to
hold
a
marshalled
data
of
type
TASTE_Boolean
SUBCOMPONENTS
Buffer
:
data
TASTE_Boolean_Buffer_Max
.
impl
;
Length
:
data
Base_Types
::
Unsigned_32
;
PROPERTIES
Data_Model
::
Data_Representation
=>
Struct
;
Source_Data_Size
=>
24
Bytes
;
--
Size
of
the
buffer
in
bytes
END
TASTE_Boolean_Buffer
.
impl
;
SYSTEM
Taste_DataView
END
Taste_DataView
;
SYSTEM
IMPLEMENTATION
Taste_DataView
.
others
SUBCOMPONENTS
T_Boolean
:
DATA
T_Boolean
.
impl
;
T_Int32
:
DATA
T_Int32
.
impl
;
T_Int8
:
DATA
T_Int8
.
impl
;
T_UInt32
:
DATA
T_UInt32
.
impl
;
T_UInt8
:
DATA
T_UInt8
.
impl
;
TASTE_Boolean
:
DATA
TASTE_Boolean
.
impl
;
END
Taste_DataView
.
others
;
end
DataView
;
test/3Nodes_POHIAda_Sockets/DataView.asn
0 → 100644
View file @
0d2a245b
TASTE-Dataview DEFINITIONS ::=
BEGIN
IMPORTS T-Int32, T-UInt32, T-Int8, T-UInt8, T-Boolean FROM TASTE-BasicTypes;
TASTE-Boolean ::= BOOLEAN
-- ASN.1 Type definitions must start with an uppercase
-- Field names in records (SEQUENCE) must start with a lowercase
-- Underscores are not allowed: use dash (hyphen)
-- Simple types:
-- MyInteger ::= INTEGER (0..255)
-- MyReal ::= REAL (0.0 .. 1000.0)
-- MyBool ::= BOOLEAN
-- MyEnum ::= ENUMERATED { hello, world, how-are-you }
-- Complex types:
-- MySeq ::= SEQUENCE {
-- input-data MyInteger,
-- output-data MyInteger,
-- validity ENUMERATED { valid, invalid }
-- }
--
-- MyChoice ::= CHOICE {
-- a BOOLEAN,
-- b MySeq
-- }
--
-- MySeqOf ::= SEQUENCE (SIZE (2)) OF MyEnum
--
-- MyOctStr ::= OCTET STRING (SIZE (3))
--
-- -- You can also declare constants
-- myVar MySeqOf ::= { hello, world }
END
test/3Nodes_POHIAda_Sockets/DeploymentView.aadl
0 → 100644
View file @
0d2a245b
---------------------------------------------------
-- AADL2.1
-- TASTE type deploymentview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE deploymentview::DV::Node1
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS node2
END node2;
PROCESS IMPLEMENTATION node2.others
END node2.others;
DEVICE generic_sockets_ip_pohiada
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "109475 68027";
};
PROPERTIES
Taste::Interface_Coordinates => "122438 77785" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"" , port 5114}";
Deployment::Config => "../../polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohiada;
DEVICE IMPLEMENTATION generic_sockets_ip_pohiada.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohiada
END generic_sockets_ip_pohiada.others;
END deploymentview::DV::Node1;
PACKAGE deploymentview::DV::Node2
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS node1
END node1;
PROCESS IMPLEMENTATION node1.others
END node1.others;
DEVICE generic_sockets_ip_pohiada
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "156349 68118";
};
PROPERTIES
Taste::Interface_Coordinates => "138837 74445" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"" , port 5115}";
Deployment::Config => "../../polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohiada;
DEVICE IMPLEMENTATION generic_sockets_ip_pohiada.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohiada
END generic_sockets_ip_pohiada.others;
END deploymentview::DV::Node2;
PACKAGE deploymentview::DV::Node3
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS node3
END node3;
PROCESS IMPLEMENTATION node3.others
END node3.others;
DEVICE generic_sockets_ip_pohiada
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "110999 103674";
};
PROPERTIES
Taste::Interface_Coordinates => "131498 81125" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"" , port 5116}";
Deployment::Config => "../../polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohiada;
DEVICE IMPLEMENTATION generic_sockets_ip_pohiada.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohiada
END generic_sockets_ip_pohiada.others;
END deploymentview::DV::Node3;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::Function2;
WITH ocarina_processors_x86;