Sequence Chart Studio  svn HEAD revision
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Member Functions | Static Public Attributes | Protected Attributes | List of all members
Divine Class Reference

#include <divine.h>

Inheritance diagram for Divine:
Inheritance graph
Collaboration diagram for Divine:
Collaboration graph

Public Member Functions

virtual std::string get_extension () const
 file extension used to distinguish this format More...
 
virtual std::string get_description () const
 human readable description of this format More...
 
virtual PreconditionList get_preconditions (MscPtr msc) const
 Returns a list of preconditions for this format. More...
 
virtual int save_msc (std::ostream &stream, const std::wstring &name, const MscPtr &selected_msc, const std::vector< MscPtr > &msc=std::vector< MscPtr >())
 export MSC document More...
 
void reset (void)
 
- Public Member Functions inherited from Formatter
virtual ~Formatter ()
 
- Public Member Functions inherited from Reporter
 Reporter ()
 
 Reporter (ReportPrinter *printer)
 
virtual ~Reporter ()
 
void set_printer (ReportPrinter *printer)
 
int print_report (TReportSeverity severity, const std::wstring &message)
 
- Public Member Functions inherited from ConfigReader
 ConfigReader ()
 
 ConfigReader (ConfigProvider *config_provider)
 
virtual ~ConfigReader ()
 
void set_config_provider (ConfigProvider *config_provider)
 
ConfigProviderget_config_provider () const
 
long get_config_long (const std::wstring &section, const std::wstring &parameter, long def=0) const
 
float get_config_float (const std::wstring &section, const std::wstring &parameter, float def=0.0f) const
 
std::wstring get_config_string (const std::wstring &section, const std::wstring &parameter, std::wstring def=L"") const
 
- Public Member Functions inherited from ExportFormatter
virtual ~ExportFormatter ()
 

Static Public Attributes

static const std::string node_id_attribute = "di_no_nu"
 

Protected Attributes

std::map< std::wstring, unsigned > m_message_map
 
std::map< std::wstring, unsigned > m_instance_map
 
std::vector< std::stringm_instance_names
 
std::vector< unsigned > m_receive_counts
 

Additional Inherited Members

- Public Types inherited from ExportFormatter
typedef std::vector
< PrerequisiteCheck
PreconditionList
 List of properties that must be satisfied before executing the export. More...
 

Detailed Description

Definition at line 63 of file divine.h.

Member Function Documentation

virtual std::string Divine::get_description ( ) const
inlinevirtual

human readable description of this format

Implements Formatter.

Definition at line 71 of file divine.h.

virtual std::string Divine::get_extension ( ) const
inlinevirtual

file extension used to distinguish this format

Implements Formatter.

Definition at line 68 of file divine.h.

ExportFormatter::PreconditionList Divine::get_preconditions ( MscPtr  msc) const
virtual

Returns a list of preconditions for this format.

Implements ExportFormatter.

Definition at line 29 of file divine.cpp.

References PrerequisiteCheck::PP_RECOMMENDED, PrerequisiteCheck::PP_REQUIRED, and result.

void Divine::reset ( void  )
inline

Definition at line 81 of file divine.h.

Referenced by save_msc().

int Divine::save_msc ( std::ostream &  stream,
const std::wstring &  name,
const MscPtr selected_msc,
const std::vector< MscPtr > &  msc = std::vector<MscPtr>() 
)
virtual

Member Data Documentation

std::map<std::wstring, unsigned> Divine::m_instance_map
protected

Definition at line 94 of file divine.h.

Referenced by save_msc().

std::vector<std::string> Divine::m_instance_names
protected

Definition at line 95 of file divine.h.

Referenced by save_msc().

std::map<std::wstring, unsigned> Divine::m_message_map
protected

Definition at line 93 of file divine.h.

Referenced by save_msc().

std::vector<unsigned> Divine::m_receive_counts
protected

Definition at line 96 of file divine.h.

Referenced by save_msc().

const std::string Divine::node_id_attribute = "di_no_nu"
static

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

SourceForge.net Logo
Generated on Fri Jan 15 2016 16:26:58 for Sequence Chart Studio by  doxygen