1 /****************************************************************************
3 * GNAT COMPILER COMPONENTS *
9 * Copyright (C) 1992-2009, Free Software Foundation, Inc. *
11 * GNAT is free software; you can redistribute it and/or modify it under *
12 * terms of the GNU General Public License as published by the Free Soft- *
13 * ware Foundation; either version 3, or (at your option) any later ver- *
14 * sion. GNAT is distributed in the hope that it will be useful, but WITH- *
15 * OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
16 * or FITNESS FOR A PARTICULAR PURPOSE. *
18 * As a special exception under Section 7 of GPL version 3, you are granted *
19 * additional permissions described in the GCC Runtime Library Exception, *
20 * version 3.1, as published by the Free Software Foundation. *
22 * You should have received a copy of the GNU General Public License and *
23 * a copy of the GCC Runtime Library Exception along with this program; *
24 * see the files COPYING3 and COPYING.RUNTIME respectively. If not, see *
25 * <http://www.gnu.org/licenses/>. *
27 * GNAT was originally developed by the GNAT team at New York University. *
28 * Extensive contributions were provided by Ada Core Technologies Inc. *
30 ****************************************************************************/
41 /* Constants used for the form parameter encoding values */
42 #define Encoding_UTF8 0
43 #define Encoding_8bits 1
45 typedef long OS_Time; /* Type corresponding to GNAT.OS_Lib.OS_Time */
47 extern int __gnat_max_path_len;
48 extern OS_Time __gnat_current_time (void);
49 extern void __gnat_current_time_string (char *);
50 extern void __gnat_to_gm_time (OS_Time *, int *, int *,
53 extern int __gnat_get_maximum_file_name_length (void);
54 extern int __gnat_get_switches_case_sensitive (void);
55 extern int __gnat_get_file_names_case_sensitive (void);
56 extern char __gnat_get_default_identifier_character_set (void);
57 extern void __gnat_get_current_dir (char *, int *);
58 extern void __gnat_get_object_suffix_ptr (int *,
60 extern void __gnat_get_executable_suffix_ptr (int *,
62 extern void __gnat_get_debuggable_suffix_ptr (int *,
64 extern int __gnat_readlink (char *, char *,
66 extern int __gnat_symlink (char *, char *);
67 extern int __gnat_try_lock (char *, char *);
68 extern int __gnat_open_new (char *, int);
69 extern int __gnat_open_new_temp (char *, int);
70 extern int __gnat_mkdir (char *);
71 extern int __gnat_stat (char *,
73 extern int __gnat_unlink (char *);
74 extern int __gnat_rename (char *, char *);
75 extern int __gnat_chdir (char *);
76 extern int __gnat_rmdir (char *);
78 extern FILE *__gnat_fopen (char *, char *, int);
79 extern FILE *__gnat_freopen (char *, char *, FILE *,
81 extern int __gnat_open_read (char *, int);
82 extern int __gnat_open_rw (char *, int);
83 extern int __gnat_open_create (char *, int);
84 extern int __gnat_create_output_file (char *);
85 extern int __gnat_open_append (char *, int);
86 extern long __gnat_file_length (int);
87 extern long __gnat_named_file_length (char *);
88 extern void __gnat_tmp_name (char *);
89 extern DIR *__gnat_opendir (char *);
90 extern char *__gnat_readdir (DIR *, char *, int *);
91 extern int __gnat_closedir (DIR *);
92 extern int __gnat_readdir_is_thread_safe (void);
94 extern OS_Time __gnat_file_time_name (char *);
95 extern OS_Time __gnat_file_time_fd (int);
96 /* return -1 in case of error */
98 extern void __gnat_set_file_time_name (char *, time_t);
100 extern int __gnat_dup (int);
101 extern int __gnat_dup2 (int, int);
102 extern int __gnat_file_exists (char *);
103 extern int __gnat_is_regular_file (char *);
104 extern int __gnat_is_absolute_path (char *,int);
105 extern int __gnat_is_directory (char *);
106 extern int __gnat_is_writable_file (char *);
107 extern int __gnat_is_readable_file (char *name);
108 extern int __gnat_is_executable_file (char *name);
109 extern void __gnat_set_non_writable (char *name);
110 extern void __gnat_set_writable (char *name);
111 extern void __gnat_set_executable (char *name);
112 extern void __gnat_set_readable (char *name);
113 extern void __gnat_set_non_readable (char *name);
114 extern int __gnat_is_symbolic_link (char *name);
115 extern int __gnat_portable_spawn (char *[]);
116 extern int __gnat_portable_no_block_spawn (char *[]);
117 extern int __gnat_portable_wait (int *);
118 extern char *__gnat_locate_exec (char *, char *);
119 extern char *__gnat_locate_exec_on_path (char *);
120 extern char *__gnat_locate_regular_file (char *, char *);
121 extern void __gnat_maybe_glob_args (int *, char ***);
122 extern void __gnat_os_exit (int);
123 extern char *__gnat_get_libraries_from_registry (void);
124 extern int __gnat_to_canonical_file_list_init (char *, int);
125 extern char *__gnat_to_canonical_file_list_next (void);
126 extern void __gnat_to_canonical_file_list_free (void);
127 extern char *__gnat_to_canonical_dir_spec (char *, int);
128 extern char *__gnat_to_canonical_file_spec (char *);
129 extern char *__gnat_to_host_dir_spec (char *, int);
130 extern char *__gnat_to_host_file_spec (char *);
131 extern char *__gnat_to_canonical_path_spec (char *);
132 extern void __gnat_adjust_os_resource_limits (void);
133 extern void convert_addresses (const char *, void *, int,
135 extern int __gnat_copy_attribs (char *, char *, int);
136 extern int __gnat_feof (FILE *);
137 extern int __gnat_ferror (FILE *);
138 extern int __gnat_fileno (FILE *);
139 extern int __gnat_is_regular_file_fd (int);
140 extern FILE *__gnat_constant_stderr (void);
141 extern FILE *__gnat_constant_stdin (void);
142 extern FILE *__gnat_constant_stdout (void);
143 extern char *__gnat_full_name (char *, char *);
145 extern int __gnat_arg_count (void);
146 extern int __gnat_len_arg (int);
147 extern void __gnat_fill_arg (char *, int);
148 extern int __gnat_env_count (void);
149 extern int __gnat_len_env (int);
150 extern void __gnat_fill_env (char *, int);
152 /* Routines for interface to scanf and printf functions for integer values */
154 extern int get_int (void);
155 extern void put_int (int);
156 extern void put_int_stderr (int);
157 extern int get_char (void);
158 extern void put_char (int);
159 extern void put_char_stderr (int);
160 extern char *mktemp (char *);
162 extern void __gnat_set_exit_status (int);
164 extern int __gnat_expect_fork (void);
165 extern void __gnat_expect_portable_execvp (char *, char *[]);
166 extern int __gnat_pipe (int *);
167 extern int __gnat_expect_poll (int *, int, int, int *);
168 extern void __gnat_set_binary_mode (int);
169 extern void __gnat_set_text_mode (int);
170 extern char *__gnat_ttyname (int);
171 extern int __gnat_lseek (int, long, int);
172 extern int __gnat_set_close_on_exec (int, int);
173 extern int __gnat_dup (int);
174 extern int __gnat_dup2 (int, int);
176 extern void __gnat_os_filename (char *, char *, char *,
177 int *, char *, int *);
179 #if defined (__MINGW32__) && !defined (RTX)
180 extern void __gnat_plist_init (void);
184 /* Portable definition of strdup, which is not available on all systems. */
185 #define xstrdup(S) strcpy ((char *) malloc (strlen (S) + 1), S)
188 /* This function returns the version of GCC being used. Here it's GCC 3. */
189 extern int get_gcc_version (void);
191 extern int __gnat_binder_supports_auto_init (void);
192 extern int __gnat_sals_init_using_constructors (void);