Examples of nhandler.conversion.jvm2jpf.JVM2JPFGenericConverter

nhandler.conversion.jvm2jpf.JVM2JPFGenericConverter
This class is used to convert objects and classes from JVM to JPF. This is only applicable on types which are compatible between JPF and JVM, meaning that the same classes are used to represent them in both environments. @author Nastaran Shafiei

  }


  @Override
  public JVM2JPFConverter getJVM2JPFConverter (String clsName) {
    if(jvm2jpfconverter==null) {
      jvm2jpfconverter = new JVM2JPFGenericConverter();
    }
    return jvm2jpfconverter;
  }

View Full Code Here

TOP

Related Classes of nhandler.conversion.jvm2jpf.JVM2JPFGenericConverter

gov.nasa.jpf.vm.ClassInfo

gov.nasa.jpf.vm.FieldInfo

nhandler.conversion.DefaultConverterFactory

java.lang.reflect.Field

nhandler.conversion.ConversionException

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.