public List getHeaderNames()

in util/src/main/java/org/apache/jsieve/util/check/ScriptCheckMailAdapter.java [170:188]


    public List<String> getHeaderNames() throws SieveMailException {
        List<String> results = Collections.EMPTY_LIST;
        if (mail != null) {
            try {
                results = new ArrayList<String>();
                for (final Enumeration<?> en = mail.getAllHeaders(); en
                        .hasMoreElements(); ) {
                    final Header header = (Header) en.nextElement();
                    final String name = header.getName();
                    if (!results.contains(name)) {
                        results.add(name);
                    }
                }
            } catch (MessagingException e) {
                throw new SieveMailException(e);
            }
        }
        return results;
    }