| java.lang.Object
 gov.nasa.jpf.jvm.Area
gov.nasa.jpf.jvm.StaticArea
| StaticArea | | public class StaticArea extends Area (Code) | | memory area for static fields
|
| containsClass | | public boolean containsClass(String cname)(Code) | | |
| indexOf | | public int indexOf(String cname)(Code) | | Returns the index of a given class.
|
| initializeClasses | | public void initializeClasses()(Code) | | |
| isStatic | | public boolean isStatic()(Code) | | |
| markRoots | | public void markRoots()(Code) | | |
| newClass | | public int newClass(ClassInfo ci)(Code) | | to deal with recursive loads/inits, we don't throw exceptions when encountering
a class that's aleady in. Inclusion is checked by the caller, we just make
sure here it doesn't get initialized twice. However, we cannot add early, silently
step over recursive requests, and initialize when we get out of recursion - the
recursive calls might rely on proper initialization being done, i.e. we
have to initermost
watch out - we can't use this for startup classes (would
end up in infinite recursion)
|
| newStartupClass | | int newStartupClass(ClassInfo ci)(Code) | | this is for the VM bootstrapping, i.e. we can't do clinit or
create class objects yet, but we need to get elements entries
|
|
|