182183184185186187188189190191192
{ return null; } NodeSetValue nodeset = (NodeSetValue)value; NodeEnumeration enumeration = nodeset.enumerate(); Node[] nodes = new Node[nodeset.getCount()]; for (int i = 0; i < nodes.length; i++) { nodes[i] = (Node)enumeration.nextElement(); }
183184185186187188189190191192193