10 return String("\\vrule height ") + print_dimen(h
) + "depth 0pt width 0pt";
15 substitute_arg(String
& r
, String arg
)
20 r
= r
.left(p
) + arg
+ r
.right(r
.len() - p
-1);
25 substitute_args(String source
, Array
<String
> args
)
27 String
retval (source
);
28 for (int i
= 0 ; i
< args
.size(); i
++)
29 substitute_arg(retval
, args
[i
]);
30 while (retval
.pos('%'))
31 substitute_arg(retval
, "");
35 substitute_args(String source
, Array
<Scalar
> args
)
38 for (int i
= 0 ; i
< args
.size(); i
++)
41 return substitute_args(source
, sv
);