OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
50 #endif | 50 #endif |
51 #else | 51 #else |
52 #define PRINTF_CHECKING | 52 #define PRINTF_CHECKING |
53 #define FPRINTF_CHECKING | 53 #define FPRINTF_CHECKING |
54 #endif | 54 #endif |
55 | 55 |
56 // Our version of printf(). | 56 // Our version of printf(). |
57 void PRINTF_CHECKING PrintF(const char* format, ...); | 57 void PRINTF_CHECKING PrintF(const char* format, ...); |
58 void FPRINTF_CHECKING PrintF(FILE* out, const char* format, ...); | 58 void FPRINTF_CHECKING PrintF(FILE* out, const char* format, ...); |
59 | 59 |
| 60 // Prepredings the current process ID to the output. |
| 61 void PRINTF_CHECKING PrintPID(const char* format, ...); |
| 62 |
60 // Our version of fflush. | 63 // Our version of fflush. |
61 void Flush(FILE* out); | 64 void Flush(FILE* out); |
62 | 65 |
63 inline void Flush() { | 66 inline void Flush() { |
64 Flush(stdout); | 67 Flush(stdout); |
65 } | 68 } |
66 | 69 |
67 | 70 |
68 // Read a line of characters after printing the prompt to stdout. The resulting | 71 // Read a line of characters after printing the prompt to stdout. The resulting |
69 // char* needs to be disposed off with DeleteArray by the caller. | 72 // char* needs to be disposed off with DeleteArray by the caller. |
(...skipping 200 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
270 | 273 |
271 // Add formatted contents like printf based on a va_list. | 274 // Add formatted contents like printf based on a va_list. |
272 void AddFormattedList(const char* format, va_list list); | 275 void AddFormattedList(const char* format, va_list list); |
273 private: | 276 private: |
274 DISALLOW_IMPLICIT_CONSTRUCTORS(StringBuilder); | 277 DISALLOW_IMPLICIT_CONSTRUCTORS(StringBuilder); |
275 }; | 278 }; |
276 | 279 |
277 } } // namespace v8::internal | 280 } } // namespace v8::internal |
278 | 281 |
279 #endif // V8_V8UTILS_H_ | 282 #endif // V8_V8UTILS_H_ |
OLD | NEW |