Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
kazoo
Commits
cdded42e
Commit
cdded42e
authored
Apr 25, 2019
by
Maxime Perrotin
Browse files
Fix Queue_Size attribute parsing
parent
141206ec
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/taste-interface_view.adb
View file @
cdded42e
...
...
@@ -427,7 +427,7 @@ package body TASTE.Interface_View is
and
then
Is_Defined_Property
(
CI
,
"taste::associated_queue_size"
)
then
Just
(
Get_Integer_Property
(
CI
,
"
taste::associated_queue_size"
))
(
CI
,
"taste::associated_queue_size"
))
else
Option_ULL
.
Nothing
);
Result
.
RCM
:=
Get_RCM_Operation_Kind
(
If_I
);
Result
.
Period_Or_MIAT
:=
Get_RCM_Period
(
If_I
);
...
...
@@ -858,9 +858,9 @@ package body TASTE.Interface_View is
Put_Line
(
Output
,
Pre
&
"├─ Period/MIAT : "
&
I
.
Period_Or_MIAT
'
Img
);
Put_Line
(
Output
,
Pre
&
"├─ WCET (ms) : "
&
Value_Or
(
I
.
WCET_ms
,
0
)'
Img
);
&
I
.
WCET_ms
.
Value_Or
(
0
)'
Img
);
Put_Line
(
Output
,
Pre
&
"├─ Queue Size : "
&
Value_Or
(
I
.
Queue_Size
,
1
)'
Img
);
&
I
.
Queue_Size
.
Value_Or
(
1
)'
Img
);
Put_Line
(
Output
,
Pre
&
"├─ Parameters :"
);
for
Each
of
I
.
Params
loop
Put_Line
(
Output
,
Pre
&
"│ ├─ Name : "
...
...
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