stage4/stage4.hh
changeset 594 c8092e909886
parent 580 b6350d9f204d
child 746 c7219a37cc39
equal deleted inserted replaced
593:412780374bd3 594:c8092e909886
    59     void disable_output(void);
    59     void disable_output(void);
    60 
    60 
    61     void indent_right(void);
    61     void indent_right(void);
    62     void indent_left(void);
    62     void indent_left(void);
    63 
    63 
    64     void *print(const char *str);
    64     void *print(          std::string  value);
    65     void *print(std::string str);
    65     void *print(           const char *value);
       
    66     //void *print(               int64_t value); // not required, since we have long long int, or similar
       
    67     //void *print(              uint64_t value); // not required, since we have long long int, or similar
       
    68     void *print(              real64_t value);
       
    69     void *print(                   int value);
       
    70     void *print(              long int value);
       
    71     void *print(         long long int value);
       
    72     void *print(unsigned           int value);
       
    73     void *print(unsigned      long int value);
       
    74     void *print(unsigned long long int value);
    66     
    75     
    67     void *print_integer(int integer);
       
    68     void *print_long_integer(unsigned long l_integer, bool suffix=true);
    76     void *print_long_integer(unsigned long l_integer, bool suffix=true);
    69     void *print_long_long_integer(unsigned long long ll_integer, bool suffix=true);
    77     void *print_long_long_integer(unsigned long long ll_integer, bool suffix=true);
    70 
    78 
    71     void *print_int64(int64_t integer);
       
    72     void *print_uint64(uint64_t integer);
       
    73     void *print_real64(real64_t integer);
       
    74 
    79 
    75     void *printupper(const char *str);
    80     void *printupper(const char *str);
    76     void *printupper(std::string str);
    81     void *printupper(std::string str);
    77 
    82 
    78     void *printlocation(const char *str);
    83     void *printlocation(const char *str);