Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
B
buildsupport
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
TASTE
buildsupport
Commits
89db664e
Commit
89db664e
authored
Oct 02, 2017
by
Maxime Perrotin
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Reformat line endings
parent
92fdfc86
Changes
5
Expand all
Hide whitespace changes
Inline
Side-by-side
Showing
5 changed files
with
469 additions
and
469 deletions
+469
-469
include/c_ast_construction.h
include/c_ast_construction.h
+125
-125
rtds_templates/process-template.rdd
rtds_templates/process-template.rdd
+67
-67
rtds_templates/project-template.rdp
rtds_templates/project-template.rdp
+238
-238
rtds_templates/scheduled.rdd
rtds_templates/scheduled.rdd
+24
-24
test/TASTE_DV_Properties.aadl
test/TASTE_DV_Properties.aadl
+15
-15
No files found.
include/c_ast_construction.h
View file @
89db664e
/* Buildsupport is (c) 2008-2016 European Space Agency
* contact: maxime.perrotin@esa.int
* License is LGPL, check LICENSE file */
#ifndef __C_AST_CONSTRUCTION_H__
#define __C_AST_CONSTRUCTION_H__
Parameter
*
FindInParameter
(
Interface
*
i
,
char
*
param_name
);
Parameter
*
FindOutParameter
(
Interface
*
i
,
char
*
param_name
);
Interface
*
FindInterface
(
FV
*
fv
,
char
*
interface_name
);
Interface
*
FindCorrespondingRI
(
FV
*
remote
,
Interface
*
pi
);
void
CompareIFname
(
Interface
*
i
,
Interface
**
result
);
void
CompareFVname
(
FV
*
fv_local
,
FV
**
result
);
void
SetSearchName
(
char
*
name
);
void
End_FV
();
void
End_IF
();
void
Add_Out_Param
(
char
*
name
,
size_t
l1
,
char
*
type
,
size_t
l2
,
char
*
module
,
size_t
l3
,
char
*
filename
,
size_t
l4
);
void
Add_In_Param
(
char
*
,
size_t
l1
,
char
*
,
size_t
,
char
*
,
size_t
,
char
*
,
size_t
);
void
Add_RI
(
char
*
ri
,
size_t
length
,
char
*
dist_fv
,
size_t
distant_length
,
char
*
dist_name
,
size_t
dist_name_length
);
void
Add_PI
(
char
*
pi
,
size_t
length
);
void
New_Interface
(
char
*
name
,
size_t
length
,
char
*
dist_fv
,
size_t
distant_length
,
char
*
dist_name
,
size_t
dist_name_length
,
IF_type
direction
);
FV
*
New_FV
(
char
*
fv_name
,
size_t
length
,
char
*
caseSensitive
);
FV
*
FindFV
(
char
*
fv_name
);
void
LookForRI
(
Interface
*
i
,
Interface
**
check
);
FV_list
*
Find_All_Calling_FV
(
Interface
*
i
);
void
Add_Binding
(
char
*
b
,
size_t
length
);
void
Set_Current_Process
(
Process
*
p
);
void
End_Process
();
void
New_Drivers_Section
();
void
End_Drivers_Section
();
void
New_Processor
(
char
*
name
,
size_t
name_length
,
char
*
classifier
,
size_t
classifier_length
,
char
*
platform
,
size_t
platform_length
,
char
*
envvars
,
size_t
envvars_length
,
char
*
cflags
,
size_t
cflags_length
,
char
*
ldflags
,
size_t
ldflags_length
);
void
New_Process
(
char
*
,
size_t
,
char
*
,
size_t
,
char
*
,
size_t
,
bool
);
void
Set_OutDir
(
char
*
o
,
size_t
len
);
void
Set_Interfaceview
(
char
*
name
,
size_t
len
);
void
Set_Dataview
(
char
*
name
,
size_t
len
);
void
Set_Test
();
void
Set_Timer_Resolution
(
char
*
val
,
size_t
len
);
void
Set_Future
();
void
Set_OnlyCV
();
void
Set_AADLV2
();
void
Set_Gateway
();
void
Set_keep_case
();
void
Set_Glue
();
Context
*
get_context
();
void
Set_Compute_Time
(
uint64_t
lower
,
char
*
unitlower
,
size_t
len2
,
uint64_t
upper
,
char
*
unitupper
,
size_t
len4
);
void
Set_Context_Variable
(
char
*
name
,
size_t
len1
,
char
*
type
,
size_t
len2
,
char
*
def
,
size_t
len3
,
char
*
mod
,
size_t
len4
,
char
*
file
,
size_t
len5
,
char
*
nameWithCase
);
void
Set_Period
(
long
long
p
);
void
Set_UndefinedKind_PI
();
void
Set_Unprotected_IF
();
void
Set_Protected_IF
();
void
Set_Variator_IF
();
void
Set_Sporadic_IF
();
void
Set_Cyclic_IF
();
void
Set_Unknown_IF
();
void
Set_ASync_IF
();
void
Set_Sync_IF
();
void
Set_Language_To_GUI
();
void
Set_Language_To_CPP
();
void
Set_Language_To_VDM
();
void
Set_Language_To_OpenGEODE
();
void
Set_Language_To_BlackBox_Device
();
void
Set_Language_To_Ada
();
void
Set_Language_To_QGenAda
();
void
Set_Language_To_QGenC
();
void
Set_Language_To_Scade
();
void
Set_Language_To_Rhapsody
();
void
Set_Language_To_RTDS
();
void
Set_Language_To_C
();
void
Set_Language_To_Other
();
void
Set_Language_To_Simulink
();
void
Set_Language_To_SDL
();
void
Set_Language_To_MicroPython
();
void
Set_ASN1_BasicType_Unknown
();
void
Set_ASN1_BasicType_OctetString
();
void
Set_ASN1_BasicType_Choice
();
void
Set_ASN1_BasicType_String
();
void
Set_ASN1_BasicType_Real
();
void
Set_ASN1_BasicType_Boolean
();
void
Set_ASN1_BasicType_Integer
();
void
Set_ASN1_BasicType_SetOf
();
void
Set_ASN1_BasicType_Set
();
void
Set_ASN1_BasicType_Enumerated
();
void
Set_ASN1_BasicType_SequenceOf
();
void
Set_ASN1_BasicType_Sequence
();
void
Set_UPER_Encoding
();
void
Set_Native_Encoding
();
void
Set_Zipfile
(
char
*
file
,
size_t
len
);
void
Set_Root_Node
(
char
*
name
,
size_t
len
);
void
Set_PolyorbHI_C
();
void
Set_Instance_Of
(
char
*
component
,
size_t
len
);
void
Set_Is_Component_Type
();
System
*
get_system_ast
();
void
Delete_System_AST
();
void
C_Init
();
void
New_Connection
(
char
*
src_system
,
size_t
src_system_length
,
char
*
src_port
,
size_t
src_port_length
,
char
*
bus
,
size_t
bus_length
,
char
*
dst_system
,
size_t
dst_system_length
,
char
*
dst_port
,
size_t
dst_port_length
);
void
End_Connection
();
Connection
*
Get_Connection
();
char
*
getASN1DataView
();
char
*
getDataViewPath
();
/*
Debug functions
*/
void
Print_Interface
(
Interface
*
i
);
void
Dump_Interfaces
(
Interface_list
*
l
);
void
Set_Interface_Queue_Size
(
const
unsigned
long
long
int
);
#endif
/* Buildsupport is (c) 2008-2016 European Space Agency
* contact: maxime.perrotin@esa.int
* License is LGPL, check LICENSE file */
#ifndef __C_AST_CONSTRUCTION_H__
#define __C_AST_CONSTRUCTION_H__
Parameter
*
FindInParameter
(
Interface
*
i
,
char
*
param_name
);
Parameter
*
FindOutParameter
(
Interface
*
i
,
char
*
param_name
);
Interface
*
FindInterface
(
FV
*
fv
,
char
*
interface_name
);
Interface
*
FindCorrespondingRI
(
FV
*
remote
,
Interface
*
pi
);
void
CompareIFname
(
Interface
*
i
,
Interface
**
result
);
void
CompareFVname
(
FV
*
fv_local
,
FV
**
result
);
void
SetSearchName
(
char
*
name
);
void
End_FV
();
void
End_IF
();
void
Add_Out_Param
(
char
*
name
,
size_t
l1
,
char
*
type
,
size_t
l2
,
char
*
module
,
size_t
l3
,
char
*
filename
,
size_t
l4
);
void
Add_In_Param
(
char
*
,
size_t
l1
,
char
*
,
size_t
,
char
*
,
size_t
,
char
*
,
size_t
);
void
Add_RI
(
char
*
ri
,
size_t
length
,
char
*
dist_fv
,
size_t
distant_length
,
char
*
dist_name
,
size_t
dist_name_length
);
void
Add_PI
(
char
*
pi
,
size_t
length
);
void
New_Interface
(
char
*
name
,
size_t
length
,
char
*
dist_fv
,
size_t
distant_length
,
char
*
dist_name
,
size_t
dist_name_length
,
IF_type
direction
);
FV
*
New_FV
(
char
*
fv_name
,
size_t
length
,
char
*
caseSensitive
);
FV
*
FindFV
(
char
*
fv_name
);
void
LookForRI
(
Interface
*
i
,
Interface
**
check
);
FV_list
*
Find_All_Calling_FV
(
Interface
*
i
);
void
Add_Binding
(
char
*
b
,
size_t
length
);
void
Set_Current_Process
(
Process
*
p
);
void
End_Process
();
void
New_Drivers_Section
();
void
End_Drivers_Section
();
void
New_Processor
(
char
*
name
,
size_t
name_length
,
char
*
classifier
,
size_t
classifier_length
,
char
*
platform
,
size_t
platform_length
,
char
*
envvars
,
size_t
envvars_length
,
char
*
cflags
,
size_t
cflags_length
,
char
*
ldflags
,
size_t
ldflags_length
);
void
New_Process
(
char
*
,
size_t
,
char
*
,
size_t
,
char
*
,
size_t
,
bool
);
void
Set_OutDir
(
char
*
o
,
size_t
len
);
void
Set_Interfaceview
(
char
*
name
,
size_t
len
);
void
Set_Dataview
(
char
*
name
,
size_t
len
);
void
Set_Test
();
void
Set_Timer_Resolution
(
char
*
val
,
size_t
len
);
void
Set_Future
();
void
Set_OnlyCV
();
void
Set_AADLV2
();
void
Set_Gateway
();
void
Set_keep_case
();
void
Set_Glue
();
Context
*
get_context
();
void
Set_Compute_Time
(
uint64_t
lower
,
char
*
unitlower
,
size_t
len2
,
uint64_t
upper
,
char
*
unitupper
,
size_t
len4
);
void
Set_Context_Variable
(
char
*
name
,
size_t
len1
,
char
*
type
,
size_t
len2
,
char
*
def
,
size_t
len3
,
char
*
mod
,
size_t
len4
,
char
*
file
,
size_t
len5
,
char
*
nameWithCase
);
void
Set_Period
(
long
long
p
);
void
Set_UndefinedKind_PI
();
void
Set_Unprotected_IF
();
void
Set_Protected_IF
();
void
Set_Variator_IF
();
void
Set_Sporadic_IF
();
void
Set_Cyclic_IF
();
void
Set_Unknown_IF
();
void
Set_ASync_IF
();
void
Set_Sync_IF
();
void
Set_Language_To_GUI
();
void
Set_Language_To_CPP
();
void
Set_Language_To_VDM
();
void
Set_Language_To_OpenGEODE
();
void
Set_Language_To_BlackBox_Device
();
void
Set_Language_To_Ada
();
void
Set_Language_To_QGenAda
();
void
Set_Language_To_QGenC
();
void
Set_Language_To_Scade
();
void
Set_Language_To_Rhapsody
();
void
Set_Language_To_RTDS
();
void
Set_Language_To_C
();
void
Set_Language_To_Other
();
void
Set_Language_To_Simulink
();
void
Set_Language_To_SDL
();
void
Set_Language_To_MicroPython
();
void
Set_ASN1_BasicType_Unknown
();
void
Set_ASN1_BasicType_OctetString
();
void
Set_ASN1_BasicType_Choice
();
void
Set_ASN1_BasicType_String
();
void
Set_ASN1_BasicType_Real
();
void
Set_ASN1_BasicType_Boolean
();
void
Set_ASN1_BasicType_Integer
();
void
Set_ASN1_BasicType_SetOf
();
void
Set_ASN1_BasicType_Set
();
void
Set_ASN1_BasicType_Enumerated
();
void
Set_ASN1_BasicType_SequenceOf
();
void
Set_ASN1_BasicType_Sequence
();
void
Set_UPER_Encoding
();
void
Set_Native_Encoding
();
void
Set_Zipfile
(
char
*
file
,
size_t
len
);
void
Set_Root_Node
(
char
*
name
,
size_t
len
);
void
Set_PolyorbHI_C
();
void
Set_Instance_Of
(
char
*
component
,
size_t
len
);
void
Set_Is_Component_Type
();
System
*
get_system_ast
();
void
Delete_System_AST
();
void
C_Init
();
void
New_Connection
(
char
*
src_system
,
size_t
src_system_length
,
char
*
src_port
,
size_t
src_port_length
,
char
*
bus
,
size_t
bus_length
,
char
*
dst_system
,
size_t
dst_system_length
,
char
*
dst_port
,
size_t
dst_port_length
);
void
End_Connection
();
Connection
*
Get_Connection
();
char
*
getASN1DataView
();
char
*
getDataViewPath
();
/*
Debug functions
*/
void
Print_Interface
(
Interface
*
i
);
void
Dump_Interfaces
(
Interface_list
*
l
);
void
Set_Interface_Queue_Size
(
const
unsigned
long
long
int
);
#endif
rtds_templates/process-template.rdd
View file @
89db664e
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Diagram SYSTEM "rtdsDiagram.dtd">
<Diagram
language=
"sdl"
type=
"sys"
name=
"MODELNAME"
showMsgData=
"full"
linksCrossingAllowed=
"FALSE"
cellWidthMm=
"4"
>
<DiagramPartition
name=
"Declarations"
nbPagesH=
"1"
nbPagesV=
"1"
>
<PageSpecification
pageWidth=
"21.0"
pageHeight=
"29.7"
topMargin=
"0.0"
bottomMargin=
"0.0"
leftMargin=
"0.0"
rightMargin=
"0.0"
pageFooter=
"FALSE"
/>
<Symbol
symbolId=
"SYMB5"
type=
"sdlSysDgmFrm"
xCenter=
"297"
yCenter=
"420"
fixedDimensions=
"TRUE"
width=
"551"
height=
"775"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text></Text>
<Symbol
symbolId=
"SYMB10"
type=
"sdlText"
xCenter=
"88"
yCenter=
"44"
fixedDimensions=
"FALSE"
width=
"132"
height=
"44"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
USE ASN1Types;
</Text>
</Symbol>
<Symbol
symbolId=
"SYMB6"
type=
"sdlText"
xCenter=
"242"
yCenter=
"132"
fixedDimensions=
"FALSE"
width=
"484"
height=
"66"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
SIGNALS_DECLARATION
</Text>
</Symbol>
<Symbol
symbolId=
"SYMB7"
type=
"sdlText"
xCenter=
"143"
yCenter=
"253"
fixedDimensions=
"FALSE"
width=
"264"
height=
"110"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
PROCEDURE_DECLARATION
</Text>
</Symbol>
</Symbol>
</DiagramPartition>
<DiagramPartition
name=
"Architecture"
nbPagesH=
"1"
nbPagesV=
"1"
>
<PageSpecification
pageWidth=
"21.0"
pageHeight=
"29.7"
topMargin=
"0.0"
bottomMargin=
"0.0"
leftMargin=
"0.0"
rightMargin=
"0.0"
pageFooter=
"FALSE"
/>
<Symbol
symbolId=
"SYMB1"
type=
"sdlSysDgmFrm"
xCenter=
"297"
yCenter=
"420"
fixedDimensions=
"TRUE"
width=
"551"
height=
"775"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text></Text>
<Symbol
symbolId=
"SYMB2"
type=
"sdlPrcs"
xCenter=
"352"
yCenter=
"231"
fixedDimensions=
"TRUE"
width=
"110"
height=
"22"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
MODELNAME_p
</Text>
</Symbol>
</Symbol>
<Link
linkId=
"LINK5"
type=
"chnl"
textSegmentNum=
"0"
color=
"#000000"
reverseRead=
"FALSE"
oriented=
"TRUE"
>
<Text>
taste_envl
</Text>
<Connector
attachedSymbolId=
"SYMB1"
type=
"chnl"
isOutside=
"FALSE"
side=
"w"
position=
"-0.402580645161"
endType=
"midarrow"
>
<Text
id=
"1"
>
[OUTPUTLINE]
</Text>
<Text
id=
"2"
></Text>
</Connector>
<Connector
attachedSymbolId=
"SYMB2"
type=
"chnl"
isOutside=
"TRUE"
side=
"y"
position=
"0.0"
endType=
"midarrow"
>
<Text
id=
"1"
>
[INPUTLINE]
</Text>
<Text
id=
"2"
></Text>
</Connector>
<LinkSegment
orientation=
"h"
length=
"352"
/>
</Link>
</DiagramPartition>
</Diagram>
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Diagram SYSTEM "rtdsDiagram.dtd">
<Diagram
language=
"sdl"
type=
"sys"
name=
"MODELNAME"
showMsgData=
"full"
linksCrossingAllowed=
"FALSE"
cellWidthMm=
"4"
>
<DiagramPartition
name=
"Declarations"
nbPagesH=
"1"
nbPagesV=
"1"
>
<PageSpecification
pageWidth=
"21.0"
pageHeight=
"29.7"
topMargin=
"0.0"
bottomMargin=
"0.0"
leftMargin=
"0.0"
rightMargin=
"0.0"
pageFooter=
"FALSE"
/>
<Symbol
symbolId=
"SYMB5"
type=
"sdlSysDgmFrm"
xCenter=
"297"
yCenter=
"420"
fixedDimensions=
"TRUE"
width=
"551"
height=
"775"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text></Text>
<Symbol
symbolId=
"SYMB10"
type=
"sdlText"
xCenter=
"88"
yCenter=
"44"
fixedDimensions=
"FALSE"
width=
"132"
height=
"44"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
USE ASN1Types;
</Text>
</Symbol>
<Symbol
symbolId=
"SYMB6"
type=
"sdlText"
xCenter=
"242"
yCenter=
"132"
fixedDimensions=
"FALSE"
width=
"484"
height=
"66"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
SIGNALS_DECLARATION
</Text>
</Symbol>
<Symbol
symbolId=
"SYMB7"
type=
"sdlText"
xCenter=
"143"
yCenter=
"253"
fixedDimensions=
"FALSE"
width=
"264"
height=
"110"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
PROCEDURE_DECLARATION
</Text>
</Symbol>
</Symbol>
</DiagramPartition>
<DiagramPartition
name=
"Architecture"
nbPagesH=
"1"
nbPagesV=
"1"
>
<PageSpecification
pageWidth=
"21.0"
pageHeight=
"29.7"
topMargin=
"0.0"
bottomMargin=
"0.0"
leftMargin=
"0.0"
rightMargin=
"0.0"
pageFooter=
"FALSE"
/>
<Symbol
symbolId=
"SYMB1"
type=
"sdlSysDgmFrm"
xCenter=
"297"
yCenter=
"420"
fixedDimensions=
"TRUE"
width=
"551"
height=
"775"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text></Text>
<Symbol
symbolId=
"SYMB2"
type=
"sdlPrcs"
xCenter=
"352"
yCenter=
"231"
fixedDimensions=
"TRUE"
width=
"110"
height=
"22"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text>
MODELNAME_p
</Text>
</Symbol>
</Symbol>
<Link
linkId=
"LINK5"
type=
"chnl"
textSegmentNum=
"0"
color=
"#000000"
reverseRead=
"FALSE"
oriented=
"TRUE"
>
<Text>
taste_envl
</Text>
<Connector
attachedSymbolId=
"SYMB1"
type=
"chnl"
isOutside=
"FALSE"
side=
"w"
position=
"-0.402580645161"
endType=
"midarrow"
>
<Text
id=
"1"
>
[OUTPUTLINE]
</Text>
<Text
id=
"2"
></Text>
</Connector>
<Connector
attachedSymbolId=
"SYMB2"
type=
"chnl"
isOutside=
"TRUE"
side=
"y"
position=
"0.0"
endType=
"midarrow"
>
<Text
id=
"1"
>
[INPUTLINE]
</Text>
<Text
id=
"2"
></Text>
</Connector>
<LinkSegment
orientation=
"h"
length=
"352"
/>
</Link>
</DiagramPartition>
</Diagram>
rtds_templates/project-template.rdp
View file @
89db664e
This diff is collapsed.
Click to expand it.
rtds_templates/scheduled.rdd
View file @
89db664e
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Diagram SYSTEM "rtdsDiagram.dtd">
<Diagram
language=
"sdl"
type=
"depl"
name=
"scheduled"
showMsgData=
"full"
linksCrossingAllowed=
"FALSE"
cellWidthMm=
"4"
>
<DiagramPartition
name=
"Part. 0"
nbPagesH=
"1"
nbPagesV=
"1"
>
<PageSpecification
pageWidth=
"21"
pageHeight=
"29.7"
topMargin=
"0"
bottomMargin=
"0"
leftMargin=
"0"
rightMargin=
"0"
pageFooter=
"FALSE"
/>
<Symbol
symbolId=
"SYMB1"
type=
"umlDeplDgmFrm"
xCenter=
"297"
yCenter=
"420"
fixedDimensions=
"TRUE"
width=
"551"
height=
"775"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text></Text>
<Symbol
symbolId=
"SYMB3"
type=
"umlComp"
xCenter=
"99"
yCenter=
"143"
fixedDimensions=
"FALSE"
width=
"132"
height=
"88"
color=
"#000000"
fillColor=
"#ffffff"
profile=
""
>
<Description></Description>
<Text
id=
"0"
>
MODELNAME
{scheduled}
</Text>
<Text
id=
"1"
hidden=
"FALSE"
>
</Text>
<Text
id=
"2"
hidden=
"FALSE"
>
</Text>
</Symbol>
</Symbol>
</DiagramPartition>
</Diagram>
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE Diagram SYSTEM "rtdsDiagram.dtd">
<Diagram
language=
"sdl"
type=
"depl"
name=
"scheduled"
showMsgData=
"full"
linksCrossingAllowed=
"FALSE"
cellWidthMm=
"4"
>
<DiagramPartition
name=
"Part. 0"
nbPagesH=
"1"
nbPagesV=
"1"
>
<PageSpecification
pageWidth=
"21"
pageHeight=
"29.7"
topMargin=
"0"
bottomMargin=
"0"
leftMargin=
"0"
rightMargin=
"0"
pageFooter=
"FALSE"
/>
<Symbol
symbolId=
"SYMB1"
type=
"umlDeplDgmFrm"
xCenter=
"297"
yCenter=
"420"
fixedDimensions=
"TRUE"
width=
"551"
height=
"775"
color=
"#000000"
fillColor=
"#ffffff"
>
<Description></Description>
<Text></Text>
<Symbol
symbolId=
"SYMB3"
type=
"umlComp"
xCenter=
"99"
yCenter=
"143"
fixedDimensions=
"FALSE"
width=
"132"
height=
"88"
color=
"#000000"
fillColor=
"#ffffff"
profile=
""
>
<Description></Description>
<Text
id=
"0"
>
MODELNAME
{scheduled}
</Text>
<Text
id=
"1"
hidden=
"FALSE"
>
</Text>
<Text
id=
"2"
hidden=
"FALSE"
>
</Text>
</Symbol>
</Symbol>
</DiagramPartition>
</Diagram>
test/TASTE_DV_Properties.aadl
View file @
89db664e
-- mapping TASTE : AADL
-- Node : System
-- Processor : Processor
-- Process : Function
-- Bus : Bus
-- Device : Device
-- Driver : Driver
property set TASTE_DV_Properties is
-- MyBoolean: aadlboolean applies to (System, Processor, Process);
CoverageEnabled: aadlboolean applies to (Process);
Comment: aadlstring applies to (Device, Bus);
-- MyInt: aadlinteger applies to (System);
-- MyReal: aadlreal applies to (Bus);
-- MyEnum: enumeration (val1, val2, val3, val4) applies to (Device);
end TASTE_DV_Properties;
-- mapping TASTE : AADL
-- Node : System
-- Processor : Processor
-- Process : Function
-- Bus : Bus
-- Device : Device
-- Driver : Driver
property set TASTE_DV_Properties is
-- MyBoolean: aadlboolean applies to (System, Processor, Process);
CoverageEnabled: aadlboolean applies to (Process);
Comment: aadlstring applies to (Device, Bus);
-- MyInt: aadlinteger applies to (System);
-- MyReal: aadlreal applies to (Bus);
-- MyEnum: enumeration (val1, val2, val3, val4) applies to (Device);
end TASTE_DV_Properties;
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment