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
f852a248
Commit
f852a248
authored
Jan 08, 2015
by
Arnaud Schach
Browse files
first add
parent
bf13c626
Changes
2
Expand all
Hide whitespace changes
Inline
Side-by-side
src/python/ocarina-lmp.adb
0 → 100644
View file @
f852a248
This diff is collapsed.
Click to expand it.
src/python/ocarina-lmp.ads
0 → 100644
View file @
f852a248
------------------------------------------------------------------------------
-- --
-- OCARINA COMPONENTS --
-- --
-- O C A R I N A . L M P --
-- --
-- S p e c --
-- --
-- Copyright (C) 2013 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) --
-- --
------------------------------------------------------------------------------
pragma
Warnings
(
Off
);
with
Ocarina
.
Types
;
use
Ocarina
.
Types
;
with
GNATCOLL
.
Scripts
;
use
GNATCOLL
.
Scripts
;
with
Ocarina
.
ME_AADL
;
with
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
;
package
Ocarina
.
Lmp
is
function
Get_Packages
return
Node_List
;
function
Get_Import_Declarations
return
Node_List
;
function
Get_Alias_Declarations
return
Node_List
;
function
Get_Component_Types
(
kind
:
String
)
return
Node_List
;
function
Get_Component_Implementations
(
kind
:
String
)
return
Node_List
;
function
Get_Annexes
return
Node_List
;
function
Get_Prototype
return
Node_List
;
function
Get_Prototype_Binding
return
Node_List
;
function
Get_Flow_Specs
return
Node_List
;
function
Get_Flow_Implementations
return
Node_List
;
function
Get_Modes
return
Node_List
;
function
Get_Mode_Transitions
return
Node_List
;
function
Get_In_Modes
return
Node_List
;
-- function Get_PropertyBinding return Node_List;
function
Get_Property_Sets
return
Node_List
;
function
Get_Property_Types
(
PropertySet
:
Node_Id
)
return
Node_List
;
function
Get_Property_Definitions
(
PropertySet
:
Node_Id
)
return
Node_List
;
function
Get_Property_Constants
(
PropertySet
:
Node_Id
)
return
Node_List
;
function
Get_Instances
(
kind
:
String
)
return
Node_List
;
function
Filter_Component_By_Category
(
components
:
Node_List
;
category
:
Ocarina
.
ME_AADL
.
Component_Category
)
return
Node_List
;
function
Filter_Node_By_Kind
(
components
:
List_Id
;
category
:
Ocarina
.
ME_AADL
.
AADL_Tree
.
Nodes
.
Node_Kind
)
return
Node_List
;
function
Filter_Instance_By_Category
(
components
:
Node_List
;
category
:
Ocarina
.
ME_AADL
.
Component_Category
)
return
Node_List
;
procedure
Get_Component_Name
(
Data
:
in
out
Callback_Data
'
Class
;
N
:
Node_Id
);
procedure
Get_Component_Fullname
(
Data
:
in
out
Callback_Data
'
Class
;
N
:
Node_Id
);
procedure
Get_Instance_Name
(
Data
:
in
out
Callback_Data
'
Class
;
N
:
Node_Id
);
function
Find_All_Component_Implementations
(
Root
:
Node_Id
;
Namespace
:
Node_Id
:=
No_Node
)
return
Node_List
;
function
Find_All_Component_Instances
(
Root
:
Node_Id
)
return
Node_List
;
end
Ocarina
.
Lmp
;
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