spot  1.0
Public Member Functions | Protected Attributes | List of all members
job_processor Class Reference

#include <bin/common_finput.hh>

Collaboration diagram for job_processor:
Collaboration graph

Public Member Functions

 job_processor ()
virtual ~job_processor ()
virtual int process_formula (const spot::ltl::formula *f, const char *filename=0, int linenum=0)=0
virtual int process_string (const std::string &str, const char *filename=0, int linenum=0)
virtual int process_stream (std::istream &is, const char *filename)
virtual int process_file (const char *filename)
virtual int run ()

Protected Attributes

bool abort_run

Constructor & Destructor Documentation

job_processor::job_processor ( )
virtual job_processor::~job_processor ( )
inlinevirtual

Member Function Documentation

virtual int job_processor::process_file ( const char *  filename)
virtual
virtual int job_processor::process_formula ( const spot::ltl::formula f,
const char *  filename = 0,
int  linenum = 0 
)
pure virtual
virtual int job_processor::process_stream ( std::istream &  is,
const char *  filename 
)
virtual
virtual int job_processor::process_string ( const std::string &  str,
const char *  filename = 0,
int  linenum = 0 
)
virtual
virtual int job_processor::run ( )
virtual

Member Data Documentation

bool job_processor::abort_run
protected

The documentation for this class was generated from the following file:

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2