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: ring.pvs   Sprache: HTML

Original von: Isabelle©

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


<!DOCTYPE HTML>
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.7) on Thu Sep 03 05:32:24 CEST 2020 -->
<title>Abbrevs (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="Abbrevs (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};
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/Abbrevs.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>Constr | </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>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 Abbrevs" class="title">Class Abbrevs</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>org.gjt.sp.jedit.Abbrevs</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<pre>public class <span class="typeNameLabel">Abbrevs</span>
extends java.lang.Object</pre>
<div class="block">Abbreviation manager.</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 java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ENCODING">ENCODING</a></span></code></th>
<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"> </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="#addGlobalAbbrev(java.lang.String,java.lang.String)">addGlobalAbbrev</a></span>​(java.lang.String abbrev,
               java.lang.String expansion)</code></th>
<td class="colLast">
<div class="block">Adds an abbreviation to the global abbreviation list.</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="#addModeAbbrev(java.lang.String,java.lang.String,java.lang.String)">addModeAbbrev</a></span>​(java.lang.String mode,
             java.lang.String abbrev,
             java.lang.String expansion)</code></th>
<td class="colLast">
<div class="block">Adds a mode-specific abbrev.</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="#expandAbbrev(org.gjt.sp.jedit.View,boolean)">expandAbbrev</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
            boolean add)</code></th>
<td class="colLast">
<div class="block">Expands the abbrev at the caret position in the specified
 view.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getExpandOnInput()">getExpandOnInput</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>static java.util.Hashtable<java.lang.String,​java.lang.String></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getGlobalAbbrevs()">getGlobalAbbrevs</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>static java.util.Hashtable<java.lang.String,​java.util.Hashtable<java.lang.String,​java.lang.String>></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getModeAbbrevs()">getModeAbbrevs</a></span>()</code></th>
<td class="colLast"> </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="#setExpandOnInput(boolean)">setExpandOnInput</a></span>​(boolean expandOnInput)</code></th>
<td class="colLast">
<div class="block">Sets if abbreviations should be expanded after the
 user finishes typing a word.</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="#setGlobalAbbrevs(java.util.Hashtable)">setGlobalAbbrevs</a></span>​(java.util.Hashtable<java.lang.String,​java.lang.String> globalAbbrevs)</code></th>
<td class="colLast">
<div class="block">Sets the global abbreviation set.</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="#setModeAbbrevs(java.util.Hashtable)">setModeAbbrevs</a></span>​(java.util.Hashtable<java.lang.String,​java.util.Hashtable<java.lang.String,​java.lang.String>> modes)</code></th>
<td class="colLast">
<div class="block">Sets the mode-specific abbreviation set.</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">
<!-- ============ FIELD DETAIL =========== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a id="ENCODING">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ENCODING</h4>
<pre>public static final java.lang.String ENCODING</pre>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../../../constant-values.html#org.gjt.sp.jedit.Abbrevs.ENCODING">Constant Field Values</a></dd>
</dl>
</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="getExpandOnInput()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getExpandOnInput</h4>
<pre class="methodSignature">public static boolean getExpandOnInput()</pre>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>if abbreviations should be expanded after the
 user finishes typing a word.</dd>
</dl>
</li>
</ul>
<a id="setExpandOnInput(boolean)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setExpandOnInput</h4>
<pre class="methodSignature">public static void setExpandOnInput​(boolean expandOnInput)</pre>
<div class="block">Sets if abbreviations should be expanded after the
 user finishes typing a word.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>expandOnInput</code> - If true, typing a non-alphanumeric character
 will automatically attempt to expand the current abbrev</dd>
</dl>
</li>
</ul>
<a id="expandAbbrev(org.gjt.sp.jedit.View,boolean)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>expandAbbrev</h4>
<pre class="methodSignature">public static boolean expandAbbrev​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
                                   boolean add)</pre>
<div class="block">Expands the abbrev at the caret position in the specified
 view.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>view</code> - The view</dd>
<dd><code>add</code> - If true and abbrev not found, will ask user if
 it should be added</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>if expanded</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 2.6pre4</dd>
</dl>
</li>
</ul>
<a id="getGlobalAbbrevs()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getGlobalAbbrevs</h4>
<pre class="methodSignature">public static java.util.Hashtable<java.lang.String,​java.lang.String> getGlobalAbbrevs()</pre>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the global abbreviation set.</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 2.3pre1</dd>
</dl>
</li>
</ul>
<a id="setGlobalAbbrevs(java.util.Hashtable)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setGlobalAbbrevs</h4>
<pre class="methodSignature">public static void setGlobalAbbrevs​(java.util.Hashtable<java.lang.String,​java.lang.String> globalAbbrevs)</pre>
<div class="block">Sets the global abbreviation set.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>globalAbbrevs</code> - The new global abbrev set</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 2.3pre1</dd>
</dl>
</li>
</ul>
<a id="getModeAbbrevs()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getModeAbbrevs</h4>
<pre class="methodSignature">public static java.util.Hashtable<java.lang.String,​java.util.Hashtable<java.lang.String,​java.lang.String>> getModeAbbrevs()</pre>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the mode-specific abbreviation set.</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 2.3pre1</dd>
</dl>
</li>
</ul>
<a id="setModeAbbrevs(java.util.Hashtable)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setModeAbbrevs</h4>
<pre class="methodSignature">public static void setModeAbbrevs​(java.util.Hashtable<java.lang.String,​java.util.Hashtable<java.lang.String,​java.lang.String>> modes)</pre>
<div class="block">Sets the mode-specific abbreviation set.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>modes</code> - The new mode abbrev set</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 2.3pre1</dd>
</dl>
</li>
</ul>
<a id="addGlobalAbbrev(java.lang.String,java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addGlobalAbbrev</h4>
<pre class="methodSignature">public static void addGlobalAbbrev​(java.lang.String abbrev,
                                   java.lang.String expansion)</pre>
<div class="block">Adds an abbreviation to the global abbreviation list.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>abbrev</code> - The abbreviation</dd>
<dd><code>expansion</code> - The expansion</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 3.1pre1</dd>
</dl>
</li>
</ul>
<a id="addModeAbbrev(java.lang.String,java.lang.String,java.lang.String)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>addModeAbbrev</h4>
<pre class="methodSignature">public static void addModeAbbrev​(java.lang.String mode,
                                 java.lang.String abbrev,
                                 java.lang.String expansion)</pre>
<div class="block">Adds a mode-specific abbrev.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>mode</code> - The edit mode</dd>
<dd><code>abbrev</code> - The abbrev</dd>
<dd><code>expansion</code> - The expansion</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 3.1pre1</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/Abbrevs.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>Constr | </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>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>

¤ Dauer der Verarbeitung: 0.66 Sekunden  (vorverarbeitet)  ¤





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
sprechenden Kalenders

in der Quellcodebibliothek suchen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff