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...


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 

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 ( )

Definition at line 71 of file searcher.h.

References counterexamples.

std::wstring SearcherResult::get_msg ( )

Definition at line 66 of file searcher.h.

References msg.

enum TReportSeverity SearcherResult::get_msg_type ( )

Definition at line 61 of file searcher.h.

References msg_type.

Friends And Related Function Documentation

void intrusive_ptr_add_ref ( const SearcherResult ptr)

Definition at line 77 of file searcher.h.

void intrusive_ptr_release ( const SearcherResult ptr)

Definition at line 91 of file searcher.h.

Member Data Documentation

std::list<MscPtr> SearcherResult::counterexamples

Definition at line 41 of file searcher.h.

Referenced by get_counterexamples(), and SearcherResult().

volatile boost::uint32_t SearcherResult::m_counter

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

Definition at line 40 of file searcher.h.

Referenced by get_msg(), and SearcherResult().

enum TReportSeverity SearcherResult::msg_type

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: Logo
Generated on Fri Jan 15 2016 16:26:59 for Sequence Chart Studio by  doxygen