---

JavaIoPrintStreamReflection.java

package gov.nasa.arc.ase.jpf.jvm.reflection;

import gov.nasa.arc.ase.jpf.jvm.*;
import de.fub.bytecode.generic.InstructionHandle;

public class JavaIoPrintStreamReflection extends Reflection {
  public InstructionHandle executeMethod(MethodInfo mi, boolean atomic) {
    String name = mi.getFullName();

    if(name.equals("java.io.PrintStream.println()V")) {
      println();
      return exit();
    }

    if(name.equals("java.io.PrintStream.print(Ljava/lang/String;)V")) {
      String s = da.convert2String(th.getLocalVariable(1));
      print(s);
      return exit();
    }

    if(name.equals("java.io.PrintStream.println(Ljava/lang/String;)V")) {
      String s = da.convert2String(th.getLocalVariable(1));
      println(s);
      return exit();
    }

    if(name.equals("java.io.PrintStream.print(I)V")) {
      int i = th.getLocalVariable(1);
      print(i);
      return exit();
    }

    if(name.equals("java.io.PrintStream.println(I)V")) {
      int i = th.getLocalVariable(1);
      println(i);
      return exit();
    }

    if(name.equals("java.io.PrintStream.print(F)V")) {
      float f = Types.intToFloat(th.getLocalVariable(1));
      print(f);
      return exit();
    }

    if(name.equals("java.io.PrintStream.println(F)V")) {
      float f = Types.intToFloat(th.getLocalVariable(1));
      println(f);
      return exit();
    }

    return super.executeMethod(mi, atomic);
  }  
  public boolean isMethodExecutable(MethodInfo mi) {
    String name = mi.getFullName();

    if(name.equals("java.io.PrintStream.println()V"))
      return true;

    if(name.equals("java.io.PrintStream.print(Ljava/lang/String;)V"))
      return true;

    if(name.equals("java.io.PrintStream.println(Ljava/lang/String;)V"))
      return true;

    if(name.equals("java.io.PrintStream.print(I)V"))
      return true;

    if(name.equals("java.io.PrintStream.println(I)V"))
      return true;

    if(name.equals("java.io.PrintStream.print(F)V"))
      return true;

    if(name.equals("java.io.PrintStream.println(F)V"))
      return true;

    return super.isMethodExecutable(mi);
  }  
  public void print(float f) {
    if(VirtualMachine.options.verify_print) System.out.print(f);
  }  
  public void print(int i) {
    if(VirtualMachine.options.verify_print) System.out.print(i);
  }  
  public void print(String s) {
    if(VirtualMachine.options.verify_print) System.out.print(s);
  }  
  public void println() {
    if(VirtualMachine.options.verify_print) System.out.println();
  }  
  public void println(float f) {
    if(VirtualMachine.options.verify_print) System.out.println(f);
  }  
  public void println(int i) {
    if(VirtualMachine.options.verify_print) System.out.println(i);
  }  
  public void println(String s) {
    if(VirtualMachine.options.verify_print) System.out.println(s);
  }  
}

---