Uses of Interface
gov.nasa.jpf.SystemAttribute

Packages that use SystemAttribute

Package	Description
gov.nasa.jpf.jvm
gov.nasa.jpf.vm

Uses of SystemAttribute in gov.nasa.jpf.jvm

Classes in gov.nasa.jpf.jvm that implement SystemAttribute

Modifier and Type	Class and Description
class	JVMDirectCallStackFrame a direct call stackframe that supports JVM calling conventions

Uses of SystemAttribute in gov.nasa.jpf.vm

Classes in gov.nasa.jpf.vm that implement SystemAttribute

Modifier and Type	Class and Description
class	ApplicationContext auxiliary class that captures the main entry and classloader context of applications
class	DirectCallStackFrame DirectCallStackFrames are only used for overlay calls (from native code), i.e.