gov.nasa.jpf.util

Class Right

java.lang.Object

gov.nasa.jpf.util.Right

public class Right
extends java.lang.Object

right justified output <2do> this is not worth a class! use a general TextFormatter

Constructor Summary

Constructors

Constructor and Description
Right()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	format(int value, int digits)
static java.lang.String	format(java.lang.String value, int spaces)
static java.lang.String	format(java.lang.String value, int spaces, char ch)

Methods inherited from class java.lang.Object

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

Constructor Detail

Right

public Right()

Method Detail

format

public static java.lang.String format(java.lang.String value,
                                      int spaces,
                                      char ch)

format

public static java.lang.String format(java.lang.String value,
                                      int spaces)

format

public static java.lang.String format(int value,
                                      int digits)