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
Ocarina
Commits
bacef657
Commit
bacef657
authored
May 11, 2019
by
yoogx
Browse files
* Add parameter to the list of features
parent
0034174c
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-helper.ads
View file @
bacef657
...
...
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--
Copyright (C) 2018 ESA & ISAE.
--
-- Copyright (C) 2018
-2019
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -63,6 +63,7 @@ package Ocarina.Backends.Helper is
Post
=>
(
Features_Of
'
Result
=
No_Nodes
or
else
(
for
all
E
of
Features_Of
'
Result
=>
Kind
(
E
)
in
K_Feature_Instance
|
K_Parameter_Instance
|
K_Port_Spec_Instance
|
K_Subcomponent_Access_Instance
));
...
...
Write
Preview
Supports
Markdown
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