gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class ReflectUtil

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.ReflectUtil

public class ReflectUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ReflectUtil()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getSignature(java.lang.reflect.Method method)
static java.lang.String	parametersAsString(java.lang.reflect.Method method)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReflectUtil

public ReflectUtil()

Method Detail

getSignature

public static java.lang.String getSignature(java.lang.reflect.Method method)
                                     throws StaticRegionException

Throws:

StaticRegionException

parametersAsString

public static java.lang.String parametersAsString(java.lang.reflect.Method method)
                                           throws StaticRegionException

Throws:

StaticRegionException