| java.lang.Object gov.nasa.jpf.jvm.DefaultAttributor
All known Subclasses: gov.nasa.jpf.jvm.ConfigAttributor,
DefaultAttributor | public class DefaultAttributor implements Attributor(Code) | | default Attributor implementation to set method and fiel attributes
at class load time. Note this is critical functionality, esp.
with respect to threading
|
getFieldAttributes | public int getFieldAttributes(JavaClass jc, Field f)(Code) | | |
getObjectAttributes | public int getObjectAttributes(JavaClass jc)(Code) | | answer the type based object attributes for this class. See
ElementInfo for valid choices
|
getSchedulingRelevance | public int getSchedulingRelevance(JavaClass jc, Method mth, String uniqueName)(Code) | | is calling a certain method in the context of multiple runnable threads
scheduling relevant (i.e. has to be considered as a step boundary
|
isMethodAtomic | public boolean isMethodAtomic(JavaClass jc, Method mth, String uniqueName)(Code) | | |
|
|