| gov.nasa.jpf.jvm.Attributor
All known Subclasses: gov.nasa.jpf.jvm.DefaultAttributor,
Attributor | public interface Attributor (Code) | | interface to configure various method and field attributes at class
load time
|
getFieldAttributes | int getFieldAttributes(JavaClass jc, Field f)(Code) | | |
getObjectAttributes | int getObjectAttributes(JavaClass jc)(Code) | | |
getSchedulingRelevance | int getSchedulingRelevance(JavaClass jc, Method mth, String uniqueName)(Code) | | |
isMethodAtomic | boolean isMethodAtomic(JavaClass jc, Method m, String uniqueName)(Code) | | |
|
|