org.eclipse.tptp.trace.arm.internal
Class ArmMessages

java.lang.Object
  org.eclipse.tptp.trace.arm.internal.ArmMessages

public class ArmMessages
extends java.lang.Object

This ArmMessages bundle connects a messages resource bundle to provide an interface to the logging interfaces of the TPTP ARM implementation.

Method Summary

static java.lang.String	getFormattedString(java.lang.String key, java.lang.String arg) Returns a string with one parameter.
static java.lang.String	getFormattedString(java.lang.String key, java.lang.String[] args) Returns a string with multiple parameters.
static java.lang.String	getString(java.lang.String key) Returns a string with no parameters.

Methods inherited from class java.lang.Object

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

Method Detail

getFormattedString

public static java.lang.String getFormattedString(java.lang.String key,
                                                  java.lang.String arg)

Returns a string with one parameter.

Parameters:

key - the key that uniquely identifies the string.

arg - the text to fill in as the parameter.

Returns:

a formatted string containing the parameter.

getFormattedString

public static java.lang.String getFormattedString(java.lang.String key,
                                                  java.lang.String[] args)

Returns a string with multiple parameters.

Parameters:

key - the key that uniquely identifies the string.

args - the strings to fill in as the parameters.

Returns:

a formatted string containing the parameters.

getString

public static java.lang.String getString(java.lang.String key)

Returns a string with no parameters.

Parameters:

key - the key that uniquely identifies the string.

Returns:

the string identified by the given key.