Searched refs:body_file_ext (Results 1 – 8 of 8) sorted by relevance
598 sprintf (outfname, "%s.%s", filebase, body_file_ext); in make_filename()616 if (body_file_ext == NULL) in generate_code_ada()617 body_file_ext = BODY_EXT; in generate_code_ada()
224 extern char *body_file_ext; /* Set by switch "-bext". Language specific
258 body_file_ext = argv[i]; in main()
337 char *body_file_ext = NULL; variable
597 sprintf (outfname, "%s.%s", filebase, body_file_ext); in make_filename()615 if (body_file_ext == NULL) in generate_code_ada()616 body_file_ext = BODY_EXT; in generate_code_ada()
41 …std::string body_file_ext; ///< Implementation file extension (for languages where body is genera… member in GenerateCode
274 return body_file_ext.c_str (); in getBodyFileExt()280 body_file_ext.assign (ext); in setBodyFileExt()
981 - std::string body_file_ext; // extension of body file (if usefull).