Changeset 679

Timestamp:

Apr 27, 2003, 1:33:35 AM (18 years ago)

Author:

orlov

Message:

• Some additional tests.

Location:

to-imperative/trunk/samples/Convert

Files:

• to_int.cc (modified) (1 diff)
• to_int.rf (modified) (1 diff)

to-imperative/trunk/samples/Convert/to_int.cc

@@ -19 +19 @@
 
 RF_FUNC (Main, (), (RF_RES _v_res1))
+  Expr _v_To_m_Int1;
+  if (RF_CALL (Convert::To_m_Int, (ShortInt::create_expr(32) + ShortInt::create_expr(6)), (_v_To_m_Int1)))
   {
+    RF_CALL (StdIO::PrintLN, (_v_To_m_Int1), ());
+    Expr _v_To_m_Int2;
+    if (RF_CALL (Convert::To_m_Int, (ShortInt::create_expr(-6) + ShortInt::create_expr(36)), (_v_To_m_Int2)))
     {
-      Expr _v_To_m_Int1;
-      if (RF_CALL (Convert::To_m_Int, (ShortInt::create_expr(+32) + ShortInt::create_expr(6)), (_v_To_m_Int1)))
+      RF_CALL (StdIO::PrintLN, (_v_To_m_Int2), ());
+      Expr _v_To_m_Int3;
+      if (RF_CALL (Convert::To_m_Int, (Char::create_expr("-12") + ShortInt::create_expr(34)), (_v_To_m_Int3)))
       {
-        RF_CALL (StdIO::PrintLN, (_v_To_m_Int1), ());
-        Expr _v_To_m_Int2;
-        if (RF_CALL (Convert::To_m_Int, (ShortInt::create_expr(-6) + ShortInt::create_expr(36)), (_v_To_m_Int2)))
+        RF_CALL (StdIO::PrintLN, (_v_To_m_Int3), ());
+        Expr _v_To_m_Int4;
+        if (RF_CALL (Convert::To_m_Int, (Char::create_expr("+326")), (_v_To_m_Int4)))
         {
-          RF_CALL (StdIO::PrintLN, (_v_To_m_Int2), ());
-          Expr _v_To_m_Int3;
-          if (RF_CALL (Convert::To_m_Int, (Char::create_expr("-") + Char::create_expr("1") + Char::create_expr("2") + ShortInt::create_expr(34)), (_v_To_m_Int3)))
+          RF_CALL (StdIO::PrintLN, (_v_To_m_Int4), ());
+          Expr _v_To_m_Int5;
+          if (RF_CALL (Convert::To_m_Int, (ShortInt::create_expr(0) + Char::create_expr("0123") + ShortInt::create_expr(0) + Char::create_expr("0678")), (_v_To_m_Int5)))
           {
-            RF_CALL (StdIO::PrintLN, (_v_To_m_Int3), ());
-            Expr _v_To_m_Int4;
-            if (RF_CALL (Convert::To_m_Int, (Char::create_expr("+") + Char::create_expr("3") + Char::create_expr("2") + Char::create_expr("6")), (_v_To_m_Int4)))
-            {
-              _v_res1 = empty;
-              RF_TAILCALL (StdIO::PrintLN, (_v_To_m_Int4), ());
-            }
-            goto LBranch1;
+            _v_res1 = empty;
+            RF_TAILCALL (StdIO::PrintLN, (_v_To_m_Int5), ());
           }
-          goto LBranch1;
+          error ("Unexpected fail");
         }
-        goto LBranch1;
+        error ("Unexpected fail");
       }
-      goto LBranch1;
+      error ("Unexpected fail");
     }
-  LBranch1: {}
     error ("Unexpected fail");
   }
-LBlock1: {}
-  return true;
+  error ("Unexpected fail");
 RF_END
 

to-imperative/trunk/samples/Convert/to_int.rf

@@ -2 +2 @@
 $use StdIO;
 
-Main = {
-         <PrintLN <To-Int +32 006>>,
-         <PrintLN <To-Int -6 36>>,
-         <PrintLN <To-Int '-12' 34>>,
-         <PrintLN <To-Int '+326'>>;
-       };
+Main =
+  <PrintLN <To-Int +32 006>>,
+  <PrintLN <To-Int -6 36>>,
+  <PrintLN <To-Int '-12' 34>>,
+  <PrintLN <To-Int '+326'>>,
+  <PrintLN <To-Int 0 '0123' 0 '0678'>>;