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

saves internal information for algorithm More...

#include <membership_base.h>

Collaboration diagram for MembershipContext:
Collaboration graph

Public Member Functions

 MembershipContext ()
 
void set_mem (MembershipAlg *m)
 
MembershipAlgget_mem ()
 
const int get_max_id () const
 
void increase_max_id ()
 
void set_bmsc (BMscPtr b)
 
const BMscPtr get_bmsc () const
 
void set_specification (MscPtr m)
 
const MscPtr get_specification () const
 
void set_processed_ref_node (ReferenceNodePtr node)
 
ReferenceNodePtr get_processed_ref_node ()
 
void set_focused_instances (std::vector< std::wstring > instances)
 
const std::vector< std::wstring > get_focused_instances () const
 
bool contain_focused_instances (std::wstring instance)
 find name of the instance among fosuces instances More...
 
std::map< CoregionAreaPtr,
SnapshotContextPtr
get_snapshots ()
 
SnapshotContextPtr find_snapshot (CoregionAreaPtr cor)
 
void add_snapshot (CoregionAreaPtr cor, SnapshotContextPtr snap)
 
const std::set< MessageEvent * > get_attributed_events () const
 
void add_attributed_event (MessageEvent *e)
 add event to attributed_events More...
 
void remove_attributed_event (MessageEvent *e)
 
void clear_attributed_events ()
 removes event attribute "indentification" and clear attributed_events More...
 
const std::set< ConfigurationPtrfind_checked_conf (ReferenceNodePtr ref_node)
 
void add_checked_conf (ReferenceNodePtr ref_node, ConfigurationPtr conf)
 
void add_top_time_ref (TimeRelationRefNodePtr rel, ConfigurationPtr conf)
 
ConfigurationPtr find_top_time_ref (TimeRelationRefNodePtr rel)
 
void add_bottom_time_ref (TimeRelationRefNodePtr rel, ConfigurationPtr conf)
 
ConfigurationPtr find_bottom_time_ref (TimeRelationRefNodePtr rel)
 
void add_checked_ordering (CoregionAreaPtr cor, CoregionOrderingPtr ordering)
 
std::vector< CoregionOrderingPtrfind_checked_ordering (CoregionAreaPtr cor)
 
void add_coregion_ordering (CoregionAreaPtr cor, CoregionOrderingPtr ordering)
 
CoregionOrderingPtr find_coregion_ordering (CoregionAreaPtr cor)
 
void set_time_matrix (BMscIntervalSetComponentMatrix *matrix)
 
BMscIntervalSetComponentMatrixget_time_matrix ()
 
void add_not_full_covered_interval (TimeConstraintPtr inter, HMscNodePtr node)
 
const std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
get_not_full_covered_intervals ()
 
void add_not_covered_interval (TimeConstraintPtr inter, HMscNodePtr node)
 
const std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
get_not_covered_intervals ()
 
void push_path (HMscNodePtr node)
 
HMscNodePtr top_pop_path ()
 
HMscNodePtr top_path ()
 
std::stack< HMscNodePtrget_path ()
 
void set_path (std::stack< HMscNodePtr > path)
 
int get_path_size ()
 
void print_msc_path (bool value)
 
bool get_print_path ()
 
void spec_contain_coregion (bool value=true)
 
bool get_spec_contain_coregion ()
 
void update_result ()
 
MembershipResultPtr get_result ()
 
void add_relative_time (MessageEvent *e, TimeRelationEventPtrList list, MessageEvent *node_e)
 
std::stack< std::map
< TimeRelationEventPtr,
std::vector
< MembershipTimeRelationPtr > > > 
get_relative_time ()
 
void add_absolute_time (MessageEvent *e, AbsoluteTimePtrList list, HMscNodePtr ref_node)
 
std::stack< std::map
< MessageEvent
*, MembershipAbsoluteTimePtrList > > 
get_absolute_time ()
 
void add_start_ref_node_time (TimeRelationRefNodePtr rel, std::set< MessageEvent * > event_set)
 
void add_stop_ref_node_time (TimeRelationRefNodePtr rel, std::set< MessageEvent * > event_set)
 
std::stack< std::vector
< TimeRelationRefNodePtr > > 
get_ref_node_time_stack ()
 
std::map
< TimeRelationRefNodePtr,
std::vector
< MembershipTimeRelationPtr > > 
get_ref_node_time ()
 
void push_time_stacks ()
 
void pop_time_stacks ()
 
enum checkingTimeMode get_checking_time_mode ()
 
void set_checking_time_mode (enum checkingTimeMode mode)
 
enum DiffType get_diff_type ()
 
void set_diff_type (enum DiffType type)
 
MembershipHeapPtr get_heap ()
 
unsigned int get_total_diff_amount ()
 
void set_total_diff_amount (unsigned int diff_amount)
 
void set_hmsc_diff (bool v)
 
bool get_hmsc_diff ()
 
void set_searching_end_node (bool v)
 
bool get_searching_end_node ()
 

Private Attributes

MembershipAlgmem
 
int max_id
 enable print_report More...
 
BMscPtr bmsc
 identification for receive events More...
 
MscPtr msc
 bmsc which represents the flow More...
 
ReferenceNodePtr processed_ref_node
 msc which represents the specification More...
 
std::vector< std::wstring > focused_instances
 currently processed reference node More...
 
std::map< CoregionAreaPtr,
SnapshotContextPtr
snapshots
 name of instances on which a user is focused on More...
 
std::set< MessageEvent * > attributed_events
 snapshots of context for each coregion More...
 
std::map< ReferenceNodePtr,
std::set< ConfigurationPtr > > 
checked_conf
 events with attribute More...
 
std::map
< TimeRelationRefNodePtr,
ConfigurationPtr
top_time_references
 map of reference nodes and configurations which were checked More...
 
std::map
< TimeRelationRefNodePtr,
ConfigurationPtr
bottom_time_references
 the start of time interval is connected on top More...
 
std::map< CoregionAreaPtr,
std::vector
< CoregionOrderingPtr > > 
checked_orderings
 the start of time interval is connected on bottom More...
 
std::map< CoregionAreaPtr,
CoregionOrderingPtr
coregion_ordering
 checked possibilities of coregion ordering More...
 
BMscIntervalSetComponentMatrixtime_matrix
 save ordering of coregion events in appropriate coregion More...
 
std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
not_covered_intervals
 matrix of all time intervals among events in bmsc More...
 
std::vector< std::pair
< TimeConstraintPtr,
HMscNodePtr > > 
not_full_covered_intervals
 intervals in specification which are not satisfied More...
 
std::stack< HMscNodePtrpath
 intervals in specification which are not full covered More...
 
bool print_path
 store information about the path if the flow meets the specification More...
 
bool contain_spec_coregion
 store whether the path will be printed More...
 
MembershipResultPtr result
 store whether the specification contains coregion More...
 
std::stack< std::map
< TimeRelationEventPtr,
std::vector
< MembershipTimeRelationPtr > > > 
relative_time
 
std::stack< std::vector
< TimeRelationRefNodePtr > > 
ref_node_time_stack
 
std::map
< TimeRelationRefNodePtr,
std::vector
< MembershipTimeRelationPtr > > 
ref_node_time
 
std::stack< std::map
< MessageEvent
*, MembershipAbsoluteTimePtrList > > 
absolute_time
 key is a time relation in hmsc specification and set of MembershipTimeRelationPtr which hold possible events for the comparison. More...
 
enum checkingTimeMode checking_time_mode
 
MembershipHeapPtr diff_heap
 
unsigned int total_diff_amount
 
enum DiffType diff_type
 
bool hmsc_diff
 
bool searching_end_node
 

Detailed Description

saves internal information for algorithm

Definition at line 379 of file membership_base.h.

Constructor & Destructor Documentation

MembershipContext::MembershipContext ( )
inline

Member Function Documentation

void MembershipContext::add_absolute_time ( MessageEvent e,
AbsoluteTimePtrList  list,
HMscNodePtr  ref_node 
)
inline

Definition at line 815 of file membership_base.h.

References absolute_time.

Referenced by analyze_time_constraints().

void MembershipContext::add_attributed_event ( MessageEvent e)
inline
void MembershipContext::add_bottom_time_ref ( TimeRelationRefNodePtr  rel,
ConfigurationPtr  conf 
)
inline

Definition at line 583 of file membership_base.h.

References bottom_time_references.

void MembershipContext::add_checked_conf ( ReferenceNodePtr  ref_node,
ConfigurationPtr  conf 
)
inline

Definition at line 562 of file membership_base.h.

References checked_conf.

Referenced by check_node().

void MembershipContext::add_checked_ordering ( CoregionAreaPtr  cor,
CoregionOrderingPtr  ordering 
)
inline

Definition at line 599 of file membership_base.h.

References checked_orderings.

Referenced by check_coregion_attributes().

void MembershipContext::add_coregion_ordering ( CoregionAreaPtr  cor,
CoregionOrderingPtr  ordering 
)
inline

Definition at line 609 of file membership_base.h.

References coregion_ordering.

Referenced by coregion_strict().

void MembershipContext::add_not_covered_interval ( TimeConstraintPtr  inter,
HMscNodePtr  node 
)
inline

Definition at line 645 of file membership_base.h.

References not_covered_intervals.

Referenced by check_time_absolute_mode(), and check_time_relative_mode().

void MembershipContext::add_not_full_covered_interval ( TimeConstraintPtr  inter,
HMscNodePtr  node 
)
inline

Definition at line 635 of file membership_base.h.

References not_full_covered_intervals.

Referenced by check_time_absolute_mode(), and check_time_relative_mode().

void MembershipContext::add_relative_time ( MessageEvent e,
TimeRelationEventPtrList  list,
MessageEvent node_e 
)
inline
void MembershipContext::add_snapshot ( CoregionAreaPtr  cor,
SnapshotContextPtr  snap 
)
inline

Definition at line 525 of file membership_base.h.

References snapshots.

Referenced by coregion_strict().

void MembershipContext::add_start_ref_node_time ( TimeRelationRefNodePtr  rel,
std::set< MessageEvent * >  event_set 
)
inline

Definition at line 848 of file membership_base.h.

References ref_node_time.

Referenced by check_node_ref_time().

void MembershipContext::add_stop_ref_node_time ( TimeRelationRefNodePtr  rel,
std::set< MessageEvent * >  event_set 
)
inline

Definition at line 871 of file membership_base.h.

References ref_node_time.

Referenced by check_node_ref_time().

void MembershipContext::add_top_time_ref ( TimeRelationRefNodePtr  rel,
ConfigurationPtr  conf 
)
inline

Definition at line 567 of file membership_base.h.

References top_time_references.

void MembershipContext::clear_attributed_events ( )
inline

removes event attribute "indentification" and clear attributed_events

Definition at line 548 of file membership_base.h.

References attributed_events.

Referenced by bmsc_bmsc_diff(), check_branch(), check_end_node(), MembershipAlg::find_flow(), and MembershipAlg::hmsc_diff_result().

bool MembershipContext::contain_focused_instances ( std::wstring  instance)
inline

find name of the instance among fosuces instances

Definition at line 500 of file membership_base.h.

References focused_instances.

Referenced by check_instance(), compare_events_attribute(), is_node_null(), and Configuration::is_null().

ConfigurationPtr MembershipContext::find_bottom_time_ref ( TimeRelationRefNodePtr  rel)
inline

Definition at line 588 of file membership_base.h.

References bottom_time_references.

const std::set<ConfigurationPtr> MembershipContext::find_checked_conf ( ReferenceNodePtr  ref_node)
inline

Definition at line 557 of file membership_base.h.

References checked_conf.

Referenced by check_node().

std::vector<CoregionOrderingPtr> MembershipContext::find_checked_ordering ( CoregionAreaPtr  cor)
inline

Definition at line 604 of file membership_base.h.

References checked_orderings.

Referenced by coregion_strict().

CoregionOrderingPtr MembershipContext::find_coregion_ordering ( CoregionAreaPtr  cor)
inline
SnapshotContextPtr MembershipContext::find_snapshot ( CoregionAreaPtr  cor)
inline

Definition at line 514 of file membership_base.h.

References snapshots.

Referenced by coregion_strict(), and coregion_strict_receive_ordering().

ConfigurationPtr MembershipContext::find_top_time_ref ( TimeRelationRefNodePtr  rel)
inline

Definition at line 572 of file membership_base.h.

References top_time_references.

std::stack<std::map<MessageEvent*, MembershipAbsoluteTimePtrList> > MembershipContext::get_absolute_time ( )
inline

Definition at line 843 of file membership_base.h.

References absolute_time.

Referenced by merge_absolute_time_constraints().

const std::set<MessageEvent*> MembershipContext::get_attributed_events ( ) const
inline

Definition at line 530 of file membership_base.h.

References attributed_events.

Referenced by check_end_node().

const BMscPtr MembershipContext::get_bmsc ( ) const
inline
enum checkingTimeMode MembershipContext::get_checking_time_mode ( )
inline

Definition at line 927 of file membership_base.h.

References checking_time_mode.

Referenced by analyze_time_constraints(), check_time(), and compare_absolut_position().

enum DiffType MembershipContext::get_diff_type ( )
inline

Definition at line 937 of file membership_base.h.

References diff_type.

Referenced by compare_events(), event_comparison(), and instance_diff().

const std::vector<std::wstring> MembershipContext::get_focused_instances ( ) const
inline
MembershipHeapPtr MembershipContext::get_heap ( )
inline

Definition at line 947 of file membership_base.h.

References diff_heap.

Referenced by check_end_node_II(), check_node(), and search_hmsc().

bool MembershipContext::get_hmsc_diff ( )
inline

Definition at line 967 of file membership_base.h.

References hmsc_diff.

Referenced by check_branch(), MembershipAlg::find_flow(), instance_diff(), and search_hmsc().

const int MembershipContext::get_max_id ( ) const
inline

Definition at line 449 of file membership_base.h.

References max_id.

Referenced by set_identification().

MembershipAlg* MembershipContext::get_mem ( )
inline
const std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipContext::get_not_covered_intervals ( )
inline

Definition at line 650 of file membership_base.h.

References not_covered_intervals.

Referenced by store_result().

const std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipContext::get_not_full_covered_intervals ( )
inline

Definition at line 640 of file membership_base.h.

References not_full_covered_intervals.

Referenced by store_result().

std::stack<HMscNodePtr> MembershipContext::get_path ( )
inline

Definition at line 672 of file membership_base.h.

References path.

Referenced by check_end_node_II(), and check_node().

int MembershipContext::get_path_size ( )
inline

Definition at line 682 of file membership_base.h.

References path.

bool MembershipContext::get_print_path ( )
inline

Definition at line 692 of file membership_base.h.

References print_path.

Referenced by make_result().

ReferenceNodePtr MembershipContext::get_processed_ref_node ( )
inline

Definition at line 484 of file membership_base.h.

References processed_ref_node.

Referenced by analyze_time_constraints().

std::map<TimeRelationRefNodePtr, std::vector<MembershipTimeRelationPtr> > MembershipContext::get_ref_node_time ( )
inline
std::stack<std::vector<TimeRelationRefNodePtr> > MembershipContext::get_ref_node_time_stack ( )
inline

Definition at line 883 of file membership_base.h.

References ref_node_time_stack.

std::stack<std::map<TimeRelationEventPtr, std::vector<MembershipTimeRelationPtr> > > MembershipContext::get_relative_time ( )
inline

Definition at line 809 of file membership_base.h.

References relative_time.

Referenced by merge_relative_time_constraints().

MembershipResultPtr MembershipContext::get_result ( )
inline
bool MembershipContext::get_searching_end_node ( )
inline

Definition at line 977 of file membership_base.h.

References searching_end_node.

Referenced by instance_diff().

std::map<CoregionAreaPtr, SnapshotContextPtr> MembershipContext::get_snapshots ( )
inline

Definition at line 509 of file membership_base.h.

References snapshots.

bool MembershipContext::get_spec_contain_coregion ( )
inline
const MscPtr MembershipContext::get_specification ( ) const
inline

Definition at line 474 of file membership_base.h.

References msc.

Referenced by diff_identification_settings2(), and MembershipAlg::hmsc_diff_result().

BMscIntervalSetComponentMatrix* MembershipContext::get_time_matrix ( )
inline

Definition at line 630 of file membership_base.h.

References time_matrix.

Referenced by check_time_relative_mode(), and compare_absolut_position().

unsigned int MembershipContext::get_total_diff_amount ( )
inline

Definition at line 952 of file membership_base.h.

References total_diff_amount.

Referenced by check_end_node_II(), and check_node().

void MembershipContext::increase_max_id ( )
inline

Definition at line 454 of file membership_base.h.

References max_id.

Referenced by set_identification().

void MembershipContext::pop_time_stacks ( )
inline

Definition at line 904 of file membership_base.h.

References absolute_time, ref_node_time, ref_node_time_stack, and relative_time.

Referenced by check_branch(), and check_end_node_II().

void MembershipContext::print_msc_path ( bool  value)
inline

Definition at line 687 of file membership_base.h.

References print_path.

Referenced by search_bmsc().

void MembershipContext::push_path ( HMscNodePtr  node)
inline

Definition at line 655 of file membership_base.h.

References path.

Referenced by check_branch(), and search_hmsc().

void MembershipContext::push_time_stacks ( )
inline

Definition at line 893 of file membership_base.h.

References absolute_time, ref_node_time_stack, and relative_time.

Referenced by check_branch().

void MembershipContext::remove_attributed_event ( MessageEvent e)
inline

Definition at line 541 of file membership_base.h.

References attributed_events, and MscElement::remove_attribute().

Referenced by remove_added_message().

void MembershipContext::set_bmsc ( BMscPtr  b)
inline

Definition at line 459 of file membership_base.h.

References bmsc.

Referenced by bmsc_bmsc_diff(), MembershipAlg::find_flow(), and MembershipAlg::hmsc_diff_result().

void MembershipContext::set_checking_time_mode ( enum checkingTimeMode  mode)
inline

Definition at line 932 of file membership_base.h.

References checking_time_mode.

Referenced by analyze_time_constraints().

void MembershipContext::set_diff_type ( enum DiffType  type)
inline

Definition at line 942 of file membership_base.h.

References diff_type.

Referenced by MembershipAlg::diff().

void MembershipContext::set_focused_instances ( std::vector< std::wstring >  instances)
inline

Definition at line 489 of file membership_base.h.

References focused_instances.

Referenced by MembershipAlg::find_flow().

void MembershipContext::set_hmsc_diff ( bool  v)
inline

Definition at line 962 of file membership_base.h.

References hmsc_diff.

Referenced by search_hmsc().

void MembershipContext::set_mem ( MembershipAlg m)
inline

Definition at line 439 of file membership_base.h.

References mem.

Referenced by MembershipAlg::find_flow(), and MembershipAlg::hmsc_diff_result().

void MembershipContext::set_path ( std::stack< HMscNodePtr path)
inline

Definition at line 677 of file membership_base.h.

References path.

Referenced by search_hmsc().

void MembershipContext::set_processed_ref_node ( ReferenceNodePtr  node)
inline

Definition at line 479 of file membership_base.h.

References processed_ref_node.

Referenced by check_node().

void MembershipContext::set_searching_end_node ( bool  v)
inline

Definition at line 972 of file membership_base.h.

References searching_end_node.

Referenced by check_end_node().

void MembershipContext::set_specification ( MscPtr  m)
inline

Definition at line 469 of file membership_base.h.

References msc.

Referenced by bmsc_bmsc_diff(), and search_hmsc().

void MembershipContext::set_time_matrix ( BMscIntervalSetComponentMatrix matrix)
inline

Definition at line 625 of file membership_base.h.

References time_matrix.

Referenced by check_time_relative_mode().

void MembershipContext::set_total_diff_amount ( unsigned int  diff_amount)
inline

Definition at line 957 of file membership_base.h.

References total_diff_amount.

Referenced by check_end_node_II(), check_node(), and search_hmsc().

void MembershipContext::spec_contain_coregion ( bool  value = true)
inline

Definition at line 697 of file membership_base.h.

References contain_spec_coregion.

Referenced by bmsc_bmsc_diff(), coregion_strict(), get_successor(), and instance_diff().

HMscNodePtr MembershipContext::top_path ( )
inline

Definition at line 667 of file membership_base.h.

References path.

HMscNodePtr MembershipContext::top_pop_path ( )
inline

Definition at line 660 of file membership_base.h.

References path.

Referenced by check_branch(), check_end_node_II(), and update_result().

void MembershipContext::update_result ( )
inline

Definition at line 708 of file membership_base.h.

References not_covered_intervals, not_full_covered_intervals, path, result, and top_pop_path().

Referenced by store_result().

Member Data Documentation

std::stack<std::map<MessageEvent*, MembershipAbsoluteTimePtrList> > MembershipContext::absolute_time
private

key is a time relation in hmsc specification and set of MembershipTimeRelationPtr which hold possible events for the comparison.

Definition at line 409 of file membership_base.h.

Referenced by add_absolute_time(), get_absolute_time(), pop_time_stacks(), and push_time_stacks().

std::set<MessageEvent*> MembershipContext::attributed_events
private

snapshots of context for each coregion

Definition at line 390 of file membership_base.h.

Referenced by add_attributed_event(), clear_attributed_events(), get_attributed_events(), and remove_attributed_event().

BMscPtr MembershipContext::bmsc
private

identification for receive events

Definition at line 384 of file membership_base.h.

Referenced by get_bmsc(), MembershipContext(), and set_bmsc().

std::map<TimeRelationRefNodePtr, ConfigurationPtr> MembershipContext::bottom_time_references
private

the start of time interval is connected on top

Definition at line 393 of file membership_base.h.

Referenced by add_bottom_time_ref(), and find_bottom_time_ref().

std::map<ReferenceNodePtr, std::set<ConfigurationPtr> > MembershipContext::checked_conf
private

events with attribute

Definition at line 391 of file membership_base.h.

Referenced by add_checked_conf(), and find_checked_conf().

std::map<CoregionAreaPtr, std::vector<CoregionOrderingPtr> > MembershipContext::checked_orderings
private

the start of time interval is connected on bottom

Definition at line 394 of file membership_base.h.

Referenced by add_checked_ordering(), and find_checked_ordering().

enum checkingTimeMode MembershipContext::checking_time_mode
private
bool MembershipContext::contain_spec_coregion
private

store whether the path will be printed

Definition at line 401 of file membership_base.h.

Referenced by get_spec_contain_coregion(), MembershipContext(), and spec_contain_coregion().

std::map<CoregionAreaPtr, CoregionOrderingPtr> MembershipContext::coregion_ordering
private

checked possibilities of coregion ordering

Definition at line 395 of file membership_base.h.

Referenced by add_coregion_ordering(), and find_coregion_ordering().

MembershipHeapPtr MembershipContext::diff_heap
private

Definition at line 412 of file membership_base.h.

Referenced by get_heap(), and MembershipContext().

enum DiffType MembershipContext::diff_type
private

Definition at line 414 of file membership_base.h.

Referenced by get_diff_type(), MembershipContext(), and set_diff_type().

std::vector<std::wstring> MembershipContext::focused_instances
private

currently processed reference node

Definition at line 388 of file membership_base.h.

Referenced by contain_focused_instances(), get_focused_instances(), and set_focused_instances().

bool MembershipContext::hmsc_diff
private

Definition at line 415 of file membership_base.h.

Referenced by get_hmsc_diff(), MembershipContext(), and set_hmsc_diff().

int MembershipContext::max_id
private

enable print_report

Definition at line 383 of file membership_base.h.

Referenced by get_max_id(), increase_max_id(), and MembershipContext().

MembershipAlg* MembershipContext::mem
private

Definition at line 382 of file membership_base.h.

Referenced by get_mem(), and set_mem().

MscPtr MembershipContext::msc
private

bmsc which represents the flow

Definition at line 385 of file membership_base.h.

Referenced by get_specification(), MembershipContext(), and set_specification().

std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipContext::not_covered_intervals
private

matrix of all time intervals among events in bmsc

Definition at line 397 of file membership_base.h.

Referenced by add_not_covered_interval(), get_not_covered_intervals(), and update_result().

std::vector<std::pair<TimeConstraintPtr, HMscNodePtr> > MembershipContext::not_full_covered_intervals
private

intervals in specification which are not satisfied

Definition at line 398 of file membership_base.h.

Referenced by add_not_full_covered_interval(), get_not_full_covered_intervals(), and update_result().

std::stack<HMscNodePtr> MembershipContext::path
private

intervals in specification which are not full covered

Definition at line 399 of file membership_base.h.

Referenced by add_relative_time(), get_path(), get_path_size(), push_path(), set_path(), top_path(), top_pop_path(), and update_result().

bool MembershipContext::print_path
private

store information about the path if the flow meets the specification

Definition at line 400 of file membership_base.h.

Referenced by get_print_path(), MembershipContext(), and print_msc_path().

ReferenceNodePtr MembershipContext::processed_ref_node
private

msc which represents the specification

Definition at line 387 of file membership_base.h.

Referenced by get_processed_ref_node(), MembershipContext(), and set_processed_ref_node().

std::map<TimeRelationRefNodePtr, std::vector<MembershipTimeRelationPtr> > MembershipContext::ref_node_time
private
std::stack<std::vector<TimeRelationRefNodePtr> > MembershipContext::ref_node_time_stack
private

Definition at line 406 of file membership_base.h.

Referenced by get_ref_node_time_stack(), pop_time_stacks(), and push_time_stacks().

std::stack<std::map<TimeRelationEventPtr, std::vector<MembershipTimeRelationPtr> > > MembershipContext::relative_time
private
MembershipResultPtr MembershipContext::result
private

store whether the specification contains coregion

Definition at line 403 of file membership_base.h.

Referenced by get_result(), MembershipContext(), and update_result().

bool MembershipContext::searching_end_node
private
std::map<CoregionAreaPtr, SnapshotContextPtr> MembershipContext::snapshots
private

name of instances on which a user is focused on

Definition at line 389 of file membership_base.h.

Referenced by add_snapshot(), find_snapshot(), and get_snapshots().

BMscIntervalSetComponentMatrix* MembershipContext::time_matrix
private

save ordering of coregion events in appropriate coregion

Definition at line 396 of file membership_base.h.

Referenced by get_time_matrix(), and set_time_matrix().

std::map<TimeRelationRefNodePtr, ConfigurationPtr> MembershipContext::top_time_references
private

map of reference nodes and configurations which were checked

Definition at line 392 of file membership_base.h.

Referenced by add_top_time_ref(), and find_top_time_ref().

unsigned int MembershipContext::total_diff_amount
private

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