Return to pvs3.p CVS log

Up to [CSRG BSD Unix] / 43BSDTahoe / ucb / pascal / tstpx / src

Annotation of 43BSDTahoe/ucb/pascal/tstpx/src/pvs3.p, revision 1.1

1.1     ! root        1: {TEST 6.6.5.2-2, CLASS=ERRORHANDLING}
        !             2: 
        !             3: { This program causes an error to occur as eof(f) does
        !             4:   not yield false prior to execution of a get on the file f.
        !             5:   The error should be detected at compile-time or run-time. }
        !             6: 
        !             7: program t6p6p5p2d2(output);
        !             8: var
        !             9:    fyle : text;
        !            10: begin
        !            11:    rewrite(fyle);
        !            12:    writeln(fyle,'ABC');
        !            13:    reset(fyle);
        !            14:    get(fyle);            { fyle^='A' }
        !            15:    get(fyle);           { fyle^='B' }
        !            16:    get(fyle);           { fyle^='C' }
        !            17:    get(fyle);           { fyle^ undefined...eof is true }
        !            18:    get(fyle);           { error since eof is true }
        !            19:    writeln(' ERROR NOT DETECTED...6.6.5.2-2')
        !            20: end.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.