package nhandler.conversion;
import nhandler.conversion.jpf2jvm.JPF2JVMConverter;
import nhandler.conversion.jpf2jvm.JPF2JVMGenericConverter;
import nhandler.conversion.jvm2jpf.JVM2JPFConverter;
import nhandler.conversion.jvm2jpf.JVM2JPFGenericConverter;
/**
* Default factory to create type specific converter
*
* @author Nastaran Shafiei
*/
public class DefaultConverterFactory implements ConverterFactory {
private static JPF2JVMConverter jpf2jvmconverter;
private static JVM2JPFConverter jvm2jpfconverter;
@Override
public JPF2JVMConverter getJPF2JVMConverter (String clsName) {
if(jpf2jvmconverter==null) {
jpf2jvmconverter = new JPF2JVMGenericConverter();
}
return jpf2jvmconverter;
}
@Override
public JVM2JPFConverter getJVM2JPFConverter (String clsName) {
if(jvm2jpfconverter==null) {
jvm2jpfconverter = new JVM2JPFGenericConverter();
}
return jvm2jpfconverter;
}
}