gov.nasa.jpf.vm

Class ConfigAttributor

java.lang.Object

gov.nasa.jpf.vm.DefaultAttributor

gov.nasa.jpf.vm.ConfigAttributor

All Implemented Interfaces:

Attributor

public class ConfigAttributor
extends DefaultAttributor

A configuration file-driven attributor so that we can tailor JPF's attributor based on the application under test. The input file looks like: # This is a comment [atomic] (true|false) ... [relevance] (always|never|runnables|sync) ...

Author:

Owen O'Malley

Constructor Summary

Constructors

Constructor and Description
ConfigAttributor(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
void	setMethodInfoAttributes(MethodInfo mi)

Methods inherited from class gov.nasa.jpf.vm.DefaultAttributor

setElementInfoAttributes, setFieldInfoAttributes

Methods inherited from class java.lang.Object

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

Constructor Detail

ConfigAttributor

public ConfigAttributor(Config conf)

Method Detail

setMethodInfoAttributes

public void setMethodInfoAttributes(MethodInfo mi)

Specified by:

setMethodInfoAttributes in interface Attributor

Overrides:

setMethodInfoAttributes in class DefaultAttributor