Index: runtime/bin/embedded_dart_io.h |
diff --git a/runtime/bin/embedded_dart_io.h b/runtime/bin/embedded_dart_io.h |
index 9ce24b9eea219e93cae04098912b658722af1367..5622507f6528f8f310efd862e7aa6e38f6805717 100644 |
--- a/runtime/bin/embedded_dart_io.h |
+++ b/runtime/bin/embedded_dart_io.h |
@@ -5,6 +5,8 @@ |
#ifndef RUNTIME_BIN_EMBEDDED_DART_IO_H_ |
#define RUNTIME_BIN_EMBEDDED_DART_IO_H_ |
+#include "include/dart_tools_api.h" |
+ |
namespace dart { |
namespace bin { |
@@ -33,6 +35,10 @@ void SetExecutableName(const char* executable_name); |
// Set the arguments used by Platform.executableArguments. |
void SetExecutableArguments(int script_index, char** argv); |
+// Partial implementation of a Dart_EmbedderInformationCallback that fills the |
zra
2017/08/16 16:13:52
This might be extended in the future, so maybe:
"
cbernaschina
2017/08/16 17:54:54
Done.
|
+// max_rss and current_rss fields. |
+void GetIOEmbedderInformation(Dart_EmbedderInformation* info); |
+ |
} // namespace bin |
} // namespace dart |