gov.nasa.jpf.vm

Interface Attributor

All Known Implementing Classes:

ConfigAttributor, DefaultAttributor

public interface Attributor

interface to configure various method and field attributes at class load time

Method Summary

Methods

Modifier and Type	Method and Description
void	setElementInfoAttributes(ClassInfo ci)
void	setFieldInfoAttributes(FieldInfo fi)
void	setMethodInfoAttributes(MethodInfo mi)

Method Detail

setMethodInfoAttributes

void setMethodInfoAttributes(MethodInfo mi)

setFieldInfoAttributes

void setFieldInfoAttributes(FieldInfo fi)

setElementInfoAttributes

void setElementInfoAttributes(ClassInfo ci)