gov.nasa.jpf.vm

Interface Attributor

All Known Implementing Classes:

GenericSharednessPolicy, GlobalSharednessPolicy, PathSharednessPolicy

public interface Attributor

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

Method Summary

Modifier and Type	Method and Description
void	setAttributes(ClassInfo ci)

Method Detail

setAttributes

void setAttributes(ClassInfo ci)