gov.nasa.jpf.vm

Class ClinitRequired

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.vm.ClinitRequired

public class ClinitRequired
extends RuntimeException

this one is kind of a hack for situations where we detect deep from the stack that we need a clinit to be executed, but we can't flag this to the currently executed insn via a return value. referencing annotation elements that are enums is a good (bad) example

Field Summary

Fields inherited from class java.lang.Throwable

cause, detailMessage, stackTrace

Constructor Summary

Constructors

Constructor and Description
ClinitRequired(ClassInfo ci)

Method Summary

Methods

Modifier and Type	Method and Description
String	getMessage()

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ClinitRequired

public ClinitRequired(ClassInfo ci)

Method Detail

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable