gov.nasa.jpf.util

Interface Loggable

public interface Loggable

convenience interface that mixes in JPFLogger interface methods

Method Summary

Modifier and Type	Method and Description
default void	ffine(java.lang.String format, java.lang.Object... a)
default void	ffiner(java.lang.String format, java.lang.Object... a)
default void	ffinest(java.lang.String format, java.lang.Object... a)
default void	fine(java.lang.Object... a)
default void	fine(java.lang.Object msg)
default void	fine(java.lang.Object a1, java.lang.Object a2)
default void	fine(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3)
default void	fine(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4)
default void	fine(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4, java.lang.Object a5)
default void	fine(java.lang.String... a)
default void	fine(java.lang.String msg)
default void	fine(java.lang.String a1, java.lang.String a2)
default void	fine(java.lang.String a1, java.lang.String a2, java.lang.String a3)
default void	fine(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4)
default void	fine(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4, java.lang.String a5)
default void	finer(java.lang.Object... a)
default void	finer(java.lang.Object msg)
default void	finer(java.lang.Object a1, java.lang.Object a2)
default void	finer(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3)
default void	finer(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4)
default void	finer(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4, java.lang.Object a5)
default void	finer(java.lang.String... a)
default void	finer(java.lang.String msg)
default void	finer(java.lang.String a1, java.lang.String a2)
default void	finer(java.lang.String a1, java.lang.String a2, java.lang.String a3)
default void	finer(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4)
default void	finer(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4, java.lang.String a5)
default void	finest(java.lang.Object... a)
default void	finest(java.lang.Object msg)
default void	finest(java.lang.Object a1, java.lang.Object a2)
default void	finest(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3)
default void	finest(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4)
default void	finest(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4, java.lang.Object a5)
default void	finest(java.lang.String... a)
default void	finest(java.lang.String msg)
default void	finest(java.lang.String a1, java.lang.String a2)
default void	finest(java.lang.String a1, java.lang.String a2, java.lang.String a3)
default void	finest(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4)
default void	finest(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4, java.lang.String a5)
default void	finfo(java.lang.String format, java.lang.Object... a)
default void	fsevere(java.lang.String format, java.lang.Object... a)
default void	fwarning(java.lang.String format, java.lang.Object... a)
JPFLogger	getLogger()
default void	info(java.lang.Object... a)
default void	info(java.lang.Object msg)
default void	info(java.lang.Object a1, java.lang.Object a2)
default void	info(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3)
default void	info(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4)
default void	info(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4, java.lang.Object a5)
default void	info(java.lang.String... a)
default void	info(java.lang.String msg)
default void	info(java.lang.String a1, java.lang.String a2)
default void	info(java.lang.String a1, java.lang.String a2, java.lang.String a3)
default void	info(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4)
default void	info(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4, java.lang.String a5)
default void	setLogLevel(java.util.logging.Level newLevel)
default void	severe(java.lang.Object... a)
default void	severe(java.lang.Object msg)
default void	severe(java.lang.Object a1, java.lang.Object a2)
default void	severe(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3)
default void	severe(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4)
default void	severe(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4, java.lang.Object a5)
default void	severe(java.lang.String... a)
default void	severe(java.lang.String msg)
default void	severe(java.lang.String a1, java.lang.String a2)
default void	severe(java.lang.String a1, java.lang.String a2, java.lang.String a3)
default void	severe(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4)
default void	severe(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4, java.lang.String a5)
default void	warning(java.lang.Object... a)
default void	warning(java.lang.Object msg)
default void	warning(java.lang.Object a1, java.lang.Object a2)
default void	warning(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3)
default void	warning(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4)
default void	warning(java.lang.Object a1, java.lang.Object a2, java.lang.Object a3, java.lang.Object a4, java.lang.Object a5)
default void	warning(java.lang.String... a)
default void	warning(java.lang.String msg)
default void	warning(java.lang.String a1, java.lang.String a2)
default void	warning(java.lang.String a1, java.lang.String a2, java.lang.String a3)
default void	warning(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4)
default void	warning(java.lang.String a1, java.lang.String a2, java.lang.String a3, java.lang.String a4, java.lang.String a5)

Method Detail

getLogger

JPFLogger getLogger()

setLogLevel

default void setLogLevel(java.util.logging.Level newLevel)

severe

default void severe(java.lang.String msg)

severe

default void severe(java.lang.String a1,
                    java.lang.String a2)

severe

default void severe(java.lang.String a1,
                    java.lang.String a2,
                    java.lang.String a3)

severe

default void severe(java.lang.String a1,
                    java.lang.String a2,
                    java.lang.String a3,
                    java.lang.String a4)

severe

default void severe(java.lang.String a1,
                    java.lang.String a2,
                    java.lang.String a3,
                    java.lang.String a4,
                    java.lang.String a5)

severe

default void severe(java.lang.String... a)

severe

default void severe(java.lang.Object msg)

severe

default void severe(java.lang.Object a1,
                    java.lang.Object a2)

severe

default void severe(java.lang.Object a1,
                    java.lang.Object a2,
                    java.lang.Object a3)

severe

default void severe(java.lang.Object a1,
                    java.lang.Object a2,
                    java.lang.Object a3,
                    java.lang.Object a4)

severe

default void severe(java.lang.Object a1,
                    java.lang.Object a2,
                    java.lang.Object a3,
                    java.lang.Object a4,
                    java.lang.Object a5)

severe

default void severe(java.lang.Object... a)

fsevere

default void fsevere(java.lang.String format,
                     java.lang.Object... a)

warning

default void warning(java.lang.String msg)

warning

default void warning(java.lang.String a1,
                     java.lang.String a2)

warning

default void warning(java.lang.String a1,
                     java.lang.String a2,
                     java.lang.String a3)

warning

default void warning(java.lang.String a1,
                     java.lang.String a2,
                     java.lang.String a3,
                     java.lang.String a4)

warning

default void warning(java.lang.String a1,
                     java.lang.String a2,
                     java.lang.String a3,
                     java.lang.String a4,
                     java.lang.String a5)

warning

default void warning(java.lang.String... a)

warning

default void warning(java.lang.Object msg)

warning

default void warning(java.lang.Object a1,
                     java.lang.Object a2)

warning

default void warning(java.lang.Object a1,
                     java.lang.Object a2,
                     java.lang.Object a3)

warning

default void warning(java.lang.Object a1,
                     java.lang.Object a2,
                     java.lang.Object a3,
                     java.lang.Object a4)

warning

default void warning(java.lang.Object a1,
                     java.lang.Object a2,
                     java.lang.Object a3,
                     java.lang.Object a4,
                     java.lang.Object a5)

warning

default void warning(java.lang.Object... a)

fwarning

default void fwarning(java.lang.String format,
                      java.lang.Object... a)

info

default void info(java.lang.String msg)

info

default void info(java.lang.String a1,
                  java.lang.String a2)

info

default void info(java.lang.String a1,
                  java.lang.String a2,
                  java.lang.String a3)

info

default void info(java.lang.String a1,
                  java.lang.String a2,
                  java.lang.String a3,
                  java.lang.String a4)

info

default void info(java.lang.String a1,
                  java.lang.String a2,
                  java.lang.String a3,
                  java.lang.String a4,
                  java.lang.String a5)

info

default void info(java.lang.String... a)

info

default void info(java.lang.Object msg)

info

default void info(java.lang.Object a1,
                  java.lang.Object a2)

info

default void info(java.lang.Object a1,
                  java.lang.Object a2,
                  java.lang.Object a3)

info

default void info(java.lang.Object a1,
                  java.lang.Object a2,
                  java.lang.Object a3,
                  java.lang.Object a4)

info

default void info(java.lang.Object a1,
                  java.lang.Object a2,
                  java.lang.Object a3,
                  java.lang.Object a4,
                  java.lang.Object a5)

info

default void info(java.lang.Object... a)

finfo

default void finfo(java.lang.String format,
                   java.lang.Object... a)

fine

default void fine(java.lang.String msg)

fine

default void fine(java.lang.String a1,
                  java.lang.String a2)

fine

default void fine(java.lang.String a1,
                  java.lang.String a2,
                  java.lang.String a3)

fine

default void fine(java.lang.String a1,
                  java.lang.String a2,
                  java.lang.String a3,
                  java.lang.String a4)

fine

default void fine(java.lang.String a1,
                  java.lang.String a2,
                  java.lang.String a3,
                  java.lang.String a4,
                  java.lang.String a5)

fine

default void fine(java.lang.String... a)

fine

default void fine(java.lang.Object msg)

fine

default void fine(java.lang.Object a1,
                  java.lang.Object a2)

fine

default void fine(java.lang.Object a1,
                  java.lang.Object a2,
                  java.lang.Object a3)

fine

default void fine(java.lang.Object a1,
                  java.lang.Object a2,
                  java.lang.Object a3,
                  java.lang.Object a4)

fine

default void fine(java.lang.Object a1,
                  java.lang.Object a2,
                  java.lang.Object a3,
                  java.lang.Object a4,
                  java.lang.Object a5)

fine

default void fine(java.lang.Object... a)

ffine

default void ffine(java.lang.String format,
                   java.lang.Object... a)

finer

default void finer(java.lang.String msg)

finer

default void finer(java.lang.String a1,
                   java.lang.String a2)

finer

default void finer(java.lang.String a1,
                   java.lang.String a2,
                   java.lang.String a3)

finer

default void finer(java.lang.String a1,
                   java.lang.String a2,
                   java.lang.String a3,
                   java.lang.String a4)

finer

default void finer(java.lang.String a1,
                   java.lang.String a2,
                   java.lang.String a3,
                   java.lang.String a4,
                   java.lang.String a5)

finer

default void finer(java.lang.String... a)

finer

default void finer(java.lang.Object msg)

finer

default void finer(java.lang.Object a1,
                   java.lang.Object a2)

finer

default void finer(java.lang.Object a1,
                   java.lang.Object a2,
                   java.lang.Object a3)

finer

default void finer(java.lang.Object a1,
                   java.lang.Object a2,
                   java.lang.Object a3,
                   java.lang.Object a4)

finer

default void finer(java.lang.Object a1,
                   java.lang.Object a2,
                   java.lang.Object a3,
                   java.lang.Object a4,
                   java.lang.Object a5)

finer

default void finer(java.lang.Object... a)

ffiner

default void ffiner(java.lang.String format,
                    java.lang.Object... a)

finest

default void finest(java.lang.String msg)

finest

default void finest(java.lang.String a1,
                    java.lang.String a2)

finest

default void finest(java.lang.String a1,
                    java.lang.String a2,
                    java.lang.String a3)

finest

default void finest(java.lang.String a1,
                    java.lang.String a2,
                    java.lang.String a3,
                    java.lang.String a4)

finest

default void finest(java.lang.String a1,
                    java.lang.String a2,
                    java.lang.String a3,
                    java.lang.String a4,
                    java.lang.String a5)

finest

default void finest(java.lang.String... a)

finest

default void finest(java.lang.Object msg)

finest

default void finest(java.lang.Object a1,
                    java.lang.Object a2)

finest

default void finest(java.lang.Object a1,
                    java.lang.Object a2,
                    java.lang.Object a3)

finest

default void finest(java.lang.Object a1,
                    java.lang.Object a2,
                    java.lang.Object a3,
                    java.lang.Object a4)

finest

default void finest(java.lang.Object a1,
                    java.lang.Object a2,
                    java.lang.Object a3,
                    java.lang.Object a4,
                    java.lang.Object a5)

finest

default void finest(java.lang.Object... a)

ffinest

default void ffinest(java.lang.String format,
                     java.lang.Object... a)