Package jline.io

Class InputOutput

java.lang.Object

jline.io.InputOutput

public final class InputOutput
extends Object

Method Summary

Modifier and Type	Method	Description
static void	line_debug(VerboseLevel verbose, String message)	Print debug message if verbose level is DEBUG
static void	line_error(String caller, String msg)
static void	line_warning(String caller, String msg, Object... args)
static void	line_warning_always(String caller, String msg, Object... args)	Emit a warning without the repeat suppression applied by line_warning(java.lang.String, java.lang.String, java.lang.Object...).
static String	mfilename(Object obj)
static void	writeXML(String outputFileName, Document doc)	Writes the given XML Document object to a specified output file.

Methods inherited from class java.lang.Object

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

Method Details

line_debug

public static void line_debug(VerboseLevel verbose,
 String message)

Print debug message if verbose level is DEBUG

line_warning_always

public static void line_warning_always(String caller,
 String msg,
 Object... args)

Emit a warning without the repeat suppression applied by line_warning(java.lang.String, java.lang.String, java.lang.Object...).

line_warning keeps only the last message and hides an identical repeat for 60 seconds. That is right for configuration notices cast once per model, but wrong for a warning that reports a correctness limitation of the analysis: solving several models in one session would then flag only the first one, and the user would read the silence on the others as a clean bill of health. Warnings that say "these numbers are not exact" must be raised for every model they apply to, so they go through here instead. Verbosity gating is unchanged: SILENT still silences everything.

line_warning

public static void line_warning(String caller,
 String msg,
 Object... args)

line_error

public static void line_error(String caller,
 String msg)

mfilename

public static String mfilename(Object obj)

writeXML

public static void writeXML(String outputFileName,
 Document doc)
                     throws TransformerException

Writes the given XML Document object to a specified output file.

Throws:

TransformerException