gov.nasa.jpf.vm

Class ClinitRequired

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

gov.nasa.jpf.vm.ClinitRequired

All Implemented Interfaces:

java.io.Serializable

public class ClinitRequired
extends java.lang.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

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ClinitRequired(ClassInfo ci)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, 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 java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable