00001 00002 class Example { 00004 void member(int arg1, int arg2) {} 00005 00007 void member_to_be_called_in_branch(int arg1, int arg2) {} 00008 00009 00011 void member_to_be_called_in_nested_branch(int arg1, int arg2) {} 00012 00014 bool predicate() { return false; } 00015 00017 bool predicate_to_be_called_in_branch() { return false; } 00018 }; 00019 00020 00025 void testfn(Example *x) { 00026 if (x->predicate()) { 00027 return; 00028 } 00029 else 00030 { 00031 member_to_be_called_in_branch(1,2); 00032 } 00033 x->member(); 00034 00035 if(!x->predicate()) 00036 { 00037 bool b = false; 00038 if(x->predicate_to_be_called_in_branch) 00039 { 00040 member_to_be_called_in_nested_branch(100,45); 00041 } 00042 } 00043 }