Ejemplos de has_file_ext en C++ (Cpp)

Ejemplo n.º 1

Archivo: lean_path.cpp Proyecto: avigad/lean

bool is_olean_file(std::string const & fname) {
    return has_file_ext(fname, ".olean");
}

Ejemplo n.º 2

Archivo: lean_path.cpp Proyecto: codyroux/lean

bool is_lua_file(std::string const & fname) {
    return has_file_ext(fname, ".lua");
}