← Back to branch summary

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

« back to all changes in this revision

Viewing changes to test/conf/t_instantiations.aru

  • 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:
test/conf/t_instantiations.aru
 
1
T1: search instantiations (ada.unchecked_deallocation);
 
2
T2: search instantiations (ada.unchecked_deallocation, standard.natural);
 
3
T3: search instantiations (ada.unchecked_deallocation, standard.integer);
 
4
T4: search instantiations (ada.unchecked_deallocation, standard.string, <>);
 
5
T5: search instantiations (ada.unchecked_deallocation, standard.string, t_instantiations.string_access);
 
6
T6: search instantiations (ada.unchecked_conversion, <>, t_instantiations.Integer_Access);
 
7
 
 
8
-- Not tested, resistance test:
 
9
Boolean_Buf_Duplicate_Instance:     Check Instantiations (Buffer.Enumeration_G,  Standard.Boolean);
 
10
Character_Buf_Duplicate_Instance:   Check Instantiations (Buffer.Enumeration_G,  Standard.Character);
 
11
Side_Buf_Duplicate_Instance:        Check Instantiations (Buffer.Enumeration_G,  Side.T);
 
12
Duration_Buf_Duplicate_Instance:    Check Instantiations (Buffer.Fixed_G,        Standard.Duration);
 
13
Float8_T_Buf_Duplicate_Instance:    Check Instantiations (Buffer.Float_G,        System_Types.Float8_T);
 
14
Float_Buf_Duplicate_Instance:       Check Instantiations (Buffer.Float_G,        Standard.Float);
 
15
Integer1_T_Buf_Duplicate_Instance:  Check Instantiations (Buffer.Integer_G,      System_Types.Integer1_T);
 
16
Integer2_T_Buf_Duplicate_Instance:  Check Instantiations (Buffer.Integer_G,      System_Types.Integer2_T);
 
17
Integer4_T_Buf_Duplicate_Instance:  Check Instantiations (Buffer.Integer_G,      System_Types.Integer4_T);
 
18
Integer_Buf_Duplicate_Instance:     Check Instantiations (Buffer.Integer_G,      Standard.Integer);
 
19
Integer_T_Buf_Duplicate_Instance:   Check Instantiations (Buffer.Integer_G,      System_Types.Integer_T);
 
20
Unsigned1_T_Buf_Duplicate_Instance: Check Instantiations (Buffer.Integer_G,      System_Types.Unsigned1_T);
 
21
Unsigned2_T_Buf_Duplicate_Instance: Check Instantiations (Buffer.Integer_G,      System_Types.Unsigned2_T);