C++ (Cpp) create_file_header Beispiele

Beispiel #1

Datei: dic_head.c Projekt: MItsutoshiNAKANO/freewnn-debian3

int
output_header (FILE* ofpter, struct JT* jtp, struct wnn_file_head* fhp)
{
    create_file_header (ofpter, WNN_FT_DICT_FILE, fhp->file_passwd);
    output_header_jt (ofpter, jtp);
    return (0);
}

Beispiel #2

Datei: initialise_new_vampire_module.cpp Projekt: mattoaellis/vampire

//------------------------------------------------------------------------------
// Main function to generate module files in current directory
//------------------------------------------------------------------------------
int main(int argc, char* argv[]){

   // Strings for command line options
   std::string namespace_name="";
   std::string author="";
   std::string email="";

   // determine namespace name, author and email from command line
   process_command_line(argc, argv, namespace_name, author, email);

   // create file header
   std::string file_header = create_file_header(author, email);

   // Generate data.cpp
   create_data(file_header, namespace_name);

   // Generate interface.cpp
   create_interface(file_header, namespace_name);

   // Generate initialise.cpp
   create_initialise(file_header, namespace_name);

   // Generate internal.hpp
   create_internal(file_header, namespace_name);

   // Generate internal.hpp
   create_module(file_header, namespace_name);

   // Generate makefile
   create_makefile(file_header, namespace_name);

   return EXIT_SUCCESS;

}