gov.nasa.jpf.vm

Class FunctionObjectFactory

java.lang.Object

gov.nasa.jpf.vm.FunctionObjectFactory

public class FunctionObjectFactory
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
FunctionObjectFactory()

Method Summary

Modifier and Type	Method and Description
int	getFunctionObject(int bsIdx, ThreadInfo ti, ClassInfo fiClassInfo, java.lang.String samUniqueName, BootstrapMethodInfo bmi, java.lang.String[] freeVariableTypeNames, java.lang.Object[] freeVariableValues)
void	setFuncObjFields(ElementInfo funcObj, BootstrapMethodInfo bmi, java.lang.String[] freeVarTypeNames, java.lang.Object[] freeVarValues)

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionObjectFactory

public FunctionObjectFactory()

Method Detail

getFunctionObject

public int getFunctionObject(int bsIdx,
                             ThreadInfo ti,
                             ClassInfo fiClassInfo,
                             java.lang.String samUniqueName,
                             BootstrapMethodInfo bmi,
                             java.lang.String[] freeVariableTypeNames,
                             java.lang.Object[] freeVariableValues)

setFuncObjFields

public void setFuncObjFields(ElementInfo funcObj,
                             BootstrapMethodInfo bmi,
                             java.lang.String[] freeVarTypeNames,
                             java.lang.Object[] freeVarValues)