jdk/src/share/classes/com/sun/java/util/jar/pack/PropMap.java
author ksrini
Mon, 29 Nov 2010 13:38:12 -0800
changeset 7192 445c518364c4
parent 6322 0a20892f9af6
child 7795 98021fc612af
permissions -rw-r--r--
7003227: (pack200) intermittent failures compiling pack200 Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
5799
e0089b2436a4 6575373: Error verifying signatures of pack200 files in some cases
ksrini
parents: 5506
diff changeset
     2
 * Copyright (c) 2003,2010 Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package com.sun.java.util.jar.pack;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
import java.beans.PropertyChangeListener;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
import java.beans.PropertyChangeEvent;
7192
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    30
import java.io.BufferedInputStream;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    31
import java.io.IOException;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    32
import java.io.InputStream;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    33
import java.io.PrintStream;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    34
import java.io.PrintWriter;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    35
import java.util.ArrayList;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    36
import java.util.Collection;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    37
import java.util.HashMap;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    38
import java.util.Iterator;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    39
import java.util.List;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    40
import java.util.Map;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    41
import java.util.Properties;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    42
import java.util.Set;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    43
import java.util.SortedMap;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    44
import java.util.TreeMap;
445c518364c4 7003227: (pack200) intermittent failures compiling pack200
ksrini
parents: 6322
diff changeset
    45
import java.util.jar.Pack200;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * Control block for publishing Pack200 options to the other classes.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
class PropMap extends TreeMap {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
    ArrayList _listeners = new ArrayList(1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
    void addListener(PropertyChangeListener listener) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
        _listeners.add(listener);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
    void removeListener(PropertyChangeListener listener) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
        _listeners.remove(listener);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
    void addListeners(ArrayList listeners) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
        _listeners.addAll(listeners);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
    void removeListeners(ArrayList listeners) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
        _listeners.removeAll(listeners);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
    // Override:
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
    public Object put(Object key, Object value) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
        Object oldValue = super.put(key, value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
        if (value != oldValue && _listeners.size() > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
            // Post the property change event.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
            PropertyChangeEvent event =
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
                new PropertyChangeEvent(this, (String) key,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
                                        oldValue, value);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
            for (Iterator i = _listeners.iterator(); i.hasNext(); ) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
                PropertyChangeListener listener =
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
                    (PropertyChangeListener) i.next();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
                listener.propertyChange(event);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
        return oldValue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
    // All this other stuff is private to the current package.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
    // Outide clients of Pack200 do not need to use it; they can
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
    // get by with generic SortedMap functionality.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
    private static Map defaultProps;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
    static {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
        Properties props = new Properties();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
        // Allow implementation selected via -Dpack.disable.native=true
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
        props.put(Utils.DEBUG_DISABLE_NATIVE,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
                  String.valueOf(Boolean.getBoolean(Utils.DEBUG_DISABLE_NATIVE)));
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
        // Set the DEBUG_VERBOSE from system
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
        props.put(Utils.DEBUG_VERBOSE,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
                  String.valueOf(Integer.getInteger(Utils.DEBUG_VERBOSE,0)));
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
        // Set the PACK_TIMEZONE_NO_UTC
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
        props.put(Utils.PACK_DEFAULT_TIMEZONE,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
                  String.valueOf(Boolean.getBoolean(Utils.PACK_DEFAULT_TIMEZONE)));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
5799
e0089b2436a4 6575373: Error verifying signatures of pack200 files in some cases
ksrini
parents: 5506
diff changeset
   104
        // The segment size is unlimited
6322
0a20892f9af6 6969063: (pack200) The default value of Pack200.Packer.SEGMENT_LIMIT property is empty string instead of -1
ksrini
parents: 5799
diff changeset
   105
        props.put(Pack200.Packer.SEGMENT_LIMIT, "-1");
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
        // Preserve file ordering by default.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
        props.put(Pack200.Packer.KEEP_FILE_ORDER, Pack200.Packer.TRUE);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
        // Preserve all modification times by default.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
        props.put(Pack200.Packer.MODIFICATION_TIME, Pack200.Packer.KEEP);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
        // Preserve deflation hints by default.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
        props.put(Pack200.Packer.DEFLATE_HINT, Pack200.Packer.KEEP);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
        // Pass through files with unrecognized attributes by default.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
        props.put(Pack200.Packer.UNKNOWN_ATTRIBUTE, Pack200.Packer.PASS);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
        // Default effort is 5, midway between 1 and 9.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
        props.put(Pack200.Packer.EFFORT, "5");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
        // Define certain attribute layouts by default.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
        // Do this after the previous props are put in place,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
        // to allow override if necessary.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
            String propFile = "intrinsic.properties";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
            InputStream propStr = PackerImpl.class.getResourceAsStream(propFile);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
            props.load(new BufferedInputStream(propStr));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
            propStr.close();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
            for (Iterator i = props.entrySet().iterator(); i.hasNext(); ) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
                Map.Entry e = (Map.Entry) i.next();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
                String key = (String) e.getKey();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
                String val = (String) e.getValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
                if (key.startsWith("attribute.")) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
                    e.setValue(Attribute.normalizeLayoutString(val));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
        } catch (IOException ee) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
            throw new RuntimeException(ee);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
        defaultProps = (new HashMap(props));  // shrink to fit
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
    PropMap() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
        putAll(defaultProps);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
    // Return a view of this map which includes only properties
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
    // that begin with the given prefix.  This is easy because
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
    // the map is sorted, and has a subMap accessor.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
    SortedMap prefixMap(String prefix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
        int len = prefix.length();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
        if (len == 0)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
            return this;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
        char nextch = (char)(prefix.charAt(len-1) + 1);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
        String limit = prefix.substring(0, len-1)+nextch;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
        //System.out.println(prefix+" => "+subMap(prefix, limit));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
        return subMap(prefix, limit);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
    String getProperty(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
        return (String) get(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
    String getProperty(String s, String defaultVal) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
        String val = getProperty(s);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
        if (val == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
            return defaultVal;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
        return val;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
    String setProperty(String s, String val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
        return (String) put(s, val);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
    // Get sequence of props for "prefix", and "prefix.*".
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
    List getProperties(String prefix) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
        Collection values = prefixMap(prefix).values();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
        ArrayList res = new ArrayList(values.size());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
        res.addAll(values);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
        while (res.remove(null));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
        return res;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
    private boolean toBoolean(String val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
        return Boolean.valueOf(val).booleanValue();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
    boolean getBoolean(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
        return toBoolean(getProperty(s));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
    boolean setBoolean(String s, boolean val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
        return toBoolean(setProperty(s, String.valueOf(val)));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
    int toInteger(String val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
        if (val == null)  return 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
        if (Pack200.Packer.TRUE.equals(val))   return 1;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
        if (Pack200.Packer.FALSE.equals(val))  return 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
        return Integer.parseInt(val);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
    int getInteger(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
        return toInteger(getProperty(s));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
    int setInteger(String s, int val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
        return toInteger(setProperty(s, String.valueOf(val)));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
    long toLong(String val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
        try {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
            return val == null ? 0 : Long.parseLong(val);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
        } catch (java.lang.NumberFormatException nfe) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
            throw new IllegalArgumentException("Invalid value");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
    long getLong(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
        return toLong(getProperty(s));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
    long setLong(String s, long val) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
        return toLong(setProperty(s, String.valueOf(val)));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
    int getTime(String s) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
        String sval = getProperty(s, "0");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
        if (Utils.NOW.equals(sval)) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
            return (int)((System.currentTimeMillis()+500)/1000);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
        long lval = toLong(sval);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
        final long recentSecondCount = 1000000000;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
        if (lval < recentSecondCount*10 && !"0".equals(sval))
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
            Utils.log.warning("Supplied modtime appears to be seconds rather than milliseconds: "+sval);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
        return (int)((lval+500)/1000);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
    void list(PrintStream out) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
        PrintWriter outw = new PrintWriter(out);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
        list(outw);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
        outw.flush();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
    void list(PrintWriter out) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
        out.println("#"+Utils.PACK_ZIP_ARCHIVE_MARKER_COMMENT+"[");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
        Set defaults = defaultProps.entrySet();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
        for (Iterator i = entrySet().iterator(); i.hasNext(); ) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
            Map.Entry e = (Map.Entry) i.next();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
            if (defaults.contains(e))  continue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
            out.println("  " + e.getKey() + " = " + e.getValue());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
        out.println("#]");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   250
}