print.h File Reference

#include <cstdint>
#include <iostream>
#include <string>
#include "storm/utility/macros.h"

Include dependency graph for print.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::cli

Macros
#define	STORM_PRINT(message)
	Define the macros that print information to stdout and optionally also log it.
#define	STORM_PRINT_AND_LOG(message)

Functions
std::string	storm::cli::shellQuoteSingleIfNecessary (const std::string &arg)
	For a command-line argument, returns a quoted version with single quotes if it contains unsafe characters.
void	storm::cli::printHeader (std::string const &name, const int argc, const char **argv)
void	storm::cli::printVersion ()
void	storm::cli::printTimeAndMemoryStatistics (uint64_t wallclockMilliseconds)

Macro Definition Documentation

STORM_PRINT

#define STORM_PRINT

(

message

)

Value:

    do {                      \
        std::cout << message; \
        std::cout.flush();    \
    } while (false)

Define the macros that print information to stdout and optionally also log it.

These are CLI-only: library code must not write directly to stdout, so that downstream consumers (e.g. Python bindings) can control output purely through logging.

Definition at line 14 of file print.h.

STORM_PRINT_AND_LOG

#define STORM_PRINT_AND_LOG

(

message

)

Value:

    do {                             \
        STORM_LOG_INFO(message);     \
        STORM_PRINT(message);        \
    } while (false)

Definition at line 20 of file print.h.