gov.nasa.jpf.util

Class MethodInfoRegistry

java.lang.Object

gov.nasa.jpf.util.MethodInfoRegistry

public class MethodInfoRegistry
extends java.lang.Object

just a little helper for java.lang.reflect peers <2do> - it's overly simplistic for now

Constructor Summary

Constructors

Constructor and Description
MethodInfoRegistry()

Method Summary

Modifier and Type	Method and Description
MethodInfo	getMethodInfo(MJIEnv env, int objRef, java.lang.String fieldName)
MethodInfo	getRegisteredFieldInfo(int idx)
int	registerMethodInfo(MethodInfo mi)

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodInfoRegistry

public MethodInfoRegistry()

Method Detail

registerMethodInfo

public int registerMethodInfo(MethodInfo mi)

getRegisteredFieldInfo

public MethodInfo getRegisteredFieldInfo(int idx)

getMethodInfo

public MethodInfo getMethodInfo(MJIEnv env,
                                int objRef,
                                java.lang.String fieldName)