Index: sdk/lib/io/options.dart |
diff --git a/sdk/lib/io/options.dart b/sdk/lib/io/options.dart |
index 91a8e5841e6e46d1743d3608919b00a9e19f6e4f..ff409ffcd89de414470f7e3da635b70e6dd500d3 100644 |
--- a/sdk/lib/io/options.dart |
+++ b/sdk/lib/io/options.dart |
@@ -41,6 +41,12 @@ abstract class Options { |
* string is returned. |
*/ |
String get script; |
+ |
+ |
+ /** |
+ * Returns the version of the current dart runtime. |
+ */ |
+ String get version; |
} |
class _OptionsImpl implements Options { |
@@ -60,6 +66,8 @@ class _OptionsImpl implements Options { |
return _nativeScript; |
} |
+ String get version; |
+ |
List<String> _arguments = null; |
// This arguments singleton is written to by the embedder if applicable. |