| 1 | 
#include <stdlib.h> | 
| 2 | 
#include <stdio.h> | 
| 3 | 
 | 
| 4 | 
int main(int argc, char *argv[] ){ | 
| 5 | 
 | 
| 6 | 
        FILE *in_file; | 
| 7 | 
        int nFrames = 0; | 
| 8 | 
        int i, j, k; | 
| 9 | 
        int lineNum = 0; | 
| 10 | 
        char readBuffer[1000]; | 
| 11 | 
         | 
| 12 | 
 | 
| 13 | 
        if( argc != 2 ){ | 
| 14 | 
                printf( "I need a dump file to read.\n" ); | 
| 15 | 
                exit(8); | 
| 16 | 
        } | 
| 17 | 
         | 
| 18 | 
        in_file = fopen( argv[1], "r" ); | 
| 19 | 
        if( in_file == NULL ){ | 
| 20 | 
                printf( "Error opening \"%s\"\n", argv[1] ); | 
| 21 | 
                exit(8); | 
| 22 | 
        } | 
| 23 | 
         | 
| 24 | 
        if( feof( in_file ) ){ | 
| 25 | 
                printf( "File ended unexpectedly at line %d\n", lineNum ); | 
| 26 | 
                exit(8); | 
| 27 | 
        } | 
| 28 | 
 | 
| 29 | 
        fgets( readBuffer, sizeof( readBuffer ), in_file ); | 
| 30 | 
        lineNum++; | 
| 31 | 
 | 
| 32 | 
        while( !feof( in_file ) ){ | 
| 33 | 
                         | 
| 34 | 
                i = atoi(readBuffer); | 
| 35 | 
 | 
| 36 | 
                if( feof( in_file ) ){ | 
| 37 | 
                        printf( "File ended unexpectedly at line %d, in frame%d\n", lineNum, nFrames+1 ); | 
| 38 | 
                        exit(8); | 
| 39 | 
                } | 
| 40 | 
                fgets( readBuffer, sizeof( readBuffer ), in_file ); | 
| 41 | 
                lineNum++; | 
| 42 | 
 | 
| 43 | 
                for(j=0; j<i; j++){ | 
| 44 | 
                         | 
| 45 | 
                        if( feof( in_file ) ){ | 
| 46 | 
                                printf( "File ended unexpectedly at line %d, with atom %d, in frame %d\n", | 
| 47 | 
                                                lineNum, j, nFrames+1 ); | 
| 48 | 
                                exit(8); | 
| 49 | 
                        } | 
| 50 | 
                        fgets( readBuffer, sizeof( readBuffer ), in_file ); | 
| 51 | 
                        lineNum++; | 
| 52 | 
                } | 
| 53 | 
 | 
| 54 | 
                nFrames++; | 
| 55 | 
                 | 
| 56 | 
                fgets( readBuffer, sizeof( readBuffer ), in_file ); | 
| 57 | 
                lineNum++; | 
| 58 | 
        } | 
| 59 | 
 | 
| 60 | 
        printf( "file \"%s\" has %d frames.\n", argv[1], nFrames ); | 
| 61 | 
         | 
| 62 | 
        fclose( in_file ); | 
| 63 | 
         | 
| 64 | 
        return 0; | 
| 65 | 
} |