Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
ConfigChangeListener
listener for gov.nasa.jpf.Config changes.
|
Error
class used to store property violations (property and path)
|
GenericProperty
generic abstract base class implementing program properties.
|
JPF.Status |
JPFClassLoader
classloader that is used by Config to instantiate from JPF configured
paths.
|
JPFConfigException
this class wraps the various exceptions we might encounter during
initialization and use of Config
|
JPFException
common root for all exceptions thrown by JPF
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
Property
abstraction that is used by Search objects to determine if program
properties have been violated (e.g.
|
PropertyListenerAdapter
abstract base class that dummy implements Property, Search- and VMListener methods
convenient for creating listeners that act as properties, just having to override
the methods they need
the only local functionality is that instances register themselves automatically
as property when the search is started
<2do> rewrite once GenericProperty is an interface
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
SystemAttribute
a type tag for attributes used by JPF
SystemAttributes are protected by the .util.ObjectList API against accidental
set(..) overwrite, they have to be removed by forceSet(..)
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
GenericProperty
generic abstract base class implementing program properties.
|
JPF
main class of the JPF verification framework.
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
ListenerAdapter
Adapter class that dummy implements both VMListener and SearchListener interfaces
Used to ease implementation of listeners that only process a few notifications
|
Property
abstraction that is used by Search objects to determine if program
properties have been violated (e.g.
|
PropertyListenerAdapter
abstract base class that dummy implements Property, Search- and VMListener methods
convenient for creating listeners that act as properties, just having to override
the methods they need
the only local functionality is that instances register themselves automatically
as property when the search is started
<2do> rewrite once GenericProperty is an interface
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Error
class used to store property violations (property and path)
|
JPF
main class of the JPF verification framework.
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
ListenerAdapter
Adapter class that dummy implements both VMListener and SearchListener interfaces
Used to ease implementation of listeners that only process a few notifications
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Error
class used to store property violations (property and path)
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
Property
abstraction that is used by Search objects to determine if program
properties have been violated (e.g.
|
State
abstraction of JPF execution state that can be queried and stored by
listeners
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
JPF
main class of the JPF verification framework.
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
ListenerAdapter
Adapter class that dummy implements both VMListener and SearchListener interfaces
Used to ease implementation of listeners that only process a few notifications
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
JPF
main class of the JPF verification framework.
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
ListenerAdapter
Adapter class that dummy implements both VMListener and SearchListener interfaces
Used to ease implementation of listeners that only process a few notifications
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
JPF
main class of the JPF verification framework.
|
JPFShell
type that can be used to instantiate and run a JPF object
Shell objects can be configured via the JPF 'shell' property, and are
typically JPF user interface implementations
Instantiation and start() call are done from the JPF.main() method
Usually, JPFShell implementors have a
|
Property
abstraction that is used by Search objects to determine if program
properties have been violated (e.g.
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
GenericProperty
generic abstract base class implementing program properties.
|
JPF
main class of the JPF verification framework.
|
JPFException
common root for all exceptions thrown by JPF
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
ListenerAdapter
Adapter class that dummy implements both VMListener and SearchListener interfaces
Used to ease implementation of listeners that only process a few notifications
|
Property
abstraction that is used by Search objects to determine if program
properties have been violated (e.g.
|
SystemAttribute
a type tag for attributes used by JPF
SystemAttributes are protected by the .util.ObjectList API against accidental
set(..) overwrite, they have to be removed by forceSet(..)
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
Class and Description |
---|
Config
class that encapsulates property-based JPF configuration.
|
JPFListener
this is just a common root type for VMListeners and SearchListeners.
|
ListenerAdapter
Adapter class that dummy implements both VMListener and SearchListener interfaces
Used to ease implementation of listeners that only process a few notifications
|