Searched refs:Export_File_Format (Results 1 – 11 of 11) sorted by relevance
345 Export_File_Format := Main_Project.Config.Export_File_Format;348 and then Export_File_Format = None
307 Export_File_Format : GPR.Export_File_Format := GPR.None; variable
354 Format => Export_File_Format,388 Format => Export_File_Format,
184 Format : Export_File_Format;
441 Export_File_Format : GPR.Export_File_Format := GPR.None; variable1367 Export_File_Format :=1368 GPR.Export_File_Format'Value (Line (1 .. Last));
2916 GPR.Export_File_Format'Image (Export_File_Format));
240 Format : Export_File_Format;
1327 type Export_File_Format is type1433 Export_File_Format : GPR.Export_File_Format := GPR.None; component1511 Export_File_Format => GPR.None,
2135 Project.Config.Export_File_Format := None;2138 Project.Config.Export_File_Format := GNU;2141 Project.Config.Export_File_Format := Def;2144 Project.Config.Export_File_Format := Flat;
277 Export_File_Format
1277 * Export_File_Format1284 for Export_File_Format use "GNU";