default:
surf_parse_error(std::string("Cannot connect trace ") + trace_connect->trace + " to " + trace_connect->element +
": unknown kind of trace");
- break;
}
}
/* This function acts as a main in the parsing area. */
-void parse_platform_file(std::string file)
+void parse_platform_file(const std::string& file)
{
const char* cfile = file.c_str();
int len = strlen(cfile);