prop-src/list.cc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.6),
   3 //  last updated on Nov 2, 1999.
   4 //  The original source file is "list.pcc".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #ifdef __GNUG__
   8 #pragma implementation "listimpl.h"
   9 #endif
  10 #define PROP_TUPLE2_USED
  11 #include <propdefs.h>
  12 #line 1 "list.pcc"
  13
  14 #include "basics.h"
  15 #include "listimpl.h"
  16 #include "ast.h"
  17 #include "ir.h"
  18 #include "parsegen.h"
  19 //#include "logicgen.h"
  20 //#include "constraint.h"
  21
  22 #define NO_TEMPLATE_KEYWORD
  23 #ifndef NO_TEMPLATE_KEYWORD
  24
  25 template int length(
  26 #line 16 "list.pcc"
  27 a_List<Exp> *
  28 #line 16 "list.pcc"
  29 );
  30 template int length(a_List<Ty> *
  31 #line 17 "list.pcc"
  32 );
  33 template int length(a_List<Pat> *
  34 #line 18 "list.pcc"
  35 );
  36 template int length(a_List<Id> *
  37 #line 19 "list.pcc"
  38 );
  39 template int length(a_List<Inherit> *
  40 #line 20 "list.pcc"
  41 );
  42 template int length(a_List<ProductionSymbol> *
  43 #line 21 "list.pcc"
  44 );
  45 template int length(a_List<a_List<ProductionSymbol> * > *
  46 #line 22 "list.pcc"
  47 );
  48 template int length(a_List<LabPat> *
  49 #line 23 "list.pcc"
  50 );
  51 template int length(a_List<TermDef> *
  52 #line 24 "list.pcc"
  53 );
  54 template int length(a_List<DatatypeDef> *
  55 #line 25 "list.pcc"
  56 );
  57 template int length(a_List<MatchExp> *
  58 #line 26 "list.pcc"
  59 );
  60 template int length(a_List<InferenceRule> *
  61 #line 27 "list.pcc"
  62 );
  63 template int length(a_List<MatchRule> *
  64 #line 28 "list.pcc"
  65 );
  66
  67 template a_List<Id> *
  68 #line 30 "list.pcc"
  69  append(a_List<Id> *
  70 #line 30 "list.pcc"
  71 , a_List<Id> *
  72 #line 30 "list.pcc"
  73 );
  74 template a_List<Decl> *
  75 #line 31 "list.pcc"
  76  append(a_List<Decl> *
  77 #line 31 "list.pcc"
  78 , a_List<Decl> *
  79 #line 31 "list.pcc"
  80 );
  81 template a_List<Inherit> *
  82 #line 32 "list.pcc"
  83  append(a_List<Inherit> *
  84 #line 32 "list.pcc"
  85 , a_List<Inherit> *
  86 #line 32 "list.pcc"
  87 );
  88 template a_List<TermDef> *
  89 #line 33 "list.pcc"
  90  append(a_List<TermDef> *
  91 #line 33 "list.pcc"
  92 , a_List<TermDef> *
  93 #line 33 "list.pcc"
  94 );
  95
  96 template a_List<MatchRule> *
  97 #line 35 "list.pcc"
  98  rev (a_List<MatchRule> *
  99 #line 35 "list.pcc"
 100 );
 101 template a_List<Exp> *
 102 #line 36 "list.pcc"
 103  rev (a_List<Exp> *
 104 #line 36 "list.pcc"
 105 );
 106 template a_List<Tuple2<Id, Ty> > *
 107 #line 37 "list.pcc"
 108  rev (a_List<Tuple2<Id, Ty> > *
 109 #line 37 "list.pcc"
 110 );
 111 template a_List<Tuple2<Id, Pat> > *
 112 #line 38 "list.pcc"
 113  rev (a_List<Tuple2<Id, Pat> > *
 114 #line 38 "list.pcc"
 115 );
 116 //template List<.[Id, Pats, Determinism]> rev (List<.[Id, Pats, Determinism]>);
 117 //template List<ConstraintRule> rev (List<ConstraintRule>);
 118
 119 #else
 120
 121 static void dummy()
 122 {
 123 length((a_List<Exp> *
 124 #line 46 "list.pcc"
 125 )
 126 #line 46 "list.pcc"
 127 nil_1_
 128 #line 46 "list.pcc"
 129 #line 46 "list.pcc"
 130 );
 131 length((
 132 #line 47 "list.pcc"
 133 a_List<Ty> *
 134 #line 47 "list.pcc"
 135 )
 136 #line 47 "list.pcc"
 137 nil_1_
 138 #line 47 "list.pcc"
 139 #line 47 "list.pcc"
 140 );
 141 length((
 142 #line 48 "list.pcc"
 143 a_List<Pat> *
 144 #line 48 "list.pcc"
 145 )
 146 #line 48 "list.pcc"
 147 nil_1_
 148 #line 48 "list.pcc"
 149 #line 48 "list.pcc"
 150 );
 151 length((
 152 #line 49 "list.pcc"
 153 a_List<Id> *
 154 #line 49 "list.pcc"
 155 )
 156 #line 49 "list.pcc"
 157 nil_1_
 158 #line 49 "list.pcc"
 159 #line 49 "list.pcc"
 160 );
 161 length((
 162 #line 50 "list.pcc"
 163 a_List<Inherit> *
 164 #line 50 "list.pcc"
 165 )
 166 #line 50 "list.pcc"
 167 nil_1_
 168 #line 50 "list.pcc"
 169 #line 50 "list.pcc"
 170 );
 171 length((
 172 #line 51 "list.pcc"
 173 a_List<ProductionSymbol> *
 174 #line 51 "list.pcc"
 175 )
 176 #line 51 "list.pcc"
 177 nil_1_
 178 #line 51 "list.pcc"
 179 #line 51 "list.pcc"
 180 );
 181 length((
 182 #line 52 "list.pcc"
 183 a_List<a_List<ProductionSymbol> * > *
 184 #line 52 "list.pcc"
 185 )
 186 #line 52 "list.pcc"
 187 nil_1_
 188 #line 52 "list.pcc"
 189 #line 52 "list.pcc"
 190 );
 191 length((
 192 #line 53 "list.pcc"
 193 a_List<LabPat> *
 194 #line 53 "list.pcc"
 195 )
 196 #line 53 "list.pcc"
 197 nil_1_
 198 #line 53 "list.pcc"
 199 #line 53 "list.pcc"
 200 );
 201 length((
 202 #line 54 "list.pcc"
 203 a_List<TermDef> *
 204 #line 54 "list.pcc"
 205 )
 206 #line 54 "list.pcc"
 207 nil_1_
 208 #line 54 "list.pcc"
 209 #line 54 "list.pcc"
 210 );
 211 length((
 212 #line 55 "list.pcc"
 213 a_List<DatatypeDef> *
 214 #line 55 "list.pcc"
 215 )
 216 #line 55 "list.pcc"
 217 nil_1_
 218 #line 55 "list.pcc"
 219 #line 55 "list.pcc"
 220 );
 221 length((
 222 #line 56 "list.pcc"
 223 a_List<MatchExp> *
 224 #line 56 "list.pcc"
 225 )
 226 #line 56 "list.pcc"
 227 nil_1_
 228 #line 56 "list.pcc"
 229 #line 56 "list.pcc"
 230 );
 231 length((
 232 #line 57 "list.pcc"
 233 a_List<InferenceRule> *
 234 #line 57 "list.pcc"
 235 )
 236 #line 57 "list.pcc"
 237 nil_1_
 238 #line 57 "list.pcc"
 239 #line 57 "list.pcc"
 240 );
 241 length((
 242 #line 58 "list.pcc"
 243 a_List<MatchRule> *
 244 #line 58 "list.pcc"
 245 )
 246 #line 58 "list.pcc"
 247 nil_1_
 248 #line 58 "list.pcc"
 249 #line 58 "list.pcc"
 250 );
 251
 252 append((
 253 #line 60 "list.pcc"
 254 a_List<Id> *
 255 #line 60 "list.pcc"
 256 )
 257 #line 60 "list.pcc"
 258 nil_1_
 259 #line 60 "list.pcc"
 260 #line 60 "list.pcc"
 261 ,      (
 262 #line 60 "list.pcc"
 263 a_List<Id> *
 264 #line 60 "list.pcc"
 265 )
 266 #line 60 "list.pcc"
 267 nil_1_
 268 #line 60 "list.pcc"
 269 #line 60 "list.pcc"
 270 );
 271 append((
 272 #line 61 "list.pcc"
 273 a_List<Decl> *
 274 #line 61 "list.pcc"
 275 )
 276 #line 61 "list.pcc"
 277 nil_1_
 278 #line 61 "list.pcc"
 279 #line 61 "list.pcc"
 280 ,    (
 281 #line 61 "list.pcc"
 282 a_List<Decl> *
 283 #line 61 "list.pcc"
 284 )
 285 #line 61 "list.pcc"
 286 nil_1_
 287 #line 61 "list.pcc"
 288 #line 61 "list.pcc"
 289 );
 290 append((
 291 #line 62 "list.pcc"
 292 a_List<Inherit> *
 293 #line 62 "list.pcc"
 294 )
 295 #line 62 "list.pcc"
 296 nil_1_
 297 #line 62 "list.pcc"
 298 #line 62 "list.pcc"
 299 , (
 300 #line 62 "list.pcc"
 301 a_List<Inherit> *
 302 #line 62 "list.pcc"
 303 )
 304 #line 62 "list.pcc"
 305 nil_1_
 306 #line 62 "list.pcc"
 307 #line 62 "list.pcc"
 308 );
 309 append((
 310 #line 63 "list.pcc"
 311 a_List<TermDef> *
 312 #line 63 "list.pcc"
 313 )
 314 #line 63 "list.pcc"
 315 nil_1_
 316 #line 63 "list.pcc"
 317 #line 63 "list.pcc"
 318 , (
 319 #line 63 "list.pcc"
 320 a_List<TermDef> *
 321 #line 63 "list.pcc"
 322 )
 323 #line 63 "list.pcc"
 324 nil_1_
 325 #line 63 "list.pcc"
 326 #line 63 "list.pcc"
 327 );
 328
 329 rev ((
 330 #line 65 "list.pcc"
 331 a_List<MatchRule> *
 332 #line 65 "list.pcc"
 333 )
 334 #line 65 "list.pcc"
 335 nil_1_
 336 #line 65 "list.pcc"
 337 #line 65 "list.pcc"
 338 );
 339 rev ((
 340 #line 66 "list.pcc"
 341 a_List<Exp> *
 342 #line 66 "list.pcc"
 343 )
 344 #line 66 "list.pcc"
 345 nil_1_
 346 #line 66 "list.pcc"
 347 #line 66 "list.pcc"
 348 );
 349 rev ((
 350 #line 67 "list.pcc"
 351 a_List<ProductionSymbol> *
 352 #line 67 "list.pcc"
 353 )
 354 #line 67 "list.pcc"
 355 nil_1_
 356 #line 67 "list.pcc"
 357 #line 67 "list.pcc"
 358 );
 359 rev ((
 360 #line 68 "list.pcc"
 361 a_List<Tuple2<Id, Ty> > *
 362 #line 68 "list.pcc"
 363 )
 364 #line 68 "list.pcc"
 365 nil_1_
 366 #line 68 "list.pcc"
 367 #line 68 "list.pcc"
 368 );
 369 rev ((
 370 #line 69 "list.pcc"
 371 a_List<Tuple2<Id, Pat> > *
 372 #line 69 "list.pcc"
 373 )
 374 #line 69 "list.pcc"
 375 nil_1_
 376 #line 69 "list.pcc"
 377 #line 69 "list.pcc"
 378 );
 379 //rev ((List<ConstraintRule>)#[]);
 380 //rev ((List<.[Id, Pats, Determinism]>)#[]);
 381 }
 382 #endif
 383 #line 74 "list.pcc"
 384 /*
 385 ------------------------------- Statistics -------------------------------
 386 Merge matching rules         = yes
 387 Number of DFA nodes merged   = 0
 388 Number of ifs generated      = 0
 389 Number of switches generated = 0
 390 Number of labels             = 0
 391 Number of gotos              = 0
 392 Adaptive matching            = enabled
 393 Fast string matching         = disabled
 394 Inline downcasts             = enabled
 395 --------------------------------------------------------------------------
 396 */