int main(int argc, char *argv[]) { char int_buf[32]; odbc_use_version3 = 0; odbc_connect(); TestProc("DATETIME", STR(SQL_TIMESTAMP)); TestTable("DATETIME", STR(SQL_TIMESTAMP)); odbc_disconnect(); odbc_use_version3 = 1; odbc_connect(); TestProc("DATETIME", STR(SQL_TYPE_TIMESTAMP)); TestTable("DATETIME", STR(SQL_TYPE_TIMESTAMP)); odbc_disconnect(); printf("Done.\n"); return 0; }
void BuildAndOutputTable(FILE *fp, FILE *fpBody, FILE *fpInclude, char *UpperPrefix, char *LowerPrefix) { // Construct State Transition Table. // sm.Init(); LoadStrings(fp, fpBody, fpInclude); TestTable(fp); sm.SetUndefinedStates(false); TestTable(fp); // Optimize State Transition Table. // sm.MergeAcceptingStates(); TestTable(fp); sm.MergeAcceptingStates(); TestTable(fp); sm.MergeAcceptingStates(); TestTable(fp); sm.RemoveDuplicateRows(); TestTable(fp); sm.RemoveDuplicateRows(); TestTable(fp); sm.RemoveDuplicateRows(); TestTable(fp); sm.DetectDuplicateColumns(); // Output State Transition Table. // sm.NumberStates(); OutputControl oc; oc.fpBody = fpBody; oc.fpInclude = fpInclude; oc.UpperPrefix = UpperPrefix; oc.LowerPrefix = LowerPrefix; sm.OutputTables(&oc, NULL); }