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

« back to all changes in this revision

Viewing changes to test/conf/t_unsafe_paired_calls.aru

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-10-12 19:17:22 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20061012191722-fo5bcn4k5r0iubgd
Tags: 1.5r24-1

* New upstream release.
* debian/control (Depends): add gnat-4.1.
  (Enhances): add gnat-gps.
* debian/adacontrol.gpr: build pfni.
* debian/rules: install the new gnat-gps plug-in, and pfni.
* debian/pfni.1: new.
* patches/gps-integration.patch: new.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
No_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{}, t_unsafe_paired_calls{}.v{});
 
2
In_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{standard.character; standard.integer}, 
 
3
                                         t_unsafe_paired_calls{}.v{standard.character; standard.integer},
 
4
                                         standard.integer);
 
5
In_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{t_unsafe_paired_calls{}.Acc}, 
 
6
                                         t_unsafe_paired_calls{}.v{t_unsafe_paired_calls{}.Acc},
 
7
                                         t_unsafe_paired_calls{}.Acc);
 
8
InOut_Parameter: check unsafe_paired_calls (t_unsafe_paired_calls{}.p{t_unsafe_paired_calls{}.sema}, 
 
9
                                            t_unsafe_paired_calls{}.v{t_unsafe_paired_calls{}.sema},
 
10
                                            t_unsafe_paired_calls{}.sema);
 
 
b'\\ No newline at end of file'