P4C
The P4 Compiler
Loading...
Searching...
No Matches
Logging::FileLog Class Reference

A FileLog is used to redirect the logging output of a visitor pass to a file. More...

#include <filelog.h>

Public Member Functions

 FileLog (int pipe, cstring logName, Mode mode=AUTO)
 
 ~FileLog ()
 Closes the log using close.
 
void close ()
 Untie the file and close the filestream.
 

Static Public Member Functions

static void close (FileLog *&log)
 Closes a FileLog and cleans up.
 

Detailed Description

A FileLog is used to redirect the logging output of a visitor pass to a file.