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