1273 

  1273 /********************************************/

  1274 /* B 1.6 Sequential function chart elements */

  1275 /********************************************/

  1276 

  1277 void *fill_candidate_datatypes_c::visit(transition_condition_c *symbol) {

  1278 	symbol_c *condition_type;

  1279 

  1280 	if (symbol->transition_condition_il != NULL) {

  1281 		symbol->transition_condition_il->accept(*this);

  1282 		for (unsigned int i = 0; i < symbol->transition_condition_il->candidate_datatypes.size(); i++) {

  1283 			condition_type = symbol->transition_condition_il->candidate_datatypes[i];

  1284 			if (get_datatype_info_c::is_BOOL_compatible(condition_type))

  1285 				add_datatype_to_candidate_list(symbol, condition_type);

  1286 		}

  1287 	}

  1288 	if (symbol->transition_condition_st != NULL) {

  1289 		symbol->transition_condition_st->accept(*this);

  1290 		for (unsigned int i = 0; i < symbol->transition_condition_st->candidate_datatypes.size(); i++) {

  1291 			condition_type = symbol->transition_condition_st->candidate_datatypes[i];

  1292 			if (get_datatype_info_c::is_BOOL_compatible(condition_type))

  1293 				add_datatype_to_candidate_list(symbol, condition_type);

  1294 		}

  1295 	}

  1296 	return NULL;

  1297 }