- public String toString() {\r
- int i;\r
- StringBuffer sb = new StringBuffer();\r
- sb.append(leftForm());\r
- if(v.size()>0)\r
- sb.append( ((Pattern)v.elementAt(0)).toString() );\r
- for(i=1;i<v.size();i++) {\r
- sb.append(sepForm());\r
- sb.append( ((Pattern)v.elementAt(i)).toString() );\r
- }\r
- sb.append(rightForm());\r
- sb.append(nextString());\r
- return sb.toString();\r
+ sb.append(rightForm());\r
+ sb.append(nextString());\r
+ return sb.toString();\r
+ }\r
+\r
+ public int matchInternal(int pos, Pthings pt)\r
+ {\r
+ if (pv == null)\r
+ {\r
+ pv = new Pattern[v.size()];\r
+ v.copyInto(pv);\r
+ }\r
+ for (int i = 0; i < v.size(); i++)\r
+ {\r
+ Pattern p = pv[i]; //(Pattern)v.elementAt(i);\r
+ int r = p.matchInternal(pos, pt);\r
+ if (r >= 0)\r
+ {\r
+ return r;\r
+ }\r
+ }\r
+ return -1;\r
+ }\r
+\r
+ public patInt minChars()\r
+ {\r
+ if (v.size() == 0)\r
+ {\r
+ return new patInt(0);\r