TAO/tests/IDL_Test/interface.idl

   1
   2 //=============================================================================
   3 /**
   4  *  @file    interface.idl
   5  *
   6  *  This file contains examples of IDL code that has
   7  *  caused problems in the past for the TAO IDL
   8  *  compiler. This test is to make sure the problems
   9  *  stay fixed.
  10  *
  11  *
  12  *  @author Jeff Parsons <parsons@cs.wustl.edu> and TAO users.
  13  */
  14 //=============================================================================
  15
  16
  17 // Used to be a problem in the get() and set()
  18 // generated code.
  19
  20 interface Base
  21 {
  22   attribute long value;
  23 };
  24
  25 interface Derived : Base
  26 {
  27 };
  28
  29 // The fact that the interface begins with 'foo' was causing
  30 // problems. The IDL compiler thought the interface was in
  31 // foo's scope.
  32 module foo_mod
  33 {
  34   struct date
  35     {
  36       short month;
  37     };
  38 };
  39
  40 interface foostep
  41 {
  42   foo_mod::date getDate ();
  43 };
  44
  45 // Only operations or attributes should cause a clash
  46 // in this type of situation.
  47 interface mother
  48 {
  49   struct member
  50     {
  51       long val;
  52     };
  53 };
  54
  55 interface father
  56 {
  57   struct member
  58     {
  59       short ident;
  60     };
  61 };
  62
  63 interface child : mother, father
  64 {
  65 };
  66
  67 interface try
  68 {
  69 };
  70
  71 // Definition below in file.
  72 interface later;
  73
  74 typedef boolean Bool;
  75
  76 interface later_user
  77 {
  78   later op (in later inarg,
  79             inout later inoutarg,
  80             out later outarg);
  81
  82
  83   // Not a clash with the C++ keyword because they are case sensitive,
  84   // but the Arg_Traits<> specialization parameter (ACE_InputCDR::to_boolean)
  85   // needs the unaliased type name to work.
  86   void op2 (in Bool inarg2);
  87 };
  88
  89 struct later_holder
  90 {
  91   later member;
  92 };
  93
  94 interface later {};
  95
  96 // Previously, we could have found v if it
  97 // was inherited into Client, but not in
  98 // the case below, where it is inherited into
  99 // somewhere other than the scope where the
 100 // lookup starts.
 101
 102 interface Begin
 103 {
 104   typedef long Value;
 105 };
 106
 107 interface Middle : Begin
 108 {
 109 };
 110
 111 interface End : Middle
 112 {
 113 };
 114
 115 interface Client
 116 {
 117   attribute End::Value v;
 118 };
 119
 120 // Tests arg_traits visitor for unaliased bounded (w)string
 121 // attributes.
 122 interface AttributeTester
 123 {
 124   typedef string string_1[1];
 125
 126   attribute string a_su;
 127   attribute string_1 a_sb;
 128 };
 129
 130 // All of the 'recursion' below is legal.
 131 module ParamMod
 132 {
 133   interface ParameterTester
 134   {
 135     exception object_excep_type
 136     {
 137       ParameterTester objref;
 138     };
 139
 140     typedef sequence<ParameterTester> object_seq_type;
 141
 142     typedef ParameterTester object_array_type[5];
 143
 144     struct object_struct_type
 145     {
 146       octet o1;
 147       ParameterTester p1;
 148       long l1;
 149     };
 150
 151     union object_union_type switch (long)
 152     {
 153       case 0: string str;
 154       case 1: ParameterTester pt;
 155     };
 156
 157     object_seq_type parameter_tester_op (
 158         in object_struct_type inarg,
 159         inout object_array_type inoutarg,
 160         out object_union_type outarg
 161       )
 162       raises (object_excep_type);
 163   };
 164 };
 165
 166 local interface testlocal
 167 {
 168 };
 169
 170 interface A {
 171   union U switch (Bool)
 172   {
 173     case TRUE: A aa;
 174   };
 175 };
 176
 177 module M
 178 {
 179   interface A;
 180 };
 181
 182 module M
 183 {
 184   interface A;
 185
 186   interface A {};
 187 };
 188
 189 module i1
 190 {
 191   interface if1
 192   {
 193     string getStr();
 194   };
 195 };
 196
 197 module i2
 198 {
 199   interface if2 : ::i1::if1
 200     {
 201       string getstr2();
 202     };
 203
 204   interface if3 : ::i2::if2
 205     {
 206       string getstr3();
 207     };
 208 };
 209
 210 /// Tests acceptance of legal redefinitions (of
 211 /// constants, exceptions and types) in a derived
 212 /// interface.
 213 module redefs
 214 {
 215   interface base
 216   {
 217     const long lconst = -5;
 218
 219     exception ex
 220     {
 221       string info;
 222     };
 223
 224     struct foo
 225     {
 226       short index;
 227     };
 228   };
 229
 230   interface derived : base
 231   {
 232     const long lconst = 44;
 233
 234     exception ex
 235     {
 236       long serial;
 237     };
 238
 239     struct foo
 240     {
 241       string str;
 242     };
 243   };
 244 };
 245
 246 // Had to relocate the spot where the typedef is marked as
 247 // having its arg traits instantiation already generated.
 248 // Otherwise, when the scope of the base interface is visited
 249 // as part of this process, we had infinite recursion and a
 250 // stack overflow.
 251 module Rec_Arg_Traits
 252 {
 253   interface base
 254   {
 255     typedef Rec_Arg_Traits::base plan_stub_type;
 256   };
 257
 258   interface derived : Rec_Arg_Traits::base
 259   {
 260     void remove_task (in plan_stub_type listener);
 261   };
 262 };