- Add an Options interface to the core library. The core library

src/options.dart

Index: src/options.dart
===================================================================
--- src/options.dart	(revision 0)
+++ src/options.dart	(revision 0)
@@ -0,0 +1,16 @@
+// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// Dart core library.
+
+/**
+ */
+interface Options factory RuntimeOptions {
+  Options();
+
+  /**
+   * Returns a list of the arguments which have been passed to this isolate.
+   */
+  List<String> get arguments();

[sra1, 2011/11/03 04:12:44]

Please specify:

Is the returned list mutable?
Is the list shared between calls to opts.arguments ?
Is it shared between different instances of new Options() ?

The answers to these questions will tell me when need to make a copy, and if I
can adjust the arguments seen by other components running the isolate.

[Ivan Posva, 2011/11/03 21:44:09]

Updated comments.

-Ivan

On 2011/11/03 04:12:44, sra1 wrote:

+}