← Back to branch summary

~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

« back to all changes in this revision

Viewing changes to src/framework-specific_plugs.adb

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-08-24 08:44:11 UTC
  • Revision ID: james.westby@ubuntu.com-20060824084411-1r15uio1h75lqgpx
Tags: upstream-1.4r20
Import upstream version 1.4r20

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/framework-specific_plugs.adb
 
1
----------------------------------------------------------------------
 
2
--  Framework.Specific_Plugs - Package body                         --
 
3
--                                                                  --
 
4
--  This software  is (c) The European Organisation  for the Safety --
 
5
--  of Air  Navigation (EUROCONTROL) and Adalog  2004-2005. The Ada --
 
6
--  Controller  is  free software;  you can redistribute  it and/or --
 
7
--  modify  it under  terms of  the GNU  General Public  License as --
 
8
--  published by the Free Software Foundation; either version 2, or --
 
9
--  (at your  option) any later version.  This  unit is distributed --
 
10
--  in the hope  that it will be useful,  but WITHOUT ANY WARRANTY; --
 
11
--  without even the implied warranty of MERCHANTABILITY or FITNESS --
 
12
--  FOR A  PARTICULAR PURPOSE.  See the GNU  General Public License --
 
13
--  for more details.   You should have received a  copy of the GNU --
 
14
--  General Public License distributed  with this program; see file --
 
15
--  COPYING.   If not, write  to the  Free Software  Foundation, 59 --
 
16
--  Temple Place - Suite 330, Boston, MA 02111-1307, USA.           --
 
17
--                                                                  --
 
18
--  As  a special  exception, if  other files  instantiate generics --
 
19
--  from the units  of this program, or if you  link this unit with --
 
20
--  other files  to produce  an executable, this  unit does  not by --
 
21
--  itself cause the resulting executable  to be covered by the GNU --
 
22
--  General  Public  License.   This  exception  does  not  however --
 
23
--  invalidate any  other reasons why the executable  file might be --
 
24
--  covered by the GNU Public License.                              --
 
25
--                                                                  --
 
26
--  This  software is  distributed  in  the hope  that  it will  be --
 
27
--  useful,  but WITHOUT  ANY  WARRANTY; without  even the  implied --
 
28
--  warranty  of  MERCHANTABILITY   or  FITNESS  FOR  A  PARTICULAR --
 
29
--  PURPOSE.                                                        --
 
30
----------------------------------------------------------------------
 
31
 
 
32
-- ASIS
 
33
with
 
34
  Asis.Elements;
 
35
 
 
36
package body Framework.Specific_Plugs is
 
37
 
 
38
   ----------------
 
39
   -- Enter_Unit --
 
40
   ----------------
 
41
 
 
42
   procedure Enter_Unit (Unit : in Asis.Compilation_Unit) is
 
43
   begin
 
44
      null;
 
45
   end Enter_Unit;
 
46
 
 
47
   ---------------
 
48
   -- Exit_Unit --
 
49
   ---------------
 
50
 
 
51
   procedure Exit_Unit (Unit : in Asis.Compilation_Unit) is
 
52
   begin
 
53
      null;
 
54
   end Exit_Unit;
 
55
 
 
56
   -----------------
 
57
   -- Enter_Scope --
 
58
   -----------------
 
59
 
 
60
   procedure Enter_Scope (Element : in Asis.Element) is
 
61
   begin
 
62
      null;
 
63
   end Enter_Scope;
 
64
 
 
65
   ----------------
 
66
   -- Exit_Scope --
 
67
   ----------------
 
68
 
 
69
   procedure Exit_Scope (Element : in Asis.Element) is
 
70
   begin
 
71
      null;
 
72
   end Exit_Scope;
 
73
 
 
74
   ---------------------
 
75
   -- True_Identifier --
 
76
   ---------------------
 
77
 
 
78
   procedure True_Identifier (Element : in Asis.Expression) is
 
79
   begin
 
80
      null;
 
81
   end True_Identifier;
 
82
 
 
83
   -------------------
 
84
   -- Pre_Procedure --
 
85
   -------------------
 
86
 
 
87
   procedure Pre_Procedure (Element : in Asis.Element) is
 
88
      use Asis.Elements;
 
89
   begin
 
90
      case Element_Kind (Element) is
 
91
         when others =>
 
92
            null;
 
93
      end case;
 
94
   end Pre_Procedure;
 
95
 
 
96
   --------------------
 
97
   -- Post_Procedure --
 
98
   --------------------
 
99
 
 
100
   procedure Post_Procedure (Element : in Asis.Element) is
 
101
      use Asis.Elements;
 
102
   begin
 
103
      case Element_Kind (Element) is
 
104
         when others =>
 
105
            null;
 
106
      end case;
 
107
   end Post_Procedure;
 
108
 
 
109
end Framework.Specific_Plugs;