---

JavaIoPrintStreamReflection.java

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

import gov.nasa.arc.ase.jpf.jvm.VirtualMachine;
import gov.nasa.arc.ase.jpf.jvm.MethodInfo;
import gov.nasa.arc.ase.jpf.jvm.bytecode.Instruction;

public class JavaIoPrintStreamReflection extends Reflection {
  public Instruction executeMethod(MethodInfo mi) {
    String name = mi.getFullName();

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

    if(name.equals("print(Ljava/lang/String;)V")) {
      print(getStringArgument(1));
      return exit();
    }

    if(name.equals("println(Ljava/lang/String;)V")) {
      println(getStringArgument(1));
      return exit();
    }

    if(name.equals("print(I)V")) {
      print(getIntArgument(1));
      return exit();
    }

    if(name.equals("println(I)V")) {
      println(getIntArgument(1));
      return exit();
    }

    if(name.equals("print(F)V")) {
      print(getFloatArgument(1));
      return exit();
    }

    if(name.equals("println(F)V")) {
      println(getFloatArgument(1));
      return exit();
    }

    if(name.equals("print(J)V")) {
      print(getLongArgument(1));
      return exit();
    }

    if(name.equals("println(J)V")) {
      println(getLongArgument(1));
      return exit();
    }

    if(name.equals("print(D)V")) {
      print(getDoubleArgument(1));
      return exit();
    }

    if(name.equals("println(D)V")) {
      println(getDoubleArgument(1));
      return exit();
    }

    if(name.equals("print(Z)V")) {
      print(getBooleanArgument(1));
      return exit();
    }

    if(name.equals("println(Z)V")) {
      println(getBooleanArgument(1));
      return exit();
    }

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

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

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

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

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

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

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

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

    if(name.equals("print(Z)V"))
      return true;

    if(name.equals("println(Z)V"))
      return true;

    return super.isMethodExecutable(mi);
  }  
  public void print(double d) {
    if(VirtualMachine.options.verify_print) System.out.print(d);
  }  
  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(long l) {
    if(VirtualMachine.options.verify_print) System.out.print(l);
  }  
  public void print(String s) {
    if(VirtualMachine.options.verify_print) System.out.print(s);
  }  
  public void print(boolean b) {
    if(VirtualMachine.options.verify_print) System.out.print(b);
  }  
  public void println() {
    if(VirtualMachine.options.verify_print) System.out.println();
  }  
  public void println(double d) {
    if(VirtualMachine.options.verify_print) System.out.println(d);
  }  
  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(long l) {
    if(VirtualMachine.options.verify_print) System.out.println(l);
  }  
  public void println(String s) {
    if(VirtualMachine.options.verify_print) System.out.println(s);
  }  
  public void println(boolean b) {
    if(VirtualMachine.options.verify_print) System.out.println(b);
  }  
}

---