equal
deleted
inserted
replaced
927 set_datatype(symbol->datatype, symbol->transition_condition_st); |
927 set_datatype(symbol->datatype, symbol->transition_condition_st); |
928 symbol->transition_condition_st->accept(*this); |
928 symbol->transition_condition_st->accept(*this); |
929 } |
929 } |
930 return NULL; |
930 return NULL; |
931 } |
931 } |
|
932 |
|
933 |
|
934 void *narrow_candidate_datatypes_c::visit(action_qualifier_c *symbol) { |
|
935 for(unsigned int i = 0; i < symbol->action_time->candidate_datatypes.size(); i++) { |
|
936 if (get_datatype_info_c::is_TIME_compatible(symbol->action_time->candidate_datatypes[i])) |
|
937 symbol->action_time->datatype = symbol->action_time->candidate_datatypes[i]; |
|
938 } |
|
939 symbol->action_time->accept(*this); |
|
940 symbol->action_qualifier->accept(*this); // Not really necessary for now... |
|
941 return NULL; |
|
942 } |
|
943 |
932 |
944 |
933 /********************************/ |
945 /********************************/ |
934 /* B 1.7 Configuration elements */ |
946 /* B 1.7 Configuration elements */ |
935 /********************************/ |
947 /********************************/ |
936 void *narrow_candidate_datatypes_c::visit(configuration_declaration_c *symbol) { |
948 void *narrow_candidate_datatypes_c::visit(configuration_declaration_c *symbol) { |