| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/api/org/gjt/sp/jedit/ |
|
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>Debug (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="Debug (jEdit API Documentation)"; } } catch(err) { } //--> var data = {"i0":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/Debug.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 Debug" class="title">Class Debug</h2> </div> <div class="contentContainer"> <ul class="inheritance"> <li>java.lang.Object</li> <li> <ul class="inheritance"> <li>org.gjt.sp.jedit.Debug</li> </ul> </li> </ul> <div class="description"> <ul class="blockList"> <li class="blockList"> <hr> <pre>public class <span class="typeNameLabel">Debug</span> extends java.lang.Object</pre> <div class="block">This class contains various debugging flags (mainly useful for core development) and debugging routines.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 4.2pre1</dd> </dl> </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 boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ALT_KEY_PRES <td class="colLast"> <div class="block">If true, A+ shortcuts are disabled.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ALTERNATIVE_ <td class="colLast"> <div class="block"><span class="deprecatedLabel">Deprecated.</span> <div class="deprecationComment">no longer used.</div> </div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#BEANSHELL_DE <td class="colLast"> <div class="block">Logs messages when BeanShell code is evaluated.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#CHUNK_CACHE_ <td class="colLast"> <div class="block">For checking invalidation, etc.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#CHUNK_PAINT_ <td class="colLast"> <div class="block">Paints boxes around chunks.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#DISABLE_GLYP <td class="colLast"> <div class="block">Paint strings instead of glyph vectors.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#DISABLE_MULT <td class="colLast"> <div class="block">Disable multihead support, since it can cause window positioning problems with some Java versions.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#DISABLE_SEAR <td class="colLast"> <div class="block">Create new search dialogs instead of reusing instances.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#DUMP_KEY_EVE <td class="colLast"> <div class="block">Dump key events received by text area?</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#EB_TIMER">EB_ <td class="colLast"> <div class="block">Show time taken for each EBComponent.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#FOLD_DEBUG">F <td class="colLast"> <div class="block">For checking fold level invalidation, etc.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#FOLD_VIS_DEB <td class="colLast"> <div class="block">For checking the line visibility structure..</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#GEOMETRY_WOR <td class="colLast"> <div class="block">Geometry workaround for X11.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#INDENT_DEBUG <td class="colLast"> <div class="block">Indent debug.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#OFFSET_DEBUG <td class="colLast"> <div class="block">Print messages when the gap moves, and other offset manager state changes.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#PAINT_TIMER"> <td class="colLast"> <div class="block">Show time taken to repaint text area painter.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#PRINT_DEBUG"> <td class="colLast"> <div class="block">Printing debug.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#SCREEN_LINES <td class="colLast"> <div class="block">Print messages when screen line counts change.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#SCROLL_DEBUG <td class="colLast"> <div class="block">Print messages when text area and display manager perform scroll updates.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#SCROLL_TO_DE <td class="colLast"> <div class="block">Print messages when text area tries to make the caret visible.</div> </td> </tr> <tr class="altColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#SCROLL_VERIF <td class="colLast"> <div class="block">Display an error if the scrolling code detects an inconsistency.</div> </td> </tr> <tr class="rowColor"> <td class="colFirst"><code>static boolean</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#TOKEN_MARKER <td class="colLast"> <div class="block">For checking context, etc.</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 int</code></td> <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#compDelay(lo <td class="colLast"> <div class="block">Does a computational delay.</div> </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="OFFSET_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>OFFSET_DEBUG</h4> <pre>public static boolean OFFSET_DEBUG</pre> <div class="block">Print messages when the gap moves, and other offset manager state changes.</div> </li> </ul> <a id="SCROLL_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>SCROLL_DEBUG</h4> <pre>public static boolean SCROLL_DEBUG</pre> <div class="block">Print messages when text area and display manager perform scroll updates.</div> </li> </ul> <a id="SCROLL_TO_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>SCROLL_TO_DEBUG</h4> <pre>public static boolean SCROLL_TO_DEBUG</pre> <div class="block">Print messages when text area tries to make the caret visible.</div> </li> </ul> <a id="SCROLL_VERIFY"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>SCROLL_VERIFY</h4> <pre>public static boolean SCROLL_VERIFY</pre> <div class="block">Display an error if the scrolling code detects an inconsistency. This kills performance!</div> </li> </ul> <a id="SCREEN_LINES_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>SCREEN_LINES_DEBUG</h4> <pre>public static boolean SCREEN_LINES_DEBUG</pre> <div class="block">Print messages when screen line counts change.</div> </li> </ul> <a id="TOKEN_MARKER_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>TOKEN_MARKER_DEBUG</h4> <pre>public static boolean TOKEN_MARKER_DEBUG</pre> <div class="block">For checking context, etc.</div> </li> </ul> <a id="FOLD_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>FOLD_DEBUG</h4> <pre>public static boolean FOLD_DEBUG</pre> <div class="block">For checking fold level invalidation, etc.</div> </li> </ul> <a id="FOLD_VIS_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>FOLD_VIS_DEBUG</h4> <pre>public static boolean FOLD_VIS_DEBUG</pre> <div class="block">For checking the line visibility structure..</div> </li> </ul> <a id="CHUNK_CACHE_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>CHUNK_CACHE_DEBUG</h4> <pre>public static boolean CHUNK_CACHE_DEBUG</pre> <div class="block">For checking invalidation, etc.</div> </li> </ul> <a id="CHUNK_PAINT_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>CHUNK_PAINT_DEBUG</h4> <pre>public static boolean CHUNK_PAINT_DEBUG</pre> <div class="block">Paints boxes around chunks.</div> </li> </ul> <a id="PAINT_TIMER"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>PAINT_TIMER</h4> <pre>public static boolean PAINT_TIMER</pre> <div class="block">Show time taken to repaint text area painter.</div> </li> </ul> <a id="EB_TIMER"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>EB_TIMER</h4> <pre>public static boolean EB_TIMER</pre> <div class="block">Show time taken for each EBComponent.</div> </li> </ul> <a id="DISABLE_GLYPH_VECTOR"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>DISABLE_GLYPH_VECTOR</h4> <pre>public static boolean DISABLE_GLYPH_VECTOR</pre> <div class="block">Paint strings instead of glyph vectors.</div> </li> </ul> <a id="BEANSHELL_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>BEANSHELL_DEBUG</h4> <pre>public static boolean BEANSHELL_DEBUG</pre> <div class="block">Logs messages when BeanShell code is evaluated.</div> </li> </ul> <a id="ALTERNATIVE_DISPATCHER"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>ALTERNATIVE_DISPATCHER</h4> <pre>@Deprecated public static boolean ALTERNATIVE_DISPATCHER</pre> <div class="deprecationBlock"><span class="deprecatedLabel">Deprecated.</span> <div class="deprecationComment">no longer used.</div> </div> </li> </ul> <a id="ALT_KEY_PRESSED_DISABLED"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>ALT_KEY_PRESSED_DISABLED</h4> <pre>public static boolean ALT_KEY_PRESSED_DISABLED</pre> <div class="block">If true, A+ shortcuts are disabled. If you use this, you should also remap the the modifiers so that A+ is actually something else. <b>On by default on MacOS.</b></div> </li> </ul> <a id="GEOMETRY_WORKAROUND"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>GEOMETRY_WORKAROUND</h4> <pre>public static boolean GEOMETRY_WORKAROUND</pre> <div class="block">Geometry workaround for X11.</div> </li> </ul> <a id="DUMP_KEY_EVENTS"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>DUMP_KEY_EVENTS</h4> <pre>public static boolean DUMP_KEY_EVENTS</pre> <div class="block">Dump key events received by text area?</div> </li> </ul> <a id="INDENT_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>INDENT_DEBUG</h4> <pre>public static boolean INDENT_DEBUG</pre> <div class="block">Indent debug.</div> </li> </ul> <a id="PRINT_DEBUG"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>PRINT_DEBUG</h4> <pre>public static boolean PRINT_DEBUG</pre> <div class="block">Printing debug.</div> </li> </ul> <a id="DISABLE_SEARCH_DIALOG_POOL"> <!-- --> </a> <ul class="blockList"> <li class="blockList"> <h4>DISABLE_SEARCH_DIALOG_POOL</h4> <pre>public static boolean DISABLE_SEARCH_DIALOG_POOL</pre> <div class="block">Create new search dialogs instead of reusing instances. <b> Off by default on Mac OS because it can cause search dialogs to show up on the wrong space. </b></div> </li> </ul> <a id="DISABLE_MULTIHEAD"> <!-- --> </a> <ul class="blockListLast"> <li class="blockList"> <h4>DISABLE_MULTIHEAD</h4> <pre>public static boolean DISABLE_MULTIHEAD</pre> <div class="block">Disable multihead support, since it can cause window positioning problems with some Java versions.</div> <dl> <dt><span class="simpleTagLabel">Since:</span></dt> <dd>jEdit 4.3pre1</dd> </dl> </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>Debug</h4> <pre>public Debug()</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="compDelay(long)"> <!-- --> </a> <ul class="blockListLast"> <li class="blockList"> <h4>compDelay</h4> <pre class="methodSignature">public static int compDelay(long time)</pre> <div class="block">Does a computational delay. Simulates heavy computations for the given period of time. Used to force conditions that are hard to reproduce, for example deadlock cases.</div> <dl> <dt><span class="paramLabel">Parameters:</span></dt> <dd><code>time</code> - Required delay, in ms</dd> <dt><span class="returnLabel">Returns:</span></dt> <dd>an integer</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/Debug.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.62 Sekunden (vorverarbeitet) ¤ |
Laden
Fehler beim Verzeichnis:
in der Quellcodebibliothek suchenDie farbliche Syntaxdarstellung ist noch experimentell.Bot Zugriff |
