int main(int nargs, char **args) { char *fnam="stdin"; if (nargs > 1) fnam = args[1]; FKO_GetInstInfo(fnam); PrintInstInfo(FKO_INSTINF); FKO_DestroyInstInfo(); return(0); }
void CreateFile(char *file) { FILE *fpout; GetInstInfo(); if (file) fpout = fopen(file, "w"); else fpout = stdout; assert(fpout); fprintf(fpout, "#ifndef ATL_INSTINFO_H\n #define ATL_INSTINFO_H\n\n"); PrintInstInfo(fpout); fprintf(fpout, "\n#endif\n"); if (fpout != stdout) fclose(fpout); }