products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/org/gjt/sp/jedit image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: C

Untersuchung Isabelle©

 products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/org/gjt/sp/jedit/EditBus.html


<!DOCTYPE HTML>
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.7) on Thu Sep 03 05:32:24 CEST 2020 -->
<title>EditBus (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="Style">
<script type="text/javascript" src="../../../../script.js"></script>
<script type="text/javascript" src="../../../../jquery/jszip/dist/jszip.min.js"></script>
<script type="text/javascript" src="../../../../jquery/jszip-utils/dist/jszip-utils.min.js"></script>
<!--[if IE]>
<script type="text/javascript" src="../../../../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
<![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"></script>
<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="EditBus (jEdit API Documentation)";
        }
    }
    catch(err) {
    }
//-->

var data = {"i0":9,"i1":9,"i2":9,"i3":9,"i4":9,"i5":9};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],8:["t4","Concrete Methods"]};
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 navigation links</a></div>
<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/EditBus.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><a href="#nested.class.summary">Nested</a> | </li>
<li>Field | </li>
<li>Constr | </li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail: </li>
<li>Field | </li>
<li>Constr | </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-summary.html">org.gjt.sp.jedit</a></div>
<h2 title="Class EditBus" class="title">Class EditBus</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>org.gjt.sp.jedit.EditBus</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<pre>public class <span class="typeNameLabel">EditBus</span>
extends java.lang.Object</pre>
<div class="block">jEdit's global event notification mechanism.



 Plugins register with the EditBus to receive messages reflecting
 changes in the application's state, including changes in buffers,
 views and edit panes, changes in the set of properties maintained
 by the application, and the closing of the application.<p>

 The EditBus maintains a list of objects that have requested to receive
 messages. When a message is sent using this class, all registered
 components receive it in turn. Classes for objects that subscribe to
 the EditBus must implement the <a href="EBComponent.html" title="interface in org.gjt.sp.jedit"><code>EBComponent</code></a> interface, which
 defines the single method <a href="EBComponent.html#handleMessage(org.gjt.sp.jedit.EBMessage)"><code>EBComponent.handleMessage(EBMessage)</code></a>.<p>

 Alternatively, since jEdit4.3pre19, EditBus components can be any
 object. Handlers for EditBus messages are created by annotating
 methods with the <a href="EditBus.EBHandler.html" title="annotation in org.gjt.sp.jedit"><code>EditBus.EBHandler</code></a> annotation. Such methods should
 expect a single parameter - an edit bus message of any desired type.
 If a message matching the type (or any of its super-types, unless the
 annotation requests exact type matching) is being sent, the annotated
 method will be called instead of the default <a href="EBComponent.html#handleMessage(org.gjt.sp.jedit.EBMessage)"><code>EBComponent.handleMessage(EBMessage)</code></a>. If a handler exists for a
 specific message type, the default handler will not be called.<p>

 A plugin core class that extends the
 <a href="EBPlugin.html" title="class in org.gjt.sp.jedit"><code>EBPlugin</code></a> abstract class (and whose name ends with
 <code>Plugin</code> for identification purposes) will automatically be
 added to the EditBus during jEdit's startup routine. Any other
 class - for example, a dockable window that needs to receive
 notification of buffer changes - must perform its own registration by calling
 <a href="#addToBus(java.lang.Object)"><code>addToBus(Object)</code></a> during its initialization.
 A convenient place to register in a class derived from <code>JComponent</code>
 would be in an implementation of the <code>JComponent</code> method
 <code>addNotify()</code>.<p>

 Message types sent by jEdit can be found in the
 <a href="msg/package-summary.html"><code>org.gjt.sp.jedit.msg</code></a> package.<p>

 Plugins can also send their own messages - any object can send a message to
 the EditBus by calling the static method <a href="#send(org.gjt.sp.jedit.EBMessage)"><code>send(EBMessage)</code></a>.
 Most plugins, however, only concern themselves with receiving, not
 sending, messages.</div>
<dl>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 2.2pre6</dd>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="EBComponent.html" title="interface in org.gjt.sp.jedit"><code>EBComponent</code></a>, 
<a href="EBMessage.html" title="class in org.gjt.sp.jedit"><code>EBMessage</code></a></dd>
</dl>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- ======== NESTED CLASS SUMMARY ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="nested.class.summary">
<!--   -->
</a>
<h3>Nested Class Summary</h3>
<table class="memberSummary">
<caption><span>Nested Classes</span><span class="tabEnd"> </span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colSecond" scope="col">Class</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static interface </code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="EditBus.EBHandler.html" title="annotation in org.gjt.sp.jedit">EditBus.EBHandler</a></span></code></th>
<td class="colLast">
<div class="block">This annotation should be used in methods that are to be
 considered "edit bus message handlers".</div>
</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"> </span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd"> </span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd"> </span></span></caption>
<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="#addToBus(java.lang.Object)">addToBus</a></span>​(java.lang.Object comp)</code></th>
<td class="colLast">
<div class="block">Adds a component to the bus.</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="#addToBus(org.gjt.sp.jedit.EBComponent)">addToBus</a></span>​(<a href="EBComponent.html" title="interface in org.gjt.sp.jedit">EBComponent</a> comp)</code></th>
<td class="colLast">
<div class="block">Adds a component to the bus.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#removeFromBus(java.lang.Object)">removeFromBus</a></span>​(java.lang.Object comp)</code></th>
<td class="colLast">
<div class="block">Removes a component from the bus.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#removeFromBus(org.gjt.sp.jedit.EBComponent)">removeFromBus</a></span>​(<a href="EBComponent.html" title="interface in org.gjt.sp.jedit">EBComponent</a> comp)</code></th>
<td class="colLast">
<div class="block">Removes a component from the bus.</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#send(org.gjt.sp.jedit.EBMessage)">send</a></span>​(<a href="EBMessage.html" title="class in org.gjt.sp.jedit">EBMessage</a> message)</code></th>
<td class="colLast">
<div class="block">Sends a message to all components on the bus in turn.</div>
</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="#sendAsync(org.gjt.sp.jedit.EBMessage)">sendAsync</a></span>​(<a href="EBMessage.html" title="class in org.gjt.sp.jedit">EBMessage</a> message)</code></th>
<td class="colLast">
<div class="block">Schedules a message to be sent on the edit bus as soon as
 the AWT thread is done processing current events.</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, wait</code></li>
</ul>
</li>
</ul>
</section>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ METHOD DETAIL ========== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a id="addToBus(org.gjt.sp.jedit.EBComponent)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addToBus</h4>
<pre class="methodSignature">public static void addToBus​(<a href="EBComponent.html" title="interface in org.gjt.sp.jedit">EBComponent</a> comp)</pre>
<div class="block">Adds a component to the bus. It will receive all messages sent
 on the bus.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>comp</code> - The component to add</dd>
</dl>
</li>
</ul>
<a id="addToBus(java.lang.Object)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addToBus</h4>
<pre class="methodSignature">public static void addToBus​(java.lang.Object comp)</pre>
<div class="block">Adds a component to the bus. Methods annotated with the
 <a href="EditBus.EBHandler.html" title="annotation in org.gjt.sp.jedit"><code>EditBus.EBHandler</code></a> annotation found in the component will
 be used as EditBus message handlers if a message of a
 matching type is sent on the bus.<p>

 If the component implements <a href="EBComponent.html" title="interface in org.gjt.sp.jedit"><code>EBComponent</code></a>, then the
 <a href="EBComponent.html#handleMessage(org.gjt.sp.jedit.EBMessage)"><code>EBComponent.handleMessage(EBMessage)</code></a> method will be
 called for every message sent on the bus.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>comp</code> - The component to add</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 4.3pre19</dd>
</dl>
</li>
</ul>
<a id="removeFromBus(org.gjt.sp.jedit.EBComponent)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeFromBus</h4>
<pre class="methodSignature">public static void removeFromBus​(<a href="EBComponent.html" title="interface in org.gjt.sp.jedit">EBComponent</a> comp)</pre>
<div class="block">Removes a component from the bus.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>comp</code> - The component to remove</dd>
</dl>
</li>
</ul>
<a id="removeFromBus(java.lang.Object)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeFromBus</h4>
<pre class="methodSignature">public static void removeFromBus​(java.lang.Object comp)</pre>
<div class="block">Removes a component from the bus.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>comp</code> - The component to remove</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>4.3pre19</dd>
</dl>
</li>
</ul>
<a id="send(org.gjt.sp.jedit.EBMessage)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>send</h4>
<pre class="methodSignature">public static void send​(<a href="EBMessage.html" title="class in org.gjt.sp.jedit">EBMessage</a> message)</pre>
<div class="block">Sends a message to all components on the bus in turn.
 The message is delivered to components in the AWT thread,
 and this method will wait until all handlers receive the
 message before returning.
 <p>
 This method uses <a href="../util/ThreadUtilities.html#runInDispatchThreadNow(java.lang.Runnable)"><code>ThreadUtilities.runInDispatchThreadNow(java.lang.Runnable)</code></a>,
 read the notes there for possible deadlocks.

 <p><b>NOTE:</b>
 If the calling thread is not the AWT thread and the
 thread is interrupted before or while the call of this
 method, this method can return before completion of handlers.
 However, the interruption state is set in this case, so the
 caller can detect the interruption after the call. If you
 really need the completion of handlers, you should make sure
 the call is in the AWT thread or the calling thread is never
 interrupted. If you don't care about the completion of
 handlers, it is recommended to use
 <a href="#sendAsync(org.gjt.sp.jedit.EBMessage)"><code>sendAsync(EBMessage)</code></a> instead.
 </p></div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>message</code> - The message</dd>
</dl>
</li>
</ul>
<a id="sendAsync(org.gjt.sp.jedit.EBMessage)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>sendAsync</h4>
<pre class="methodSignature">public static void sendAsync​(<a href="EBMessage.html" title="class in org.gjt.sp.jedit">EBMessage</a> message)</pre>
<div class="block">Schedules a message to be sent on the edit bus as soon as
 the AWT thread is done processing current events. The
 method returns immediately (i.e., before the message is
 sent).</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>message</code> - The message</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 4.4pre1</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 navigation links</a></div>
<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/EditBus.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><a href="#nested.class.summary">Nested</a> | </li>
<li>Field | </li>
<li>Constr | </li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail: </li>
<li>Field | </li>
<li>Constr | </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>

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.82Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤





zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff