get_extension 63 src/Generator.cpp output_files.object_name = base_path + get_extension(".obj", options); get_extension 66 src/Generator.cpp output_files.object_name = base_path + get_extension(".o", options); get_extension 70 src/Generator.cpp output_files.assembly_name = base_path + get_extension(".s", options); get_extension 75 src/Generator.cpp output_files.bitcode_name = base_path + get_extension(".bc", options); get_extension 78 src/Generator.cpp output_files.c_header_name = base_path + get_extension(".h", options); get_extension 81 src/Generator.cpp output_files.c_source_name = base_path + get_extension(".cpp", options); get_extension 84 src/Generator.cpp output_files.stmt_name = base_path + get_extension(".stmt", options); get_extension 87 src/Generator.cpp output_files.stmt_html_name = base_path + get_extension(".html", options); get_extension 91 src/Generator.cpp output_files.static_library_name = base_path + get_extension(".lib", options); get_extension 93 src/Generator.cpp output_files.static_library_name = base_path + get_extension(".a", options); get_extension 944 src/Generator.cpp auto stub_file_path = base_path + get_extension(".stub.h", emit_options);