stage3/datatype_functions.cc
changeset 434 c1278e52bcbc
parent 425 c8e6cf57324a
child 435 82cb6a64a763
equal deleted inserted replaced
433:1355adcdad58 434:c1278e52bcbc
    22  * used in safety-critical situations without a full and competent review.
    22  * used in safety-critical situations without a full and competent review.
    23  */
    23  */
    24 
    24 
    25 #include "datatype_functions.hh"
    25 #include "datatype_functions.hh"
    26 #include "../absyntax_utils/absyntax_utils.hh"
    26 #include "../absyntax_utils/absyntax_utils.hh"
       
    27 
       
    28 
       
    29 
       
    30 
       
    31 
       
    32 elementary_type_c *elementary_type_c::singleton = NULL;
       
    33 
       
    34 const char *elementary_type_c::to_string(symbol_c *symbol) {
       
    35   if (NULL == singleton)    singleton = new elementary_type_c;
       
    36   if (NULL == singleton)    ERROR;
       
    37   const char *res           = (const char *)symbol->accept(*singleton);
       
    38   if (NULL == res) {
       
    39 	  int i = 1;
       
    40   }
       
    41   return res;
       
    42 }
       
    43 
       
    44 
       
    45 
       
    46 
    27 
    47 
    28 /*
    48 /*
    29  * 2.5.1.5.6 Functions of time data types
    49  * 2.5.1.5.6 Functions of time data types
    30  * Table 30 - page 64
    50  * Table 30 - page 64
    31  */
    51  */