15void WriteFile_setFileType(
WriteFile* file, WriteFileType newFileType);
16void WriteFile_setEcho(
WriteFile* file,
int newEcho);
17void WriteFile_setEchoInterval(
WriteFile* file,
int newPeriod);
18void WriteFile_setBufferSize(
WriteFile* file,
unsigned int newSize);
19void WriteFile_setFormat(
WriteFile* file,
const char* newFormat);
20void WriteFile_setHeader(
WriteFile* file,
const char* newHeader);
21void WriteFile_setFooter(
WriteFile* file,
const char* newFooter);
22void WriteFile_logArray(
WriteFile* file,
const float* array,
int length);
23void WriteFile_log(
WriteFile* file,
float value);
24void WriteFile_init(
WriteFile* file,
const char* filename,
int length);
26float WriteFile_getBufferStatus(
WriteFile* file);
Definition WriteFile.h:22