Changeset ff2a33e for libcfa/src/time.cfa

Timestamp:

Jul 14, 2019, 11:43:21 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

ec72861

Parents:

1201d54

Message:

switch from calling abort to using abort stream

File:

• libcfa/src/time.cfa (modified) (6 diffs)

libcfa/src/time.cfa

@@ -10 +10 @@
 // Created On       : Tue Mar 27 13:33:14 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jul 12 12:03:19 2019
-// Update Count     : 59
+// Last Modified On : Sat Jul 13 08:41:55 2019
+// Update Count     : 65
 //
 
 #include "time.hfa"
-#include "iostream.hfa"
+#include "fstream.hfa"
 #include <stdio.h>                                                                              // snprintf
 #include <assert.h>
@@ -52 +52 @@
 
 #ifdef __CFA_DEBUG__
-#define CreateFmt "Attempt to create Time( year=%d (>=1970), month=%d (1-12), day=%d (1-31), hour=%d (0-23), min=%d (0-59), sec=%d (0-60), nsec=%d (0-999_999_999), " \
-        "which exceeds range 00:00:00 UTC, January 1, 1970 to 03:14:07 UTC, January 19, 2038."
+static void tabort( int year, int month, int day, int hour, int min, int sec, int nsec ) {
+        abort | "Attempt to create Time( year=" | year | "(>=1970), month=" | month | "(1-12), day=" | day | "(1-31), hour=" | hour | "(0-23), min=" | min | "(0-59), sec=" | sec
+                  | "(0-60), nsec=" | nsec | "(0-999_999_999), which exceeds range 00:00:00 UTC, January 1, 1970 to 03:14:07 UTC, January 19, 2038.";
+} // tabort
 #endif // __CFA_DEBUG__
 
@@ -63 +65 @@
 #ifdef __CFA_DEBUG__
         if ( month < 1 || 12 < month ) {
-                abort( CreateFmt, year, month, day, hour, (int)min, sec, nsec );
+                tabort( year, month, day, hour, min, sec, nsec );
         } // if
 #endif // __CFA_DEBUG__
@@ -69 +71 @@
 #ifdef __CFA_DEBUG__
         if ( day < 1 || 31 < day ) {
-                abort( CreateFmt, year, month, day, hour, (int)min, sec, nsec );
+                tabort( year, month, day, hour, min, sec, nsec );
         } // if
 #endif // __CFA_DEBUG__
@@ -79 +81 @@
 #ifdef __CFA_DEBUG__
         if ( epochsec == (time_t)-1 ) {
-                abort( CreateFmt, year, month, day, hour, (int)min, sec, nsec );
+                tabort( year, month, day, hour, min, sec, nsec );
         } // if
 #endif // __CFA_DEBUG__
@@ -85 +87 @@
 #ifdef __CFA_DEBUG__
         if ( tv > 2147483647LL * TIMEGRAN ) {                           // between 00:00:00 UTC, January 1, 1970 and 03:14:07 UTC, January 19, 2038.
-                abort( CreateFmt, year, month, day, hour, (int)min, sec, nsec );
+                tabort( year, month, day, hour, min, sec, nsec );
         } // if
 #endif // __CFA_DEBUG__