106     public final boolean _global_per_engine;

   106     public final boolean _global_per_engine;

   107 

   107 

   108     /** Enable experimental ECMAScript 6 features. */

   108     /** Enable experimental ECMAScript 6 features. */

   109     public final boolean _es6;

   109     public final boolean _es6;

   110 

   110 

   111 

   113 

   112     /** Number of times a dynamic call site has to be relinked before it is

   114     /** Number of times a dynamic call site has to be relinked before it is

   113      * considered unstable (and thus should be linked as if it were megamorphic).

   115      * considered unstable (and thus should be linked as if it were megamorphic).

   114      */

   116      */

   115     public final int _unstable_relink_threshold;

   117     public final int _unstable_relink_threshold;

   304         _print_symbols        = options.getBoolean("print.symbols");

   306         _print_symbols        = options.getBoolean("print.symbols");

   305         _scripting            = options.getBoolean("scripting");

   307         _scripting            = options.getBoolean("scripting");

   306         _strict               = options.getBoolean("strict");

   308         _strict               = options.getBoolean("strict");

   307         _version              = options.getBoolean("version");

   309         _version              = options.getBoolean("version");

   308         _verify_code          = options.getBoolean("verify.code");

   310         _verify_code          = options.getBoolean("verify.code");

   309 

   312 

   310         final int configuredUrt = options.getInteger("unstable.relink.threshold");

   313         final int configuredUrt = options.getInteger("unstable.relink.threshold");

   311         // The default for this property is -1, so we can easily detect when

   314         // The default for this property is -1, so we can easily detect when

   312         // it is not specified on command line.

   315         // it is not specified on command line.

   313         if (configuredUrt < 0) {

   316         if (configuredUrt < 0) {