OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #ifndef BIN_PLATFORM_H_ | 5 #ifndef BIN_PLATFORM_H_ |
6 #define BIN_PLATFORM_H_ | 6 #define BIN_PLATFORM_H_ |
7 | 7 |
8 #include "bin/builtin.h" | 8 #include "bin/builtin.h" |
9 | 9 |
10 | 10 |
(...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
55 script_index_ = script_index; | 55 script_index_ = script_index; |
56 argv_ = argv; | 56 argv_ = argv; |
57 } | 57 } |
58 static int GetScriptIndex() { | 58 static int GetScriptIndex() { |
59 return script_index_; | 59 return script_index_; |
60 } | 60 } |
61 static char** GetArgv() { | 61 static char** GetArgv() { |
62 return argv_; | 62 return argv_; |
63 } | 63 } |
64 | 64 |
| 65 static void PrintBlocking(FILE* file, const char* format, ...) |
| 66 PRINTF_ATTRIBUTE(2, 3); |
| 67 |
65 private: | 68 private: |
66 static const char* executable_name_; | 69 static const char* executable_name_; |
67 static const char* package_root_; | 70 static const char* package_root_; |
68 static int script_index_; | 71 static int script_index_; |
69 static char** argv_; // VM flags are argv_[1 ... script_index_ - 1] | 72 static char** argv_; // VM flags are argv_[1 ... script_index_ - 1] |
70 | 73 |
71 DISALLOW_ALLOCATION(); | 74 DISALLOW_ALLOCATION(); |
72 DISALLOW_IMPLICIT_CONSTRUCTORS(Platform); | 75 DISALLOW_IMPLICIT_CONSTRUCTORS(Platform); |
73 }; | 76 }; |
74 | 77 |
75 } // namespace bin | 78 } // namespace bin |
76 } // namespace dart | 79 } // namespace dart |
77 | 80 |
78 #endif // BIN_PLATFORM_H_ | 81 #endif // BIN_PLATFORM_H_ |
OLD | NEW |