10 return String("\\vrule height ") + print_dimen(h
) + "depth 0pt width 0pt";
15 substitute_arg(String
& r
, String arg
)
17 int p
= r
.index_i('%');
21 r
= r
.left_str(p
) + arg
+ r
.right_str(r
.length_i() - p
-1);
26 substitute_args(String source
, Array
<String
> args
)
28 String
retval (source
);
29 for (int i
= 0 ; i
< args
.size(); i
++)
30 substitute_arg(retval
, args
[i
]);
31 while (retval
.index_i('%') >= 0)
32 substitute_arg(retval
, "");
37 substitute_args(String source
, Array
<Scalar
> args
)
40 for (int i
= 0 ; i
< args
.size(); i
++)
43 return substitute_args(source
, sv
);