Changeset 2037 for to-imperative/trunk/library/List/List.cc

Timestamp:

Jul 27, 2006, 4:45:55 PM (14 years ago)

Author:

orlov

Message:

• Added List.Replicate function.

File:

• to-imperative/trunk/library/List/List.cc (modified) (11 diffs)

to-imperative/trunk/library/List/List.cc

@@ -1 +1 @@
 #include <rf_core.hh>
+#include <refal/Access.hh>
 #include <refal/Apply.hh>
+#include <refal/Compare.hh>
 #include <refal/Arithm.hh>
-#include <refal/Access.hh>
-#include "List.hh"
 
 namespace refal
@@ -16 +16 @@
 
 RF_DECL (Paren_m_Term);
+
+RF_DECL (Zip);
+
+RF_DECL (Map);
+
+RF_DECL (Filter);
+
+RF_DECL (Split);
+
+RF_DECL (Elem_q_);
+
+RF_DECL (Get_m_Elem);
+
+RF_DECL (Foldr);
+
+RF_DECL (Foldr1);
+
+RF_DECL (Concat);
+
+RF_DECL (Paren);
+
+RF_DECL (Reverse);
+
+RF_DECL (Intersperse);
+
+RF_DECL (Nub);
+
+RF_DECL (Replicate);
+
+RF_DECL (Entries);
+
+RF_DECL (Or);
+
+RF_DECL (And);
+
+RF_DECL (Sub);
 
 RF_DECL (Paren_m_Term__0);
@@ -238 +274 @@
 
 RF_FUNC (Elem_q_, (RF_ARG _ve_list, _vt_item;;), RF_VOID)
-  if ((_ve_list.get_len () < 1))
+  if (((_ve_list.get_len () < (1 + 0 + 0))))
   {
     RF_RETFAIL;
@@ -252 +288 @@
       uintptr_t _v_len1 = _v_lsplit__list.get_len ();
       uintptr_t _v_len2 = 1;
-      if ((_v_len1 < _v_len2))
+      if (((_v_len1 < (_v_len2 + (0 * 1)))))
       {
         RF_RETFAIL;
       }
-      uintptr_t _v_len___e__e_tmp_m_Listrf_m_56_m_22 = (_v_len1 - _v_len2);
+      if (((_v_len1 - _v_len2) % 1))
+      {
+        goto _continue1;
+      }
+      uintptr_t _v_len___e__e_tmp_m_Listrf_m_56_m_22 = ((_v_len1 - _v_len2) / 1);
       if (!_vt_item.term_eq (_v_lsplit__list, 0))
       {
         goto _continue1;
       }
-      Expr _ve__e__e_tmp_m_Listrf_m_56_m_22 (_v_lsplit__list, 1, _v_len___e__e_tmp_m_Listrf_m_56_m_22);
+      Expr _ve__e__e_tmp_m_Listrf_m_56_m_22 (_v_lsplit__list, (0 + 1), _v_len___e__e_tmp_m_Listrf_m_56_m_22);
       goto _exit1;
     }
@@ -468 +508 @@
 RF_END
 
+RF_FUNC (Replicate, (RF_ARG _vs_n, _ve_expr;;), (RF_RES _v_res1;;))
+  Expr _v_n__1 (_vs_n);
+  Expr _ve_list (empty);
+  for ( ; ; )
+  {
+    {
+      if (!RF_CALL (Compare::_lt__eq_, (_v_n__1, _c_2), /*void*/))
+      {
+        goto _iter1;
+      }
+      _v_res1 = _ve_list;
+      goto _exit__iter1;
+    }
+  _iter1: {}
+    RF_CALL (Arithm::_m_, (_v_n__1, _c_3), _v_n__1);
+    _ve_list = (_ve_list + _ve_expr);
+  }
+_exit__iter1: {}
+RF_END
+
 RF_FUNC (Entries, (RF_ARG _ve_expr, _ve_source;;), (RF_RES _v_res1, _v_res2;;))
   Expr _vs_num (_c_2);
@@ -558 +618 @@
           goto _block2__branch1;
         }
-        RF_lsplit (_v_list1__1, 0, _ve__e__e_tmp_m_Listrf_m_120_m_20, _v_lsplit__list1__1);
+        RF_lsplit (_v_list1__1, 0, _ve__e__e_tmp_m_Listrf_m_127_m_20, _v_lsplit__list1__1);
         for ( ; ; RF_iter(_v_list1__1)++)
         {
@@ -572 +632 @@
               goto _block2__branch1;
             }
-            uintptr_t _v_len___e__e_tmp_m_Listrf_m_120_m_27 = (_v_len3 - _v_len4);
+            uintptr_t _v_len___e__e_tmp_m_Listrf_m_127_m_27 = (_v_len3 - _v_len4);
             if (!_vt_erm.term_eq (_v_lsplit__list1__1, 0))
             {
               goto _continue1;
             }
-            Expr _ve__e__e_tmp_m_Listrf_m_120_m_27 (_v_lsplit__list1__1, 1, _v_len___e__e_tmp_m_Listrf_m_120_m_27);
+            Expr _ve__e__e_tmp_m_Listrf_m_127_m_27 (_v_lsplit__list1__1, 1, _v_len___e__e_tmp_m_Listrf_m_127_m_27);
             _v_list2__1 = _ve_rest;
             goto _exit1;
@@ -624 +684 @@
           goto _block2__branch1;
         }
-        RF_lsplit (_ve_list2, 0, _ve__e__e_tmp_m_Listrf_m_134_m_20, _v_lsplit__list2);
+        RF_lsplit (_ve_list2, 0, _ve__e__e_tmp_m_Listrf_m_141_m_20, _v_lsplit__list2);
         for ( ; ; RF_iter(_ve_list2)++)
         {
@@ -638 +698 @@
               goto _block2__branch1;
             }
-            uintptr_t _v_len___e__e_tmp_m_Listrf_m_134_m_27 = (_v_len3 - _v_len4);
+            uintptr_t _v_len___e__e_tmp_m_Listrf_m_141_m_27 = (_v_len3 - _v_len4);
             if (!_vt_erm.term_eq (_v_lsplit__list2, 0))
             {
               goto _continue1;
             }
-            Expr _ve__e__e_tmp_m_Listrf_m_134_m_27 (_v_lsplit__list2, 1, _v_len___e__e_tmp_m_Listrf_m_134_m_27);
+            Expr _ve__e__e_tmp_m_Listrf_m_141_m_27 (_v_lsplit__list2, 1, _v_len___e__e_tmp_m_Listrf_m_141_m_27);
             _v_list1__1 = _ve_rest;
             _ve_and = (_ve_and + _vt_erm);
@@ -690 +750 @@
           goto _block2__branch1;
         }
-        RF_lsplit (_ve_list2, 0, _ve__e__e_tmp_m_Listrf_m_148_m_20, _v_lsplit__list2);
+        RF_lsplit (_ve_list2, 0, _ve__e__e_tmp_m_Listrf_m_155_m_20, _v_lsplit__list2);
         for ( ; ; RF_iter(_ve_list2)++)
         {
@@ -704 +764 @@
               goto _block2__branch1;
             }
-            uintptr_t _v_len___e__e_tmp_m_Listrf_m_148_m_27 = (_v_len3 - _v_len4);
+            uintptr_t _v_len___e__e_tmp_m_Listrf_m_155_m_27 = (_v_len3 - _v_len4);
             if (!_vt_erm.term_eq (_v_lsplit__list2, 0))
             {
               goto _continue1;
             }
-            Expr _ve__e__e_tmp_m_Listrf_m_148_m_27 (_v_lsplit__list2, 1, _v_len___e__e_tmp_m_Listrf_m_148_m_27);
+            Expr _ve__e__e_tmp_m_Listrf_m_155_m_27 (_v_lsplit__list2, 1, _v_len___e__e_tmp_m_Listrf_m_155_m_27);
             _v_list1__1 = _ve_rest;
             goto _exit1;