| 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 {
|
| /**
|
|
|