Package org.w3c.util

Examples of org.w3c.util.ArrayDictionary.keys()

59
60
61
62
63
64
65
66
67
68
69
     * @return The number of bytes needed to pickle that value.
     */

    public final int getPickleLength(Object value) {
  ArrayDictionary a = (ArrayDictionary) value;
  Enumeration     e = a.keys();
  int             s = 4;
  while ( e.hasMoreElements() ) {
      String key = (String) e.nextElement();
      s += getPickleLength(key);
      s += getPickleLength((String) a.get(key));
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
    public void pickle(DataOutputStream out, Object o)
  throws IOException
    {
  ArrayDictionary a = (ArrayDictionary) o;
  Enumeration     e = a.keys();
  int             s = a.size();
  out.writeInt(s);
  while (--s >= 0) {
      String key = (String) e.nextElement();
      out.writeUTF(key);
View Full Code Here
671
672
673
674
675
676
677
678
679
680
681
  }

  //Add user env
  ArrayDictionary uenv = getUserEnv();
  if (uenv != null) {
      Enumeration names = uenv.keys();
      while (names.hasMoreElements()) {
    String var = (String)names.nextElement();
    addEnv(var, (String)uenv.get(var), env);
      }
  }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
     * @param array the attribute array
     * @return a String array
     */
    public String[] pickle(Object o) {
  ArrayDictionary a       = (ArrayDictionary) o;
  Enumeration     e       = a.keys();
  int             len     = a.size();
  String          array[] = new String[len];

  for (int i = 0 ; i < len ; i++ ) {
      String key =  (String) e.nextElement();
View Full Code Here
277
278
279
280
281
282
283
284
285
286
287
     * Servlet stub implementation - Get all init parameters.
     */
    public synchronized Enumeration getInitParameterNames() {
  // Convert init parameters to hashtable:
  ArrayDictionary d = getServletParameters();
  return (d != null) ? d.keys() : new EmptyEnumeration();
    }

    /**
     * Servlet stub implementation - Get that servlet context.
     */
 
View Full Code Here
578
579
580
581
582
583
584
585
586
587
588
  if (deadindex == null) {
      ArrayDictionary dic  = getDeadProperties();
      if (dic == null) {
    return new Hashtable();
      }
      Enumeration    denum = dic.keys();
      deadindex            = new Hashtable(dic.size());
      while (denum.hasMoreElements()) {
    String               key     = (String) denum.nextElement();
    Base64Decoder        decoder =
        new Base64Decoder((String)dic.get(key));
View Full Code Here
555
556
557
558
559
560
561
562
563
564
565
      reply.setDate(getDate());
  reply.setAge(getCurrentAge());
  ArrayDictionary a = getExtraHeaders();
  if ( a != null ) {
      // This is the slowest operation of the whole cache :-(
      Enumeration e = a.keys();
      while (e.hasMoreElements() ) {
    String hname  = (String) e.nextElement();
    String hvalue = (String) a.get(hname);
    reply.setValue(hname, hvalue);
      }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.