1with CONFIG; 2package body PREFACE is 3 4 procedure PUT(S : STRING) is 5 begin 6 if not CONFIG.SUPPRESS_PREFACE then 7 TEXT_IO.PUT(TEXT_IO.CURRENT_OUTPUT, S); 8 end if; 9 end PUT; 10 11 procedure SET_COL(PC : TEXT_IO.POSITIVE_COUNT) is 12 begin 13 if not CONFIG.SUPPRESS_PREFACE then 14 TEXT_IO.SET_COL(TEXT_IO.CURRENT_OUTPUT, PC); 15 end if; 16 end SET_COL; 17 18 procedure PUT_LINE(S : STRING) is 19 begin 20 if not CONFIG.SUPPRESS_PREFACE then 21 TEXT_IO.PUT_LINE(TEXT_IO.CURRENT_OUTPUT, S); 22 end if; 23 end PUT_LINE; 24 25 procedure NEW_LINE(SPACING : TEXT_IO.POSITIVE_COUNT := 1) is 26 begin 27 if not CONFIG.SUPPRESS_PREFACE then 28 TEXT_IO.NEW_LINE(TEXT_IO.CURRENT_OUTPUT, SPACING); 29 end if; 30 end NEW_LINE; 31 32 procedure PUT(N : INTEGER; WIDTH : TEXT_IO.FIELD := INTEGER'WIDTH) is 33 package INTEGER_IO is new TEXT_IO.INTEGER_IO(INTEGER); 34 begin 35 if not CONFIG.SUPPRESS_PREFACE then 36 INTEGER_IO.PUT(TEXT_IO.CURRENT_OUTPUT, N, WIDTH); 37 end if; 38 end PUT; 39 40 41end PREFACE; 42