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

« back to all changes in this revision

Viewing changes to src/rules-movable_accept_statements.ads

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2008-04-27 15:25:59 UTC
  • mfrom: (1.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20080427152559-qrlic533a1x02flu
Tags: 1.8r8-1

* New upstream version.
* debian/adacontrol.gpr: delete; use upstream's project file instead.
* patches/build.patch: patch upstream's project file to change Object_Dir
  and Exec_Dir.
* Build-depend on asis 2007 and gnat-4.3.
* Add support for mips, mipsel and ppc64.
* Build and provide ptree.
* ptree.1: new.
* adactl.1: update; new options and rules are available.

Show diffs side-by-side

added added

removed removed

Lines of Context:
34
34
 
35
35
package Rules.Movable_Accept_Statements  is
36
36
 
37
 
   -- This rule can be used to check/search statements that could be moved
38
 
   -- from an accept scope to the directly outer scope, i.e. statements not
39
 
   -- depending on the use of any formal parameter of the accept structure
40
 
   -- might be moved, according to certain circumstances, to the directly
41
 
   -- outer scope.
42
 
   -- Note: circumstances are explained in the documentation.
43
 
   -- Parameters: None
44
 
 
45
 
   --                               OR
46
 
 
47
 
   -- This rule can be used to check/search statements that could be moved
48
 
   -- from the `accept' scope to an outer scope, i.e. every statements not
49
 
   -- depending on any parameter of the `accept' structure should be moved
50
 
   -- to the direct outer scope.
51
 
   --
52
 
   -- Parameters: None
53
 
   --
54
 
 
55
37
   Rule_Id : constant Wide_String := "MOVABLE_ACCEPT_STATEMENTS";
56
38
 
57
39
   procedure Process_Accept_Statement (Statement : in Asis.Statement);