gov.nasa.jpf.vm

Class DefaultAttributor

java.lang.Object

gov.nasa.jpf.vm.DefaultAttributor

All Implemented Interfaces:

Attributor

Direct Known Subclasses:

ConfigAttributor

public class DefaultAttributor
extends Object
implements Attributor

default Attributor implementation to set method and fiel attributes at class load time. Note this is critical functionality, esp. with respect to threading

Constructor Summary

Constructors

Constructor and Description
DefaultAttributor(Config conf)

Method Summary

Methods

Modifier and Type	Method and Description
void	setElementInfoAttributes(ClassInfo ci) answer the type based object attributes for this class.
void	setFieldInfoAttributes(FieldInfo fi)
void	setMethodInfoAttributes(MethodInfo mi)

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultAttributor

public DefaultAttributor(Config conf)

Method Detail

setMethodInfoAttributes

public void setMethodInfoAttributes(MethodInfo mi)

Specified by:

setMethodInfoAttributes in interface Attributor

setElementInfoAttributes

public void setElementInfoAttributes(ClassInfo ci)

answer the type based object attributes for this class. See ElementInfo for valid choices

Specified by:

setElementInfoAttributes in interface Attributor

setFieldInfoAttributes

public void setFieldInfoAttributes(FieldInfo fi)

Specified by:

setFieldInfoAttributes in interface Attributor