Index: sdk/lib/io/options.dart |
diff --git a/sdk/lib/io/options.dart b/sdk/lib/io/options.dart |
index 08dd1291f1ba434448448dcc207253e6b72e5e4e..0aec7c8da8ad815076a52d21707d6a421ef21217 100644 |
--- a/sdk/lib/io/options.dart |
+++ b/sdk/lib/io/options.dart |
@@ -4,9 +4,16 @@ |
part of dart.io; |
+@deprecated |
/** |
- * The Options object allows accessing the arguments which have been passed to |
- * the current isolate. |
+ * Deprecated: the Options object allows accessing the arguments which |
+ * have been passed to the current isolate. |
+ * |
+ * This class has been replaced by making the arguments an optional parameter |
+ * to main. The other members, executable, script, and versione, are already |
+ * available on Platform (which will move to the dart:plaform library). |
+ * |
+ * This class will be removed on October 28, 2013. |
*/ |
abstract class Options { |
/** |