Lines Matching defs:patt
41 public static String subst(String patt, String arg) {
43 return subst(patt, args);
46 public static String subst(String patt, String arg1, String arg2) {
48 return subst(patt, args);
51 public static String subst(String patt, String arg1, String arg2,
54 return subst(patt, args);
57 public static String subst(String patt, String args[]) {
59 int len = patt.length();
61 char ch = patt.charAt(i);
64 int index = Character.digit(patt.charAt(i + 1), 10);
66 result.append(patt.charAt(i + 1));