001: //
002: // Copyright (C) 2005 United States Government as represented by the
003: // Administrator of the National Aeronautics and Space Administration
004: // (NASA). All Rights Reserved.
005: //
006: // This software is distributed under the NASA Open Source Agreement
007: // (NOSA), version 1.3. The NOSA has been approved by the Open Source
008: // Initiative. See the file NOSA-1.3-JPF at the top of the distribution
009: // directory tree for the complete NOSA document.
010: //
011: // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
012: // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
013: // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
014: // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
015: // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
016: // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
017: // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
018: //
019:
020: package gov.nasa.jpf.jvm;
021:
022: /**
023: * MJI NativePeer class for java.io.PrintStream library abstraction
024: */
025: class JPF_java_io_PrintStream {
026:
027: /****************************************************************************
028: * these are the native methods we intercept
029: */
030:
031: public static void print__C(MJIEnv env, int objref, char c) {
032: env.getVM().print(c);
033: }
034:
035: public static void print__D(MJIEnv env, int objref, double d) {
036: env.getVM().print(d);
037: }
038:
039: public static void print__F(MJIEnv env, int objref, float f) {
040: env.getVM().print(f);
041: }
042:
043: public static void print__I(MJIEnv env, int objref, int i) {
044: env.getVM().print(i);
045: }
046:
047: public static void print__J(MJIEnv env, int objref, long j) {
048: env.getVM().print(j);
049: }
050:
051: public static void print__Ljava_lang_String_2(MJIEnv env,
052: int objRef, int strRef) {
053: env.getVM().print(env.getStringObject(strRef));
054: }
055:
056: public static void print__Z(MJIEnv env, int objref, boolean z) {
057: env.getVM().print(z);
058: }
059:
060: public static void println__(MJIEnv env, int objRef) {
061: env.getVM().println();
062: }
063:
064: public static void println__C(MJIEnv env, int objref, char c) {
065: env.getVM().print(c);
066: env.getVM().println();
067: }
068:
069: public static void println__D(MJIEnv env, int objref, double d) {
070: env.getVM().print(d);
071: env.getVM().println();
072: }
073:
074: public static void println__F(MJIEnv env, int objref, float f) {
075: env.getVM().print(f);
076: env.getVM().println();
077: }
078:
079: public static void println__I(MJIEnv env, int objref, int i) {
080: env.getVM().print(i);
081: env.getVM().println();
082: }
083:
084: public static void println__J(MJIEnv env, int objref, long j) {
085: env.getVM().print(j);
086: env.getVM().println();
087: }
088:
089: public static void println__Ljava_lang_String_2(MJIEnv env,
090: int objRef, int strRef) {
091: env.getVM().println(env.getStringObject(strRef));
092: }
093:
094: public static void println__Z(MJIEnv env, int objref, boolean z) {
095: env.getVM().print(z);
096: env.getVM().println();
097: }
098:
099: public static void write__Ljava_lang_String_2(MJIEnv env,
100: int objref, int strRef) {
101: env.getVM().println(env.getStringObject(strRef));
102: }
103: }
|