- line = clean_spaces(cut_typedef(output));
- params = get_transition_params(line);
- pos = params.find(",");
- event = params.substr(0,pos);
- dest = params.substr(pos+1);
- if(is_transition(line)) std::cout << "New transition: " << name_of_state<<" -> "<<event<<" -> "<< dest<<"\n";
+ const NamedDecl *namedDecl = dyn_cast<NamedDecl>(decl);
+ decl->print(x);
+ output = x.str();
+ if(count(output)==1)
+ {
+ line = clean_spaces(cut_typedef(output));
+ params = get_transition_params(line);
+ pos = params.find(",");
+ event = params.substr(0,pos);
+ dest = params.substr(pos+1);
+ if(is_transition(line)) std::cout << "New transition: " << name_of_state<<" -> "<<event<<" -> "<< dest<<"\n";
+ }