gov.nasa.jpf.util

Class PrintUtils

java.lang.Object

gov.nasa.jpf.util.PrintUtils

public class PrintUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PrintUtils()

Method Summary

Modifier and Type	Method and Description
static void	printChar(java.io.PrintStream ps, char c)
static void	printCharLiteral(java.io.PrintStream ps, char c)
static void	printReference(java.io.PrintStream ps, int ref)
static void	printStringLiteral(java.io.PrintStream ps, char[] data, int max)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrintUtils

public PrintUtils()

Method Detail

printChar

public static void printChar(java.io.PrintStream ps,
                             char c)

printCharLiteral

public static void printCharLiteral(java.io.PrintStream ps,
                                    char c)

printStringLiteral

public static void printStringLiteral(java.io.PrintStream ps,
                                      char[] data,
                                      int max)

printReference

public static void printReference(java.io.PrintStream ps,
                                  int ref)