gov.nasa.jpf.util

Class ObjectConverter

java.lang.Object

gov.nasa.jpf.util.ObjectConverter

public class ObjectConverter
extends java.lang.Object

Object transformer from Java objects to JPF objects

Constructor Summary

Constructors

Constructor and Description
ObjectConverter()

Method Summary

Modifier and Type	Method and Description
static java.lang.Object	javaObjectFromJPFObject(ElementInfo ei)
static int	JPFObjectFromJavaObject(MJIEnv env, java.lang.Object javaObject) Create JPF object from Java object

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectConverter

public ObjectConverter()

Method Detail

JPFObjectFromJavaObject

public static int JPFObjectFromJavaObject(MJIEnv env,
                                          java.lang.Object javaObject)
                                   throws ClinitRequired

Create JPF object from Java object

Parameters:

env - - MJI environment

javaObject - - java object that is used to created JPF object from

Returns:

reference to new JPF object

Throws:

ClinitRequired

javaObjectFromJPFObject

public static java.lang.Object javaObjectFromJPFObject(ElementInfo ei)