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

#include <searcher.h>

Collaboration diagram for SearcherResult:
Collaboration graph

Public Member Functions

 SearcherResult (enum TReportSeverity type, std::wstring msg, std::list< MscPtr > examples)
 
enum TReportSeverity get_msg_type ()
 
std::wstring get_msg ()
 
std::list< MscPtrget_counterexamples ()
 

Private Attributes

enum TReportSeverity msg_type
 
std::wstring msg
 
std::list< MscPtrcounterexamples
 
volatile boost::uint32_t m_counter
 Number of references to this object. More...
 

Friends

void intrusive_ptr_add_ref (const SearcherResult *ptr)
 
void intrusive_ptr_release (const SearcherResult *ptr)
 

Detailed Description

Definition at line 37 of file searcher.h.

Constructor & Destructor Documentation

SearcherResult::SearcherResult ( enum TReportSeverity  type,
std::wstring  msg,
std::list< MscPtr examples 
)
inline

Definition at line 53 of file searcher.h.

References counterexamples, m_counter, msg, and msg_type.

Member Function Documentation

std::list<MscPtr> SearcherResult::get_counterexamples ( )
inline

Definition at line 71 of file searcher.h.

References counterexamples.

std::wstring SearcherResult::get_msg ( )
inline

Definition at line 66 of file searcher.h.

References msg.

enum TReportSeverity SearcherResult::get_msg_type ( )
inline

Definition at line 61 of file searcher.h.

References msg_type.

Friends And Related Function Documentation

void intrusive_ptr_add_ref ( const SearcherResult ptr)
friend

Definition at line 77 of file searcher.h.

void intrusive_ptr_release ( const SearcherResult ptr)
friend

Definition at line 91 of file searcher.h.

Member Data Documentation

std::list<MscPtr> SearcherResult::counterexamples
private

Definition at line 41 of file searcher.h.

Referenced by get_counterexamples(), and SearcherResult().

volatile boost::uint32_t SearcherResult::m_counter
mutableprivate

Number of references to this object.

Definition at line 45 of file searcher.h.

Referenced by intrusive_ptr_add_ref(), intrusive_ptr_release(), and SearcherResult().

std::wstring SearcherResult::msg
private

Definition at line 40 of file searcher.h.

Referenced by get_msg(), and SearcherResult().

enum TReportSeverity SearcherResult::msg_type
private

Definition at line 39 of file searcher.h.

Referenced by get_msg_type(), and SearcherResult().


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

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