A method for type-checking format arguments during compile time which uses data in an external file. Data from the external file is converted into a generated source file suitable for "inclusion" in a program source file, which is the subject of compilation. The generated source file is compiled together with the program source file and performs, among other things, type-checking of format arguments contained within the program source file and the generated source file.

Um método para tipo-verificar argumentos do formato durante compila o tempo que usa dados em uma lima externa. Os dados da lima externa são convertidos em uma lima de fonte gerada apropriada para o "inclusion" em uma lima de fonte do programa, que seja o assunto da compilação. A lima de fonte gerada é compilada junto com a lima de fonte do programa e executa, entre outras coisas, tipo-verificar dos argumentos do formato contidos dentro da lima de fonte do programa e da lima de fonte gerada.