gov.nasa.jpf.vm

Class ApplicationContext

java.lang.Object

gov.nasa.jpf.vm.ApplicationContext

All Implemented Interfaces:

SystemAttribute

public class ApplicationContext
extends java.lang.Object
implements SystemAttribute

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

Method Summary

Modifier and Type	Method and Description
java.lang.String[]	getArgs()
FinalizerThreadInfo	getFinalizerThread()
java.lang.String	getHost()
int	getId()
IntTable<java.lang.String>	getInternStrings()
java.lang.String	getMainClassName()
SystemClassLoaderInfo	getSystemClassLoader()
void	setFinalizerThread(ThreadInfo ti)
java.lang.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 java.lang.String getMainClassName()

getHost

public java.lang.String getHost()

getArgs

public java.lang.String[] getArgs()

getSystemClassLoader

public SystemClassLoaderInfo getSystemClassLoader()

getFinalizerThread

public FinalizerThreadInfo getFinalizerThread()

setFinalizerThread

public void setFinalizerThread(ThreadInfo ti)

getInternStrings

public IntTable<java.lang.String> getInternStrings()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object