Name: sdR10048 Date: 10/03/2003


Filed By : SPB JCK team (###@###.###)
JDK : java full version "1.5.0-beta-b21"
JCK : 1.5
Platform[s] : Solaris
JCK test owner : http://javaweb.eng/jct/sqe/JCK-tck/usr/owners.jto
Failing Test [s] :
api/java_util/logging/Formatter/index.html#Get[Formatter0001]
api/java_util/logging/Formatter/index.html#Get[Formatter0003]


Specification excerpt:
======================
--------- J2SE API spec v.1.5 ---------
...
1)

public String getHead(Handler h)
Return the header string for a set of formatted records.

This base class returns an empty string, but this may be overriden by subclasses.

Parameters:
h - The target handler.
Returns:
header string

2)

doc/api/java/util/logging/package-summary.html
Null Pointers
In general, unless otherwise noted in the javadoc, methods and
contructors will throw NullPointerException if passed a null argument.
The one broad exception to this rule is that the logging convenience
methods in the Logger class (the config, entering, exiting, fine,
finer, finest, log, logp, logrb, severe, throwing, and warning
methods) will accept null values for all arguments except for the
initial Level argument (if any).

...
---------- end-of-excerpt ---------------

Problem description
===================
java.util.logging.Formatter.getHead
java.util.logging.Formatter.getTail

do not throw NullPointerException in case input param == null.
See demo.

Do not close this bug as dup of 4486754.
This bug is not actually the dup of it.
The 4486754 touches the other classes:
  java.util.logging.XMLFormatter
  java.util.logging.Level
  java.util.logging.LogManager
  java.util.logging.Logger

And that 4 classes are fixed.
But the original Formatter class still unfixed.

    
Minimized test:
===============
------- T.java -------
import java.util.logging.Formatter;
import java.util.logging.LogRecord;
class MyFormatter extends Formatter {
    public MyFormatter() {
    }
    public String format(LogRecord record) {
        return "";
    }
}
class T {
    public static void main(String args[]) {
        MyFormatter formatter = new MyFormatter();
        formatter.getHead(null);
        formatter.getTail(null);
        System.out.println("No NPE.");
    }
}
------- end-of-T.java -------

Minimized test output:
======================
No NPE.


JCK test source location:
==========================
/java/re/jck/1.5/promoted/latest/JCK-runtime-15/tests

======================================================================