gov.nasa.jpf.util

Class ObjectConverter

java.lang.Object

gov.nasa.jpf.util.ObjectConverter

public class ObjectConverter
extends Object

Object transformer from Java objects to JPF objects

Author:

Ivan Mushketik

Constructor Summary

Constructors

Constructor and Description
ObjectConverter()

Method Summary

Methods

Modifier and Type	Method and Description
static Object	javaObjectFromJPFObject(ElementInfo ei)
static int	JPFObjectFromJavaObject(MJIEnv env, 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,
                          Object javaObject)

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

javaObjectFromJPFObject

public static Object javaObjectFromJPFObject(ElementInfo ei)