Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
732e59ea
Commit
732e59ea
authored
Dec 10, 2014
by
yoogx
Browse files
* Simple test
parent
5e0695e3
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-deos_conf-partitions.adb
View file @
732e59ea
------------------------------------------------------------------------------
-- --
-- OCARINA COMPONENTS --
-- --
-- OCARINA.BACKENDS.DEOS_CONF.PARTITIONS --
-- --
-- B o d y --
-- --
-- Copyright (C) 2014 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
-- --
------------------------------------------------------------------------------
with
Ada
.
Text_IO
;
use
Ada
.
Text_IO
;
with
Ocarina
.
Namet
;
use
Ocarina
.
Namet
;
with
Ocarina
.
ME_AADL
.
AADL_Instances
.
Debug
;
use
Ocarina
.
ME_AADL
.
AADL_Instances
.
Debug
;
with
Ocarina
.
Backends
.
Properties
.
ARINC653
;
use
Ocarina
.
Backends
.
Properties
.
ARINC653
;
-- with Locations;
with
Ocarina
.
ME_AADL
;
with
Ocarina
.
ME_AADL
.
AADL_Instances
.
Nodes
;
...
...
@@ -215,6 +256,22 @@ package body Ocarina.Backends.Deos_Conf.Partitions is
Partition_Identifier
:=
1
;
declare
Module_Schedule
:
constant
Schedule_Window_Record_Term_Array
:=
Get_Module_Schedule_Property
(
E
);
begin
for
J
in
Module_Schedule
'
Range
loop
Put_Line
(
"Module Schedule slot #"
&
J
'
Img
);
Put_Line
(
" -> "
&
Get_Name_String
(
Module_Schedule
(
J
).
Partition
));
Put_Line
(
" -> "
&
Module_Schedule
(
J
).
Duration
.
T
'
Img
&
" "
&
Module_Schedule
(
J
).
Duration
.
U
'
Img
);
Put_Line
(
" -> "
&
Module_Schedule
(
J
).
Periodic_Processing_Start
'
Img
);
end
loop
;
end
;
Current_XML_Node
:=
XTN
.
Root_Node
(
XTN
.
XML_File
(
U
));
Partitions_Node
:=
Make_XML_Node
(
"Partitions"
);
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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