| void trace | ( | trace_level | pTraceLevel, | |
| string | message | |||
| ) |
traces a string to the log stream
Prints the string message to the output string log_output if the passed debug level debug_level is greater or equal to the set debug level debug_level.
- Parameters:
-
pTraceLevel the trace_level message the output
Definition at line 117 of file debug.cc.
Referenced by CFGBlock::checkForCyclicLinks(), cleanup(), close_file(), data_extension_main(), error(), final_output(), finish_AST(), footer(), header(), main(), openOutput(), parse_command_line(), print_help(), print_version(), processCFG(), PNapi::PetriNet::reduce(), PNapi::PetriNet::reduce_dead_nodes(), PNapi::PetriNet::reduce_equal_places(), PNapi::PetriNet::reduce_identical_places(), PNapi::PetriNet::reduce_identical_transitions(), PNapi::PetriNet::reduce_remove_initially_marked_places_in_choreographies(), PNapi::PetriNet::reduce_self_loop_places(), PNapi::PetriNet::reduce_self_loop_transitions(), PNapi::PetriNet::reduce_series_places(), PNapi::PetriNet::reduce_series_transitions(), PNapi::PetriNet::reduce_suspicious_transitions(), PNapi::PetriNet::reduce_unused_status_places(), single_output(), split_net(), and trace().
00118 { 00119 if (pTraceLevel <= debug_level) 00120 (*log_output) << message << flush; 00121 }
Here is the caller graph for this function:
