gov.nasa.jpf.util

Class Reflection

java.lang.Object

gov.nasa.jpf.util.Reflection

public class Reflection
extends java.lang.Object

reflection utilities

Constructor Summary

Constructors

Constructor and Description
Reflection()

Method Summary

Modifier and Type	Method and Description
static java.lang.Class<?>	getCallerClass()
static <T> java.lang.Class<? extends T>	getCallerClass(java.lang.Class<T> type)
static java.lang.Class<?>	getCallerClass(int up) find callers class
static java.lang.StackTraceElement	getCallerElement()
static java.lang.StackTraceElement	getCallerElement(int up)
static boolean	tryCallMain(java.lang.Class<?> cls, java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

Reflection

public Reflection()

Method Detail

getCallerClass

public static java.lang.Class<?> getCallerClass(int up)

find callers class

Parameters:

up - levels upwards from our caller (NOT counting ourselves)

Returns:

caller class, null if illegal 'up' value

getCallerClass

public static java.lang.Class<?> getCallerClass()

getCallerClass

public static <T> java.lang.Class<? extends T> getCallerClass(java.lang.Class<T> type)

getCallerElement

public static java.lang.StackTraceElement getCallerElement(int up)

getCallerElement

public static java.lang.StackTraceElement getCallerElement()

tryCallMain

public static boolean tryCallMain(java.lang.Class<?> cls,
                                  java.lang.String[] args)
                           throws java.lang.reflect.InvocationTargetException

Throws:

java.lang.reflect.InvocationTargetException