#include "language.h" #include FILE *gfpOutputFile = stdout; LanguageType geOutputLanguage = ltSIF; static const UINT_32 cuiTabSize = 2; VOID Write(CHAR *pcFormat, ...) { va_list vaArgs; ASSERT( pcFormat != NULL ); va_start(vaArgs, pcFormat); vfprintf(gfpOutputFile, pcFormat, vaArgs); va_end(vaArgs); } VOID WriteIndent(const UINT_32 uiIndentLevel) { UINT_32 i; for ( i = 0; i < (uiIndentLevel*cuiTabSize); i++ ) { fprintf(gfpOutputFile, " "); } }