equal
deleted
inserted
replaced
40 // we may use jio_printf: |
40 // we may use jio_printf: |
41 // jio_fprintf(defaultStream::output_stream(), "Message"); |
41 // jio_fprintf(defaultStream::output_stream(), "Message"); |
42 // This allows for redirection via -XX:+DisplayVMOutputToStdout and |
42 // This allows for redirection via -XX:+DisplayVMOutputToStdout and |
43 // -XX:+DisplayVMOutputToStderr |
43 // -XX:+DisplayVMOutputToStderr |
44 class outputStream : public ResourceObj { |
44 class outputStream : public ResourceObj { |
|
45 private: |
|
46 outputStream(const outputStream&); |
|
47 outputStream& operator=(const outputStream&); |
|
48 |
45 protected: |
49 protected: |
46 int _indentation; // current indentation |
50 int _indentation; // current indentation |
47 int _width; // width of the page |
51 int _width; // width of the page |
48 int _position; // position on the current line |
52 int _position; // position on the current line |
49 int _newlines; // number of '\n' output so far |
53 int _newlines; // number of '\n' output so far |