Uses of Class
gov.nasa.jpf.util.JPFLogger

Packages that use JPFLogger

Package	Description
gov.nasa.jpf
gov.nasa.jpf.search
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of JPFLogger in gov.nasa.jpf

Methods in gov.nasa.jpf that return JPFLogger

Modifier and Type	Method and Description
static JPFLogger	JPF.getLogger(String name) use this one to get a Logger that is initialized via our Config mechanism.

Uses of JPFLogger in gov.nasa.jpf.search

Fields in gov.nasa.jpf.search declared as JPFLogger

Modifier and Type	Field and Description
protected static JPFLogger	Search.log

Uses of JPFLogger in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return JPFLogger

Modifier and Type	Method and Description
static JPFLogger	LogManager.getLogger(String name)

Uses of JPFLogger in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as JPFLogger

Modifier and Type	Field and Description
protected static JPFLogger	VM.log