| java.lang.Object
 gov.nasa.jpf.util.LogManager
| LogManager | | public class LogManager (Code) | | this class is responsible for returning properly JPF-configured
Loggers. It is not supposed to be used directly by clients, but rather
is a JPF delegatee.
While we could modify/replace the standard java.util.logging facility
at various levels (own LogManager, own initialization class etc.), we choose
the approach to piggyback on it, because these mechanisms either require
changing system properties, rely on only partly documented features, or
don't give us the full functionality we need. By having our own log
encapsulator, we could also replace the underlying mechanism if we really
want to
|
| Inner Class :static class DefaultFormatter extends Formatter | |
| init | | public static void init(Config conf)(Code) | | note - this is not allowed to fail, since we couldn't log that. Hardcoded default
values have to do in this case (make sure we catch the proper Config exceptions)
|
|
|