gov.nasa.jpf.util

Class JPFLogger

java.lang.Object

java.util.logging.Logger

gov.nasa.jpf.util.JPFLogger

public class JPFLogger
extends java.util.logging.Logger

this is a decorator for java.util.logging.JPFLogger We use this to avoid explicit Logger.isLoggable() checks in the code. The goal is to avoid time & memory overhead if logging is not enabled. We provide a fat interface to avoid Object[] creation for ellipsis method or auto boxing for Object arguments

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.logging.Logger	logger

Fields inherited from class java.util.logging.Logger

global, GLOBAL_LOGGER_NAME

Constructor Summary

Constructors

Constructor and Description
JPFLogger(java.util.logging.Logger logger)

Method Summary

Modifier and Type	Method and Description
void	addHandler(java.util.logging.Handler handler)
void	config(java.lang.Object... args)
void	config(java.lang.Object s1, int s2)
void	config(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	config(java.lang.Object s1, java.lang.Object s2)
void	config(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	config(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	config(java.lang.String msg)
void	entering(java.lang.String sourceClass, java.lang.String sourceMethod)
void	entering(java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.Object param1)
void	entering(java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.Object[] params)
void	exiting(java.lang.String sourceClass, java.lang.String sourceMethod)
void	exiting(java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.Object result)
void	fconfig(java.lang.String format, java.lang.String... args)
void	ffine(java.lang.String format, java.lang.Object... args)
void	ffiner(java.lang.String format, java.lang.Object... args)
void	ffinest(java.lang.String format, java.lang.Object... args)
void	fine(java.lang.Object... args)
void	fine(java.lang.Object s1, int s2)
void	fine(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	fine(java.lang.Object s1, java.lang.Object s2)
void	fine(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	fine(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	fine(java.lang.String msg)
void	finer(java.lang.Object... args)
void	finer(java.lang.Object s1, int s2)
void	finer(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	finer(java.lang.Object s1, java.lang.Object s2)
void	finer(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	finer(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	finer(java.lang.String msg)
void	finest(java.lang.Object... args)
void	finest(java.lang.Object s1, int s2)
void	finest(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	finest(java.lang.Object s1, java.lang.Object s2)
void	finest(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	finest(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	finest(java.lang.String msg)
void	finfo(java.lang.String format, java.lang.Object... args)
void	fsevere(java.lang.String format, java.lang.Object... args)
void	fwarning(java.lang.String format, java.lang.Object... args)
java.util.logging.Filter	getFilter()
java.util.logging.Handler[]	getHandlers()
java.util.logging.Level	getLevel()
java.lang.String	getName()
java.util.logging.Logger	getParent()
java.util.ResourceBundle	getResourceBundle()
java.lang.String	getResourceBundleName()
boolean	getUseParentHandlers()
void	info(java.lang.Object... args)
void	info(java.lang.Object s1, int s2)
void	info(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	info(java.lang.Object s1, java.lang.Object s2)
void	info(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	info(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	info(java.lang.String msg)
boolean	isFineLogged()
boolean	isFinerLogged()
boolean	isInfoLogged()
boolean	isLoggable(java.util.logging.Level level)
void	log(java.util.logging.Level level, java.lang.String msg)
void	log(java.util.logging.Level level, java.lang.String msg, java.lang.Object param1)
void	log(java.util.logging.Level level, java.lang.String msg, java.lang.Object[] params)
void	log(java.util.logging.Level level, java.lang.String msg, java.lang.Throwable thrown)
void	log(java.util.logging.LogRecord record)
void	logp(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String msg)
void	logp(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String msg, java.lang.Object param1)
void	logp(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String msg, java.lang.Object[] params)
void	logp(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String msg, java.lang.Throwable thrown)
void	logrb(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String bundleName, java.lang.String msg) Deprecated.
void	logrb(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String bundleName, java.lang.String msg, java.lang.Object param1) Deprecated.
void	logrb(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String bundleName, java.lang.String msg, java.lang.Object[] params) Deprecated.
void	logrb(java.util.logging.Level level, java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.String bundleName, java.lang.String msg, java.lang.Throwable thrown) Deprecated.
void	removeHandler(java.util.logging.Handler handler)
void	setFilter(java.util.logging.Filter newFilter)
void	setLevel(java.util.logging.Level newLevel)
void	setParent(java.util.logging.Logger parent)
void	setUseParentHandlers(boolean useParentHandlers)
void	severe(java.lang.Object... args)
void	severe(java.lang.Object s1, int s2)
void	severe(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	severe(java.lang.Object s1, java.lang.Object s2)
void	severe(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	severe(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	severe(java.lang.String msg)
void	throwing(java.lang.String sourceClass, java.lang.String sourceMethod, java.lang.Throwable thrown)
void	warning(java.lang.Object... args)
void	warning(java.lang.Object s1, int s2)
void	warning(java.lang.Object s1, int s2, java.lang.Object s3, int s4)
void	warning(java.lang.Object s1, java.lang.Object s2)
void	warning(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3)
void	warning(java.lang.Object s1, java.lang.Object s2, java.lang.Object s3, java.lang.Object s4)
void	warning(java.lang.String msg)

Methods inherited from class java.util.logging.Logger

config, fine, finer, finest, getAnonymousLogger, getAnonymousLogger, getGlobal, getLogger, getLogger, info, log, log, logp, logp, logrb, logrb, setResourceBundle, severe, warning

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

logger

protected java.util.logging.Logger logger

Constructor Detail

JPFLogger

public JPFLogger(java.util.logging.Logger logger)

Method Detail

getResourceBundle

public java.util.ResourceBundle getResourceBundle()

Overrides:

getResourceBundle in class java.util.logging.Logger

getResourceBundleName

public java.lang.String getResourceBundleName()

Overrides:

getResourceBundleName in class java.util.logging.Logger

setFilter

public void setFilter(java.util.logging.Filter newFilter)
               throws java.lang.SecurityException

Overrides:

setFilter in class java.util.logging.Logger

Throws:

java.lang.SecurityException

getFilter

public java.util.logging.Filter getFilter()

Overrides:

getFilter in class java.util.logging.Logger

log

public void log(java.util.logging.LogRecord record)

Overrides:

log in class java.util.logging.Logger

log

public void log(java.util.logging.Level level,
                java.lang.String msg)

Overrides:

log in class java.util.logging.Logger

log

public void log(java.util.logging.Level level,
                java.lang.String msg,
                java.lang.Object param1)

Overrides:

log in class java.util.logging.Logger

log

public void log(java.util.logging.Level level,
                java.lang.String msg,
                java.lang.Object[] params)

Overrides:

log in class java.util.logging.Logger

log

public void log(java.util.logging.Level level,
                java.lang.String msg,
                java.lang.Throwable thrown)

Overrides:

log in class java.util.logging.Logger

logp

public void logp(java.util.logging.Level level,
                 java.lang.String sourceClass,
                 java.lang.String sourceMethod,
                 java.lang.String msg)

Overrides:

logp in class java.util.logging.Logger

logp

public void logp(java.util.logging.Level level,
                 java.lang.String sourceClass,
                 java.lang.String sourceMethod,
                 java.lang.String msg,
                 java.lang.Object param1)

Overrides:

logp in class java.util.logging.Logger

logp

public void logp(java.util.logging.Level level,
                 java.lang.String sourceClass,
                 java.lang.String sourceMethod,
                 java.lang.String msg,
                 java.lang.Object[] params)

Overrides:

logp in class java.util.logging.Logger

logp

public void logp(java.util.logging.Level level,
                 java.lang.String sourceClass,
                 java.lang.String sourceMethod,
                 java.lang.String msg,
                 java.lang.Throwable thrown)

Overrides:

logp in class java.util.logging.Logger

logrb

@Deprecated
public void logrb(java.util.logging.Level level,
                              java.lang.String sourceClass,
                              java.lang.String sourceMethod,
                              java.lang.String bundleName,
                              java.lang.String msg)

Deprecated.

Overrides:

logrb in class java.util.logging.Logger

logrb

@Deprecated
public void logrb(java.util.logging.Level level,
                              java.lang.String sourceClass,
                              java.lang.String sourceMethod,
                              java.lang.String bundleName,
                              java.lang.String msg,
                              java.lang.Object param1)

Deprecated.

Overrides:

logrb in class java.util.logging.Logger

logrb

@Deprecated
public void logrb(java.util.logging.Level level,
                              java.lang.String sourceClass,
                              java.lang.String sourceMethod,
                              java.lang.String bundleName,
                              java.lang.String msg,
                              java.lang.Object[] params)

Deprecated.

Overrides:

logrb in class java.util.logging.Logger

logrb

@Deprecated
public void logrb(java.util.logging.Level level,
                              java.lang.String sourceClass,
                              java.lang.String sourceMethod,
                              java.lang.String bundleName,
                              java.lang.String msg,
                              java.lang.Throwable thrown)

Deprecated.

Overrides:

logrb in class java.util.logging.Logger

entering

public void entering(java.lang.String sourceClass,
                     java.lang.String sourceMethod)

Overrides:

entering in class java.util.logging.Logger

entering

public void entering(java.lang.String sourceClass,
                     java.lang.String sourceMethod,
                     java.lang.Object param1)

Overrides:

entering in class java.util.logging.Logger

entering

public void entering(java.lang.String sourceClass,
                     java.lang.String sourceMethod,
                     java.lang.Object[] params)

Overrides:

entering in class java.util.logging.Logger

exiting

public void exiting(java.lang.String sourceClass,
                    java.lang.String sourceMethod)

Overrides:

exiting in class java.util.logging.Logger

exiting

public void exiting(java.lang.String sourceClass,
                    java.lang.String sourceMethod,
                    java.lang.Object result)

Overrides:

exiting in class java.util.logging.Logger

throwing

public void throwing(java.lang.String sourceClass,
                     java.lang.String sourceMethod,
                     java.lang.Throwable thrown)

Overrides:

throwing in class java.util.logging.Logger

severe

public void severe(java.lang.String msg)

Overrides:

severe in class java.util.logging.Logger

warning

public void warning(java.lang.String msg)

Overrides:

warning in class java.util.logging.Logger

info

public void info(java.lang.String msg)

Overrides:

info in class java.util.logging.Logger

config

public void config(java.lang.String msg)

Overrides:

config in class java.util.logging.Logger

fine

public void fine(java.lang.String msg)

Overrides:

fine in class java.util.logging.Logger

finer

public void finer(java.lang.String msg)

Overrides:

finer in class java.util.logging.Logger

finest

public void finest(java.lang.String msg)

Overrides:

finest in class java.util.logging.Logger

setLevel

public void setLevel(java.util.logging.Level newLevel)
              throws java.lang.SecurityException

Overrides:

setLevel in class java.util.logging.Logger

Throws:

java.lang.SecurityException

getLevel

public java.util.logging.Level getLevel()

Overrides:

getLevel in class java.util.logging.Logger

isLoggable

public boolean isLoggable(java.util.logging.Level level)

Overrides:

isLoggable in class java.util.logging.Logger

isInfoLogged

public boolean isInfoLogged()

isFineLogged

public boolean isFineLogged()

isFinerLogged

public boolean isFinerLogged()

getName

public java.lang.String getName()

Overrides:

getName in class java.util.logging.Logger

addHandler

public void addHandler(java.util.logging.Handler handler)
                throws java.lang.SecurityException

Overrides:

addHandler in class java.util.logging.Logger

Throws:

java.lang.SecurityException

removeHandler

public void removeHandler(java.util.logging.Handler handler)
                   throws java.lang.SecurityException

Overrides:

removeHandler in class java.util.logging.Logger

Throws:

java.lang.SecurityException

getHandlers

public java.util.logging.Handler[] getHandlers()

Overrides:

getHandlers in class java.util.logging.Logger

setUseParentHandlers

public void setUseParentHandlers(boolean useParentHandlers)

Overrides:

setUseParentHandlers in class java.util.logging.Logger

getUseParentHandlers

public boolean getUseParentHandlers()

Overrides:

getUseParentHandlers in class java.util.logging.Logger

getParent

public java.util.logging.Logger getParent()

Overrides:

getParent in class java.util.logging.Logger

setParent

public void setParent(java.util.logging.Logger parent)

Overrides:

setParent in class java.util.logging.Logger

severe

public void severe(java.lang.Object s1,
                   java.lang.Object s2)

severe

public void severe(java.lang.Object s1,
                   int s2)

severe

public void severe(java.lang.Object s1,
                   java.lang.Object s2,
                   java.lang.Object s3)

severe

public void severe(java.lang.Object s1,
                   java.lang.Object s2,
                   java.lang.Object s3,
                   java.lang.Object s4)

severe

public void severe(java.lang.Object s1,
                   int s2,
                   java.lang.Object s3,
                   int s4)

severe

public void severe(java.lang.Object... args)

fsevere

public void fsevere(java.lang.String format,
                    java.lang.Object... args)

warning

public void warning(java.lang.Object s1,
                    java.lang.Object s2)

warning

public void warning(java.lang.Object s1,
                    int s2)

warning

public void warning(java.lang.Object s1,
                    java.lang.Object s2,
                    java.lang.Object s3)

warning

public void warning(java.lang.Object s1,
                    java.lang.Object s2,
                    java.lang.Object s3,
                    java.lang.Object s4)

warning

public void warning(java.lang.Object s1,
                    int s2,
                    java.lang.Object s3,
                    int s4)

warning

public void warning(java.lang.Object... args)

fwarning

public void fwarning(java.lang.String format,
                     java.lang.Object... args)

info

public void info(java.lang.Object s1,
                 java.lang.Object s2)

info

public void info(java.lang.Object s1,
                 int s2)

info

public void info(java.lang.Object s1,
                 java.lang.Object s2,
                 java.lang.Object s3)

info

public void info(java.lang.Object s1,
                 java.lang.Object s2,
                 java.lang.Object s3,
                 java.lang.Object s4)

info

public void info(java.lang.Object s1,
                 int s2,
                 java.lang.Object s3,
                 int s4)

info

public void info(java.lang.Object... args)

finfo

public void finfo(java.lang.String format,
                  java.lang.Object... args)

config

public void config(java.lang.Object s1,
                   java.lang.Object s2)

config

public void config(java.lang.Object s1,
                   int s2)

config

public void config(java.lang.Object s1,
                   java.lang.Object s2,
                   java.lang.Object s3)

config

public void config(java.lang.Object s1,
                   java.lang.Object s2,
                   java.lang.Object s3,
                   java.lang.Object s4)

config

public void config(java.lang.Object s1,
                   int s2,
                   java.lang.Object s3,
                   int s4)

config

public void config(java.lang.Object... args)

fconfig

public void fconfig(java.lang.String format,
                    java.lang.String... args)

fine

public void fine(java.lang.Object s1,
                 java.lang.Object s2)

fine

public void fine(java.lang.Object s1,
                 int s2)

fine

public void fine(java.lang.Object s1,
                 java.lang.Object s2,
                 java.lang.Object s3)

fine

public void fine(java.lang.Object s1,
                 java.lang.Object s2,
                 java.lang.Object s3,
                 java.lang.Object s4)

fine

public void fine(java.lang.Object s1,
                 int s2,
                 java.lang.Object s3,
                 int s4)

fine

public void fine(java.lang.Object... args)

ffine

public void ffine(java.lang.String format,
                  java.lang.Object... args)

finer

public void finer(java.lang.Object s1,
                  java.lang.Object s2)

finer

public void finer(java.lang.Object s1,
                  int s2)

finer

public void finer(java.lang.Object s1,
                  java.lang.Object s2,
                  java.lang.Object s3)

finer

public void finer(java.lang.Object s1,
                  java.lang.Object s2,
                  java.lang.Object s3,
                  java.lang.Object s4)

finer

public void finer(java.lang.Object s1,
                  int s2,
                  java.lang.Object s3,
                  int s4)

finer

public void finer(java.lang.Object... args)

ffiner

public void ffiner(java.lang.String format,
                   java.lang.Object... args)

finest

public void finest(java.lang.Object s1,
                   java.lang.Object s2)

finest

public void finest(java.lang.Object s1,
                   int s2)

finest

public void finest(java.lang.Object s1,
                   java.lang.Object s2,
                   java.lang.Object s3)

finest

public void finest(java.lang.Object s1,
                   java.lang.Object s2,
                   java.lang.Object s3,
                   java.lang.Object s4)

finest

public void finest(java.lang.Object s1,
                   int s2,
                   java.lang.Object s3,
                   int s4)

finest

public void finest(java.lang.Object... args)

ffinest

public void ffinest(java.lang.String format,
                    java.lang.Object... args)