Lines Matching refs:opts
45 void init(Options opts) {
46 opts.put(key, value);
63 void init(Options opts) {
64 opts.put(key, value);
85 void init(Options opts) {
86 opts.put(key, value);
106 void init(Options opts) {
108 String flags = opts.get("diags");
110 opts.put("diags", flags);
132 void init(Options opts) {
134 String flags = opts.get("diags");
136 opts.put("diags", flags);