gov.nasa.jpf.vm

Class ApplicationContext

java.lang.Object

gov.nasa.jpf.vm.ApplicationContext

All Implemented Interfaces:

SystemAttribute

public class ApplicationContext
extends Object
implements SystemAttribute

auxiliary class that captures the main entry and classloader context of applications

Method Summary

Methods

Modifier and Type	Method and Description
String	getHost()
int	getId()
String	getMainClassName()
SystemClassLoaderInfo	getSystemClassLoader()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getId

public int getId()

getMainClassName

public String getMainClassName()

getHost

public String getHost()

getSystemClassLoader

public SystemClassLoaderInfo getSystemClassLoader()

toString

public String toString()

Overrides:

toString in class Object