public class ObjectConverter extends Object
Constructor and Description |
---|
ObjectConverter() |
Modifier and Type | Method and Description |
---|---|
static Object |
javaObjectFromJPFObject(ElementInfo ei) |
static int |
JPFObjectFromJavaObject(MJIEnv env,
Object javaObject)
Create JPF object from Java object
|
public static int JPFObjectFromJavaObject(MJIEnv env, Object javaObject)
env
- - MJI environmentjavaObject
- - java object that is used to created JPF object frompublic static Object javaObjectFromJPFObject(ElementInfo ei)