| java.lang.Object U2.T2.Msg.Message
Message | public class Message (Code) | | Utility for producing standards messages in the T2 tool.
|
Method Summary | |
public static void | consolePrint(String msgCode, String msg, Object u) As print, but send the message to the console. | public static void | consolePrint(String msgCode, String msg) As the other console. | public static void | main(String[] args) | public static String | mk(String msgCode, String msg, Object u) For producing a string of message, encapsulated with some T2
standard tagging. | public static String | mk(String msgCode, String msg) As the other mk, except that we have no u parameter. | public static void | print(String msgCode, String msg, Object u, PrintStream out) As but send the message directly to an output stream. | public static void | print(String msgCode, String msg, PrintStream out) As the other print. | public static void | throwT2Error(String msgCode, String msg, PrintStream out) Throwing E2error, and printing its message before the throw. | public static void | throwT2Error(String msgCode, String msg, Throwable cause) | public static void | throwT2Error(String msgCode, String msg) |
GREET | final public static String GREET(Code) | | Just a T2 greeting message.
|
consolePrint | public static void consolePrint(String msgCode, String msg)(Code) | | As the other console.
|
mk | public static String mk(String msgCode, String msg, Object u)(Code) | | For producing a string of message, encapsulated with some T2
standard tagging.
Parameters: msg - A string describing something (like a problem) in u. |
throwT2Error | public static void throwT2Error(String msgCode, String msg, PrintStream out)(Code) | | Throwing E2error, and printing its message before the throw.
|
|
|