JavaLangCharacterReflection.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.reflection;
00002 
00003 import gov.nasa.arc.ase.jpf.jvm.*;
00004 import gov.nasa.arc.ase.jpf.jvm.reflection.*;
00005 import de.fub.bytecode.generic.InstructionHandle;
00006 
00007 public class JavaLangCharacterReflection extends Reflection {
00008   public InstructionHandle executeStaticMethod(MethodInfo mi, boolean atomic) {
00009     String name = mi.getFullName();
00010 
00011     if(name.equals("java.lang.Character.<clinit>()V")) {
00012       return repeat();
00013     }
00014 
00015     return super.executeStaticMethod(mi, atomic);
00016   }  
00017 }