| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/org/gjt/sp/util/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: Sprache: HTMLOriginal von: Isabelle© |
|
||
<!DOCTYPE HTML>
<!-- NewPage --> <html lang="en"> <head> <!-- Generated by javadoc (11.0.7) on Thu Sep 03 05:32:24 CEST 2020 --> <title>Log (jEdit API Documentation)</title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="dc.created" content="2020-09-03"> <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title= <script type="text/javascript" src="../../../../script.js"></script> <script type="text/javascript" src="../../../../jquery/jszip/dist/jszip.min.js"></scr <script type="text/javascript" src="../../../../jquery/jszip-utils/dist/jszip-utils <!--[if IE]> <script type="text/javascript" src="../../../../jquery/jszip-utils/dist/jszip-utils <![endif]--> <script type="text/javascript" src="../../../../jquery/jquery-3.3.1.js"></script> <script type="text/javascript" src="../../../../jquery/jquery-migrate-3.0.1.js"></scr <script type="text/javascript" src="../../../../jquery/jquery-ui.js"></script> </head> <body> <script type="text/javascript"><!-- try { if (location.href.indexOf('is-external=true') == -1) { parent.document.title="Log (jEdit API Documentation)"; } } catch(err) { } //--> var data = {"i0":9,"i1":9,"i2":9,"i3":9,"i4":9,"i5":9,"i6":9,"i7":9,"i8":9,"i9":9," var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],8:["t4","Concrete var altColor = "altColor"; var rowColor = "rowColor"; var tableTab = "tableTab"; var activeTableTab = "activeTableTab"; var pathtoroot = "../../../../"; var useModuleDirectories = true; loadScripts(document, 'script');</script> <header role="banner"> <nav role="navigation"> <div class="fixedNav"> <!-- ========= START OF TOP NAVBAR ======= --> <div class="topNav"><a id="navbar.top"> <!-- --> </a> <div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navig <a id="navbar.top.firstrow"> <!-- --> </a> <ul class="navList" title="Navigation"> <li><a href="../../../../index.html">Overview</a></li> <li><a href="package-summary.html">Package</a></li> <li class="navBarCell1Rev">Class</li> <li><a href="class-use/Log.html">Use</a></li> <li><a href="package-tree.html">Tree</a></li> <li><a href="../../../../deprecated-list.html">Deprecated</a></li> <li><a href="../../../../index-files/index-1.html">Index</a></li> <li><a href="../../../../help-doc.html">Help</a></li> </ul> </div> <div class="subNav"> <ul class="navList" id="allclasses_navbar_top"> <li><a href="../../../../allclasses.html">All Classes</a></li> </ul> <ul class="navListSearch"> <li><label for="search">SEARCH:</label> <input type="text" id="search" value="search" disabled="disabled"> <input type="reset" id="reset" value="reset" disabled="disabled"> </li> </ul> <div> <script type="text/javascript"><!-- allClassesLink = document.getElementById("allclasses_navbar_top"); if(window==top) { allClassesLink.style.display = "block"; } else { allClassesLink.style.display = "none"; } //--> </script> </div> <div> <ul class="subNavList"> <li>Summary: </li> <li>Nested | </li> <li><a href="#field.summary">Field</a> | </li> <li><a href="#constructor.summary">Constr</a> | </li> <li><a href="#method.summary">Method</a></li> </ul> <ul class="subNavList"> <li>Detail: </li> <li><a href="#field.detail">Field</a> | </li> <li><a href="#constructor.detail">Constr</a> | </li> <li><a href="#method.detail">Method</a></li> </ul> </div> <a id="skip.navbar.top"> <!-- --> </a></div> <!-- ========= END OF TOP NAVBAR ========= --> </div> <div class="navPadding"> </div> <script type="text/javascript"><!-- $('.navPadding').css('padding-top', $('.fixedNav').css("height")); //--> </script> </nav> </header> <!-- ======== START OF CLASS DATA ======== --> <main role="main"> <div class="header"> <div class="subTitle"><span class="packageLabelInType">Package</span> <a href="package-summ <h2 title="Class Log" class="title">Class Log</h2> </div> <div class="contentContainer"> <ul class="inheritance"> <li>java.lang.Object</li> <li> <ul class="inheritance"> <li>org.gjt.sp.util.Log</li> </ul> </li> </ul> <div class="description"> <ul class="blockList"> <li class="blockList"> <hr> <pre>public class <span class="typeNameLabel">Log</span> extends java.lang.Object</pre> <div class="block">This class provides methods for logging events. In terms of functionality, it is somewhere in between <code>System.out.println()</code> and full-blown logging packages such as log4j.<p> All events are logged to an in-memory buffer and optionally a stream, and those with a high urgency (warnings and errors) are also printed to standard output.<p> Logging of exception tracebacks is supported.<p> This class can also optionally redirect standard output and error to the log, see <a href="#init(boolean,int)"><code>init(boolean, int)</code></a>.</div> </li> </ul> </div> <div class="summary"> <ul class="blockList"> <li class="blockList"> <!-- =========== FIELD SUMMARY =========== --> <section role="region"> <ul class="blockList"> <li class="blockList"><a id="field.summary"> <!-- --> </a> <h3>Field Summary</h3> <table class="memberSummary"> <caption><span>Fields</span><span class="tabEnd"> </span></caption> <tr> <th class="colFirst" scope="col">Modifier and Type</th> <th class="colSecond" scope="col">Field</th> <th class="colLast" scope="col">Description</th> </tr> <tr class="altColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#DEBUG">DEBUG</ <td class="colLast"> <div class="block">Debugging message urgency.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ERROR">ERROR</ <td class="colLast"> <div class="block">Error urgency.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#MAXLINES">MAX <td class="colLast"> <div class="block">The maximum number of log messages that will be kept in memory.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#MESSAGE">MESS <td class="colLast"> <div class="block">Message urgency.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#NOTICE">NOTIC <td class="colLast"> <div class="block">Notice urgency.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static java.util.List<java.lang.Throwable></code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#throwables">t <td class="colLast"> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#WARNING">WARN <td class="colLast"> <div class="block">Warning urgency.</div> </td> </tr> </table> </li> </ul> </section> <!-- ======== CONSTRUCTOR SUMMARY ======== --> <section role="region"> <ul class="blockList"> <li class="blockList"><a id="constructor.summary"> <!-- --> </a> <h3>Constructor Summary</h3> <table class="memberSummary"> <caption><span>Constructors</span><span class="tabEnd"> </span></caption> <tr> <th class="colFirst" scope="col">Constructor</th> <th class="colLast" scope="col">Description</th> </tr> <tr class="altColor"> <th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3C <td class="colLast"> </td> </tr> </table> </li> </ul> </section> <!-- ========== METHOD SUMMARY =========== --> <section role="region"> <ul class="blockList"> <li class="blockList"><a id="method.summary"> <!-- --> </a> <h3>Method Summary</h3> <table class="memberSummary"> <caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd"> </sp <tr> <th class="colFirst" scope="col">Modifier and Type</th> <th class="colSecond" scope="col">Method</th> <th class="colLast" scope="col">Description</th> </tr> <tr id="i0" class="altColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#closeStream( <td class="colLast"> <div class="block">Closes the log stream.</div> </td> </tr> <tr id="i1" class="rowColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#flushStream( <td class="colLast"> <div class="block">Flushes the log stream.</div> </td> </tr> <tr id="i2" class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBeepOnOut <td class="colLast"> </td> </tr> <tr id="i3" class="rowColor"> <td class="colFirst"><code>static javax.swing.ListModel<java.lang.String></code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getLogListMo <td class="colLast"> <div class="block">Returns the list model for viewing the log contents.</div> </td> </tr> <tr id="i4" class="altColor"> <td class="colFirst"><code>static int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getMaxLinex( <td class="colLast"> </td> </tr> <tr id="i5" class="rowColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#init(boolean int level)</code></th> <td class="colLast"> <div class="block">Initializes the log.</div> </td> </tr> <tr id="i6" class="altColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#log(int,java java.lang.Object source, java.lang.Object message)</code></th> <td class="colLast"> <div class="block">Logs a message.</div> </td> </tr> <tr id="i7" class="rowColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#log(int,java java.lang.Object source, java.lang.Object message, java.lang.Throwable exception)</code></th> <td class="colLast"> <div class="block">Logs an exception with a message.</div> </td> </tr> <tr id="i8" class="altColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setBeepOnOut <td class="colLast"> <div class="block">When <code>beepOnOutput</code> is set, every output going to standard error is signaled by a standard beep.</div> </td> </tr> <tr id="i9" class="rowColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setLogWriter <td class="colLast"> <div class="block">Writes all currently logged messages to this stream if there was no stream set previously, and sets the stream to write future log messages to.</div> </td> </tr> <tr id="i10" class="altColor"> <td class="colFirst"><code>static void</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setMaxLines( <td class="colLast"> </td> </tr> </table> <ul class="blockList"> <li class="blockList"><a id="methods.inherited.from.class.java.lang.Object"> <!-- --> </a> <h3>Methods inherited from class java.lang.Object</h3> <code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, </ul> </li> </ul> </section> </li> </ul> </div> <div class="details"> <ul class="blockList"> <li class="blockList"> <!-- ============ FIELD DETAIL =========== --> <section role="region"> <ul class="blockList"> <li class="blockList"><a id="field.detail"> <!-- --> </a> <h3>Field Detail</h3> <a id="MAXLINES"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>MAXLINES</h4> <pre>public static int MAXLINES</pre> <div class="block">The maximum number of log messages that will be kept in memory.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.6pre5</dd> </dl> </li> </ul> <a id="DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>DEBUG</h4> <pre>public static final int DEBUG</pre> <div class="block">Debugging message urgency. Should be used for messages only useful when debugging a problem.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.2pre2</dd> <dt><span class="seeLabel">See Also:</span></dt> <dd><a href="../../../../constant-values.html#org.gjt.sp.util.Log.DEBUG">Constant Fiel </dl> </li> </ul> <a id="MESSAGE"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>MESSAGE</h4> <pre>public static final int MESSAGE</pre> <div class="block">Message urgency. Should be used for messages which give more detail than notices.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.2pre2</dd> <dt><span class="seeLabel">See Also:</span></dt> <dd><a href="../../../../constant-values.html#org.gjt.sp.util.Log.MESSAGE">Constant Fi </dl> </li> </ul> <a id="NOTICE"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>NOTICE</h4> <pre>public static final int NOTICE</pre> <div class="block">Notice urgency. Should be used for messages that directly affect the user.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.2pre2</dd> <dt><span class="seeLabel">See Also:</span></dt> <dd><a href="../../../../constant-values.html#org.gjt.sp.util.Log.NOTICE">Constant Fie </dl> </li> </ul> <a id="WARNING"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>WARNING</h4> <pre>public static final int WARNING</pre> <div class="block">Warning urgency. Should be used for messages that warrant attention.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.2pre2</dd> <dt><span class="seeLabel">See Also:</span></dt> <dd><a href="../../../../constant-values.html#org.gjt.sp.util.Log.WARNING">Constant Fi </dl> </li> </ul> <a id="ERROR"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>ERROR</h4> <pre>public static final int ERROR</pre> <div class="block">Error urgency. Should be used for messages that signal a failure.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.2pre2</dd> <dt><span class="seeLabel">See Also:</span></dt> <dd><a href="../../../../constant-values.html#org.gjt.sp.util.Log.ERROR">Constant Fiel </dl> </li> </ul> <a id="throwables"> <!-- --> </a> <ul class="blockListLast"> <li class="blockList"> <h4>throwables</h4> <pre>public static final java.util.List<java.lang.Throwable> throwables</pre> </li> </ul> </li> </ul> </section> <!-- ========= CONSTRUCTOR DETAIL ======== --> <section role="region"> <ul class="blockList"> <li class="blockList"><a id="constructor.detail"> <!-- --> </a> <h3>Constructor Detail</h3> <a id="<init>()"> <!-- --> </a> <ul class="blockListLast"> <li class="blockList"> <h4>Log</h4> <pre>public Log()</pre> </li> </ul> </li> </ul> </section> <!-- ============ METHOD DETAIL ========== --> <section role="region"> <ul class="blockList"> <li class="blockList"><a id="method.detail"> <!-- --> </a> <h3>Method Detail</h3> <a id="init(boolean,int)"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>init</h4> <pre class="methodSignature">public static void init(boolean stdio, int level)</pre> <div class="block">Initializes the log.</div> <dl> <dt><span class="paramLabel">Parameters:</span></dt> <dd><code>stdio</code> - If true, standard output and error will be intercepted and sent to the log. The <code>urgency</code> for these implicit log entries is <code>NOTICE</code> and <code>ERROR</code> accordingly. Note that in such a situation <code>System.out.print()</code> calls will not appear on standard output, if default output level is higher than <code>NOTICE</code>.</dd> <dd><code>level</code> - Messages with this log level or higher will be printed to the system console.</dd> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 3.2pre4</dd> </dl> </li> </ul> <a id="setLogWriter(java.io.Writer)"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>setLogWriter</h4> <pre class="methodSignature">public static void setLogWriter(java.io.Writer stream)</pre> <div class="block">Writes all currently logged messages to this stream if there was no stream set previously, and sets the stream to write future log messages to.</div> <dl> <dt><span class="paramLabel">Parameters:</span></dt> <dd><code>stream</code> - The writer</dd> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 3.2pre4</dd> </dl> </li> </ul> <a id="getBeepOnOutput()"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>getBeepOnOutput</h4> <pre class="methodSignature">public static boolean getBeepOnOutput()</pre> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 5.1pre1</dd> </dl> </li> </ul> <a id="setBeepOnOutput(boolean)"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>setBeepOnOutput</h4> <pre class="methodSignature">public static void setBeepOnOutput(boolean beepOnOutput)</p <div class="block">When <code>beepOnOutput</code> is set, every output going to standard error is signaled by a standard beep. This is intended for debugging purposes, to allow for immediate problem detection.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 5.1pre1</dd> </dl> </li> </ul> <a id="setMaxLines(int)"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>setMaxLines</h4> <pre class="methodSignature">public static void setMaxLines(int newMax)</pre> </li> </ul> <a id="getMaxLinex()"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>getMaxLinex</h4> <pre class="methodSignature">public static int getMaxLinex()</pre> </li> </ul> <a id="flushStream()"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>flushStream</h4> <pre class="methodSignature">public static void flushStream()</pre> <div class="block">Flushes the log stream.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.6pre5</dd> </dl> </li> </ul> <a id="closeStream()"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>closeStream</h4> <pre class="methodSignature">public static void closeStream()</pre> <div class="block">Closes the log stream. Should be done before your program exits.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.6pre5</dd> </dl> </li> </ul> <a id="getLogListModel()"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>getLogListModel</h4> <pre class="methodSignature">public static javax.swing.ListModel<java.lang.String> getLo <div class="block">Returns the list model for viewing the log contents.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 4.2pre1</dd> </dl> </li> </ul> <a id="log(int,java.lang.Object,java.lang.Object,java.lang.Throwable)"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>log</h4> <pre class="methodSignature">public static void log(int urgency, java.lang.Object source, java.lang.Object message, java.lang.Throwable exception)</pre> <div class="block">Logs an exception with a message. If an exception is the cause of a call to <a href="#log"><code>log</code></a>, then the exception should be explicitly provided so that it can be presented to the (debugging) user in a useful manner (not just the exception message, but also the exception stack trace)</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 4.3pre5</dd> </dl> </li> </ul> <a id="log(int,java.lang.Object,java.lang.Object)"> <!-- --> </a> <ul class="blockListLast"> <li class="blockList"> <h4>log</h4> <pre class="methodSignature">public static void log(int urgency, java.lang.Object source, java.lang.Object message)</pre> <div class="block">Logs a message. This method is thread-safe.<p> The following code sends a typical debugging message to the activity log: <pre>Log.log(Log.DEBUG,this,"counter = " + counter);</pre> The corresponding activity log entry might read as follows: <pre>[debug] JavaParser: counter = 15</pre></div> <dl> <dt><span class="paramLabel">Parameters:</span></dt> <dd><code>urgency</code> - The urgency; can be one of <code>Log.DEBUG</code>, <code>Log.MESSAGE</code>, <code>Log.NOTICE</code>, <code>Log.WARNING</code>, or <code>Log.ERROR</code>.</dd> <dd><code>source</code> - The source of the message, either an object or a class instance. When writing log messages from macros, set this parameter to <code>BeanShell.class</code> to make macro errors easier to spot in the activity log.</dd> <dd><code>message</code> - The message. This can either be a string or an exception</dd> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 2.2pre2</dd> </dl> </li> </ul> </li> </ul> </section> </li> </ul> </div> </div> </main> <!-- ========= END OF CLASS DATA ========= --> <footer role="contentinfo"> <nav role="navigation"> <!-- ======= START OF BOTTOM NAVBAR ====== --> <div class="bottomNav"><a id="navbar.bottom"> <!-- --> </a> <div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip na <a id="navbar.bottom.firstrow"> <!-- --> </a> <ul class="navList" title="Navigation"> <li><a href="../../../../index.html">Overview</a></li> <li><a href="package-summary.html">Package</a></li> <li class="navBarCell1Rev">Class</li> <li><a href="class-use/Log.html">Use</a></li> <li><a href="package-tree.html">Tree</a></li> <li><a href="../../../../deprecated-list.html">Deprecated</a></li> <li><a href="../../../../index-files/index-1.html">Index</a></li> <li><a href="../../../../help-doc.html">Help</a></li> </ul> </div> <div class="subNav"> <ul class="navList" id="allclasses_navbar_bottom"> <li><a href="../../../../allclasses.html">All Classes</a></li> </ul> <div> <script type="text/javascript"><!-- allClassesLink = document.getElementById("allclasses_navbar_bottom"); if(window==top) { allClassesLink.style.display = "block"; } else { allClassesLink.style.display = "none"; } //--> </script> </div> <div> <ul class="subNavList"> <li>Summary: </li> <li>Nested | </li> <li><a href="#field.summary">Field</a> | </li> <li><a href="#constructor.summary">Constr</a> | </li> <li><a href="#method.summary">Method</a></li> </ul> <ul class="subNavList"> <li>Detail: </li> <li><a href="#field.detail">Field</a> | </li> <li><a href="#constructor.detail">Constr</a> | </li> <li><a href="#method.detail">Method</a></li> </ul> </div> <a id="skip.navbar.bottom"> <!-- --> </a></div> <!-- ======== END OF BOTTOM NAVBAR ======= --> </nav> </footer> </body> </html> ¤ Dauer der Verarbeitung: 0.56 Sekunden (vorverarbeitet) ¤ |
Laden
Fehler beim Verzeichnis:
in der Quellcodebibliothek suchenDie farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
