27 int CeedCheckFilePath(Ceed ceed, const char *source_file_path, bool *is_valid) {  in CeedCheckFilePath()  argument
31   char *last_colon = strrchr(source_file_path, ':');  in CeedCheckFilePath()
34     size_t source_file_path_length = (last_colon - source_file_path + 1);  in CeedCheckFilePath()
37     memcpy(source_file_path_only, source_file_path, source_file_path_length - 1);  in CeedCheckFilePath()
39     source_file_path_only = (char *)source_file_path;  in CeedCheckFilePath()
74 static int CeedNormalizePath(Ceed ceed, const char *source_file_path, char **normalized_source_file…  in CeedNormalizePath()  argument
75   CeedCall(CeedStringAllocCopy(source_file_path, normalized_source_file_path));  in CeedNormalizePath()
99 …normalized_source_file_path, ceed, CEED_ERROR_MAJOR, "Malformed source path %s", source_file_path);  in CeedNormalizePath()
124 int CeedLoadSourceToInitializedBuffer(Ceed ceed, const char *source_file_path, CeedInt *num_file_pa…  in CeedLoadSourceToInitializedBuffer()  argument
132   CeedDebug(ceed, "%s\n", source_file_path);  in CeedLoadSourceToInitializedBuffer()
135   source_file = fopen(source_file_path, "rb");  in CeedLoadSourceToInitializedBuffer()
136   CeedCheck(source_file, ceed, CEED_ERROR_MAJOR, "Couldn't open source file: %s", source_file_path);  in CeedLoadSourceToInitializedBuffer()
154     return CeedError(ceed, CEED_ERROR_MAJOR, "Couldn't read source file: %s", source_file_path);  in CeedLoadSourceToInitializedBuffer()
233           long root_length           = strrchr(source_file_path, '/') - source_file_path;  in CeedLoadSourceToInitializedBuffer()
237           memcpy(include_source_path, source_file_path, root_length + 1);  in CeedLoadSourceToInitializedBuffer()
292   CeedDebug(ceed, "%s\n", source_file_path);  in CeedLoadSourceToInitializedBuffer()
313 int CeedLoadSourceAndInitializeBuffer(Ceed ceed, const char *source_file_path, CeedInt *num_file_pa…  in CeedLoadSourceAndInitializeBuffer()  argument
322 …CeedCall(CeedLoadSourceToInitializedBuffer(ceed, source_file_path, num_file_paths, file_paths, buf…  in CeedLoadSourceAndInitializeBuffer()
339 int CeedLoadSourceToBuffer(Ceed ceed, const char *source_file_path, char **buffer) {  in CeedLoadSourceToBuffer()  argument
344 …CeedCall(CeedLoadSourceAndInitializeBuffer(ceed, source_file_path, &num_file_paths, &file_paths, b…  in CeedLoadSourceToBuffer()