(Object types)
| 204 | } |
| 205 | |
| 206 | private synchronized Element [] |
| 207 | allElements(Object types) { |
| 208 | if (types instanceof List) { |
| 209 | List typelist = (List) types; |
| 210 | int size = typelist.size(); |
| 211 | return (Element []) typelist.toArray(new Element[size]); |
| 212 | } else { |
| 213 | Element set = (Element) types; |
| 214 | return new Element[] {set}; |
| 215 | } |
| 216 | } |
| 217 | |
| 218 | private synchronized Element |
| 219 | oneElement(Name name, Object types, int type, int minCred) { |