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]);
32 while (retval.index_i('%') >= 0)
33 substitute_arg(retval, "");
39 substitute_args(String source, Array<Scalar> args)
42 for (int i = 0 ; i < args.size(); i++)
45 return substitute_args(source, sv);