diff options
Diffstat (limited to 'gcc/ada/osint-c.ads')
| -rw-r--r-- | gcc/ada/osint-c.ads | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/gcc/ada/osint-c.ads b/gcc/ada/osint-c.ads index 177d1f1..afd4e84 100644 --- a/gcc/ada/osint-c.ads +++ b/gcc/ada/osint-c.ads @@ -108,6 +108,12 @@ package Osint.C is -- Close current debug file created by the most recent call to -- Create_Repinfo_File. + procedure Set_File_Name (Ext : String); + -- Sets a default file name from the main compiler source name. Ext is the + -- extension, e.g. "ali" for a library information file. The name is in + -- Name_Buffer (with length in Name_Len) on return. This is visible in + -- the spec since it used directly by clients in the .Net case. + -------------------------------- -- Library Information Output -- -------------------------------- @@ -127,11 +133,6 @@ package Osint.C is -- returned by Next_Main_Source) for appending. This is used to append -- the globals computed in flow analysis in gnatprove mode. - procedure Set_File_Name (Ext : String); - -- Sets a default file name from the main compiler source name. Ext is - -- the extension, e.g. "ali" for a library information file. - -- The name is in Name_Buffer (with length in Name_Len) on return. - procedure Write_Library_Info (Info : String); -- Writes the contents of the referenced string to the library information -- file for the main source file currently being compiled (i.e. the file @@ -161,7 +162,8 @@ package Osint.C is -- These routines are used by the compiler when the C translation option -- is activated to write *.c and *.h files to the current object directory. -- Each routine exists in a C and an H form for the two kinds of files. - -- Only one of these files can be written at a time. + -- Only one of these files can be written at a time. Note that the files + -- are written via the Output package routines, using Output_FD. procedure Create_C_File; procedure Create_H_File; @@ -169,14 +171,6 @@ package Osint.C is -- being compiled (i.e. the file which was most recently returned by -- Next_Main_Source). - procedure Write_C_File_Info (Info : String); - procedure Write_H_File_Info (Info : String); - -- Writes the contents of the referenced string to the *.c or *.h file for - -- the main source file currently being compiled (i.e. the file which was - -- most recently opened with a call to Read_Next_File). Info represents - -- a line in the file with a line termination character at the end (which - -- is not present in the info string). - procedure Close_C_File; procedure Close_H_File; -- Closes the file created by Create_C_File or Create_H file, flushing any |