prop-src/listimpl.h

   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 "listimpl.ph".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #line 1 "listimpl.ph"
   8 #ifndef list_operations_implementations_h
   9 #define list_operations_himplementations_
  10
  11 #include "basics.h"
  12
  13 //#pragma interface
  14
  15 template <class T>
  16    int length (
  17 #line 9 "listimpl.ph"
  18 a_List<T> *
  19 #line 9 "listimpl.ph"
  20  l)
  21    {  int len = 0;
  22
  23 #line 12 "listimpl.ph"
  24 {
  25    for (;;) {
  26       if (l) {
  27 #line 12 "listimpl.ph"
  28         l = l->_2; len++;
  29 #line 12 "listimpl.ph"
  30       } else { goto L1; }
  31    }
  32    L1:;
  33 }
  34 #line 13 "listimpl.ph"
  35 #line 13 "listimpl.ph"
  36
  37       return len;
  38    }
  39
  40 template <class T>
  41
  42 #line 18 "listimpl.ph"
  43 a_List<T> *
  44 #line 18 "listimpl.ph"
  45  append (a_List<T> *
  46 #line 18 "listimpl.ph"
  47  a, a_List<T> *
  48 #line 18 "listimpl.ph"
  49  b)
  50    {
  51 #line 21 "listimpl.ph"
  52 {
  53    if (a) {
  54 #line 21 "listimpl.ph"
  55      return
  56 #line 21 "listimpl.ph"
  57 #line 21 "listimpl.ph"
  58       list_1_(a->_1,append(a->_2,b))
  59 #line 21 "listimpl.ph"
  60 #line 21 "listimpl.ph"
  61       ;
  62 #line 21 "listimpl.ph"
  63    } else {
  64 #line 20 "listimpl.ph"
  65      return b;
  66 #line 20 "listimpl.ph"
  67    }
  68 }
  69 #line 22 "listimpl.ph"
  70 #line 22 "listimpl.ph"
  71
  72    }
  73
  74 template <class T>
  75
  76 #line 26 "listimpl.ph"
  77 a_List<T> *
  78 #line 26 "listimpl.ph"
  79  rev (a_List<T> *
  80 #line 26 "listimpl.ph"
  81  a)
  82    {  a_List<T> *
  83 #line 27 "listimpl.ph"
  84  b =
  85 #line 27 "listimpl.ph"
  86 nil_1_
  87 #line 27 "listimpl.ph"
  88 #line 27 "listimpl.ph"
  89 ;
  90
  91 #line 28 "listimpl.ph"
  92 #line 29 "listimpl.ph"
  93 {
  94    for (;;) {
  95       if (a) {
  96 #line 29 "listimpl.ph"
  97         b =
  98 #line 29 "listimpl.ph"
  99 #line 29 "listimpl.ph"
 100          list_1_(a->_1,b)
 101 #line 29 "listimpl.ph"
 102 #line 29 "listimpl.ph"
 103          ; a = a->_2;
 104 #line 29 "listimpl.ph"
 105       } else { goto L2; }
 106    }
 107    L2:;
 108 }
 109 #line 30 "listimpl.ph"
 110 #line 30 "listimpl.ph"
 111
 112       return b;
 113    }
 114
 115
 116 #endif
 117 #line 36 "listimpl.ph"
 118 /*
 119 ------------------------------- Statistics -------------------------------
 120 Merge matching rules         = yes
 121 Number of DFA nodes merged   = 2
 122 Number of ifs generated      = 3
 123 Number of switches generated = 0
 124 Number of labels             = 0
 125 Number of gotos              = 0
 126 Adaptive matching            = enabled
 127 Fast string matching         = disabled
 128 Inline downcasts             = enabled
 129 --------------------------------------------------------------------------
 130 */