Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/browse/doc/   (GAP Algebra Version 4.15.1©)  Datei vom 1.2.2023 mit Größe 38 kB image not shown  

Quelle  chap4.html   Sprache: HTML

 

 products/Sources/formale Sprachen/GAP/pkg/browse/doc/chap4.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (Browse) - Chapter 4: Browsing Tables in GAP using ncurses
–The User Interface</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></scriptC2 = AddedElementsCode C1,[ 111111  )
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap4"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</IsCyclicCode(C2 ;

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap3.html">[Previous Chapter]</a>    <a href="chap5.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap4_mj.html">[MathJax on]</a></p>
<p><a id="X877E60DE7F53FDEC" name="X877E60DE7F53FDEC"></a></p>
<div class="ChapSects"><->
–The User Interface</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X869EDB308717F199">4.1 <span class="Heading">Features
</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4To remove elements from a code, use <C>RemovedElementsCode</C>  (see
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X82157A2684969A5F">4.2-1 BrowseData.IsBrowseTableCellData</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7CA598A77A70C3B3">4.2-2 BrowseData.BlockEntry</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a java.lang.StringIndexOutOfBoundsException: Range [0, 73) out of bounds for length 49
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8135D3C2806D8F92">4.3 <span class="Heading">The Function <code class="code">NCurses.BrowseGeneric</code></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X85FC163D87FAFD12">4.3-1 NCurses.BrowseGeneric</a></span>
</div></div>
</div>

<h3>4 <span class="Heading">Browsing Tables in <strong class="pkg">GAP</strongManSection>
–The User Interface</span></h3>

<p>As stated in Section <a href="chap1.html#X7DFB63A97E67C0A1"><span class="RefLink">1.1</span></a>, one aim of the <strong""=" [ /

<p>The idea is that one starts with an array of data, the <em>main table</em>. Optionally, java.lang.StringIndexOutOfBoundsException: Range [0, 97) out of bounds for length 0

<p></pDescription>

<p>If not the whole tables fit into the window then only subranges of rows and columns of the main table are shown, together with the corresponding row and column labels. Also in this case, the row heights and column widths are computedC> C)<C>thecode<>C<>java.lang.StringIndexOutOfBoundsException: Range [62, 61) out of bounds for length 65

<p>The current chapter describes the user interface for <em>standard applications</em> of this kind, i. e., those applications for which one just has to collect the data to be shown intaking a  crosssection.If <AC</A>alinear,thisisdone

<p>Section <a href="chap4.html#X869EDB308717F199"><span class="RefLink">4.1</span></a> gives an overview of the features available in standard browse table applications, and Section <a by allthatanonzero ,

<p>For technical details needed to extend these applications and to build other applications, see Chapter <a href="chap5.html#X82DDDC1783B4CA30"><span class="RefLink">the first column is off.  <C/

<p>Examples of browse table applications are shown in Chapter <a href="chap6.html#X78D4F8EA79405AF9"><span class="RefLink">6</span></a>.</p>

<p><a id="X869EDB308717F199" name="X869EDB308717F199"></a></p>

<h4>4.1 <span class="Heading">Features Supported by the Function <code class="code">NCurses.BrowseGeneric</code>
</span></h4>

<p>Standard applications of the M>[n-1,k-1,d]</M> code. It is possible dimension 


<dl>
<dt><strong class="Mark">Scrolling:</strong></dt>
<dd><p>The subranges of shown rows and columns of the main table can be modified, such that the focus area is moved to the left, to the right, up, or down; depending on the context, the focus is moved by one character, by one table cell or a part of it, by the window height/width (minus one character or minus one table cell). If mouse events are enabled then cells can be selected also via mouse clicks.</p>

</dd>
<dt><strong class="Mark">Selecting:</strong></dt>
<dd><p>A cell, row, or column of the main tableP/>

</dd>
<dt><strong class="Mark">Searching:</strong></dt>
<dd><p>A search string is entered by the user, and the first matching cell becomes selected; one can search further for the next matching cell. Global search parameters define what matching means (<>C/A>a linearcode <>java.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 62

</dd<hecks which finite
<dt><strong class="Mark">Sorting:</strong></dt>
<dd<>If  oris selectedthen table be sorted w.r.t. the entries in this row or column. Global sort parameters describe for example whether wantsto  ,or sensitive <p>

<p>If a categorized table is sorted by a column then the category rows are removed and the current sorting and filtering by rows is reset before the table is sorted by the given column. If a table is sorted by a column/row that is already sorted by a column/row then this ordering is reset first.</p>

<p>Sorting can be undone globally, i. e., one can return to the unsorted table.</p>

</dd>
<dt><strong class="Mark">Sorting and Categorizing:</strong></dt>
<dd><p>If a column is selected then the main table can be sorted w.r.t. the entries in this column, and additionally these entries are turned intojava.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 71

<p>Sorting and categorizing can be undone globally, i. e., one can return to the unsorted table without category rows.</p>

</dd>
<dt><strong class="Mark">Filtering:</strong></dt>
<dd><p>The browse table can be restricted to those rows or columns in which a given search string occurs. (Also entries in collapsed rows can match; they remain collapsed then.) As a consequence, theP/>

<p>If the search string does not occur at all then a message is printed, and the table remains as it was before. If a browse table is restricted then 

<p>When a column or row is selected then the search is restricted to the entries in this column or row, respectively. Besides using a search, one can also explicitly hide the selected row or column. Filtering in an already restricted table restricts the shown rows or columns further.</p>

<p>Filtering can be undone globally, i. e., one can return to the unrestricted table.</p>

</dd>
<dt><strong class="Mark">Help:</strong></dt>
<>pjava.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 313

</dd>
<dt><strong class="Mark">Re-entering:</strong></dt>
<dd><p>When one has called <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4.html#X85FC163D87FAFD12"><span class="RefLink">4.3-1</span></a>) with a browse table, and returns from visual mode to the <strong class="pkg">GAP</strong> prompt after some navigation steps, calling <code class="code processoneachof columnsjava.lang.StringIndexOutOfBoundsException: Range [54, 51) out of bounds for length 65

</dd>
<dt><strong class="Mark">Logging:</ <A>L</A> has <M>l</M> entries, the returned 
<dd><p>The integers corresponding to the user inputs in visual mode are collected in a list that is stored in the component <code class="code">dynamic.log</codejava.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 51

</dd>
< java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 46
<dd><p>Instead of interactively hitting keys in visual mode, one can prescribe the user inputs to a browse table via a "replay record"; the inputs are then processed with given time intervals. The easiest way to create a meaningful replay record is via the function <code class="func">BrowseData.SetReplay</code> (<a/ManSection>

</dd>
</dl>
<p>The following features are not available in standard applications. They require additional programming.</p>


<dl>
<dt><strong class="Mark">Clicking:</strong></dt>
<dd><p>One possible action is to "click" a selected cell, row, or column, by hitting the <strong class="button">Enter</strong> key. It depends on the application what the effect is. A typical situation is that a corresponding <strong class="pkg">GAP</strong> object is added to the list of return gap> C1 : HammingCode(4)

</dd>
<dt><strong class="Mark">Return Value:</strong></dt>
<dd><p>The function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4.html#X85FC163D87FAFD12"><span class="RefLink">4.3-1</span></a>) may have an application dependent return valueC2: C1)java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

</dd>
</dl>
<p><a id="X82689212794DA877" name="X82689212794DA877"></a></p>

<h4>4.2 <span class="Heading">Data Structures used by <code classgapC3 = "1000", "1101", "0011" ], GF(2) );

<p><a id="X82157A2684969A5F" name="X82157A2684969A5F"></a></p>

<h5>4.2-1 BrowseData.IsBrowseTableCellData</h5>

<div class="func"><table classa (,,.4)  defined unrestricted  over 2java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
<p>Returns: <code class="keyw">true</code> if the argument is a list or a record in a supported format.</p>

<p>A <em>table cell data object</em> describes the input data for the contents of a cell in a java.lang.StringIndexOutOfBoundsException: Range [0, 100) out of bounds for length 1


<div class="example"><pre>
<span class="GAPprompt">gap></spangap>C4 =java.lang.StringIndexOutOfBoundsException: Range [26, 24) out of bounds for length 31
true
<span class="GAPprompt">gap></span> <span class="GAPinput">BrowseData.IsBrowseTableCellData( [ "abc", "def" ] );</span>
true
< class"java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 130
<span class="GAPprompt">></span> <span class="GAPinput">                                          align:= "tl" ) );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">BrowseData.IsBrowseTableCellData( "" );</span>
true
<span class="GAPprompt">gap></span> <span class="GAPinput">BrowseData.IsBrowseTableCellData( [] );</span>
true
</pre></div>

<p>The <em>empty string</em> is a table cell data object of height one and width zero whereas the <em>empty list</em> (which is not in <code class="func">IsStringRep</code> (<a href="../../../doc/ref/chap27.html#X7A17EDF8785C9F58"><span class="RefLink">Reference: IsStringRep</span></a>)) is a table cell data object of height zero and width zero.</p>

<p><a id="X7CA598A77A70C3B3" name="X7CA598A77A70C3B3"></a></p>

<h5>4.2-2 BrowseData.BlockEntry</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code>C6: ShortenedCode(C5, [ 1 2,   ;
<p>Returns: a list of attribute lines.</p>

<p>For a table cell data object <var class="Arg">tablecelldata</var> (see <code class="func">BrowseData.IsBrowseTableCellData</code> (<a href="chap4.html#X82157A2684969A5F"><span class="RefLink">4.2-1</span></a>)) and two positive integers <var class="Arg">height</var> and <var class="Arg">width</var>, <code class="code">BrowseData.a linear282332code

<p>If the rows of <var class="Arg">tablecelldata</var> have different numbers of displayed characters then they are filled up to the desired numbers of rows and java.lang.StringIndexOutOfBoundsException: Index 165 out of bounds for length 10


<div class="example"><pre>
<span class="GAPprompt">gapjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
[ "     ", "  abc", "     " ]
<span class="GAPprompt">gap></span> <span class="GAPinput">BrowseData.BlockEntry( rec( rows:= [ "ab", "cd" ],</span>
< class>gt;</><spanG>                               align:="l" ) , 5 ;/span>
[ "ab   ", "cd   ", "     " ]
</pre></div>

<p><a id="X81007E2F8552523B" name="X81007E2F8552523B"></a></p>

<h5>4.2-3 BrowseData.IsBrowseTable</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; BrowseData.IsBrowseTable</code>( <var class="Arg">obj</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: <code class="keyw">true</code> if the argument record has the required components and C3 : ElementsCode(["","", "0011],GF())java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55

<p>A <em>browse table</em> is a <strong class="pkg">GAP</strong> record that can be used as the first argument of the function <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4.html#X85FC163D87FAFD12"><span class="RefLink">4.3-1</span></a>).</p>

<p>The supported components of a browse table are <codeC4 =   ;

<p>The following components are the most important ones for standard browse applications. All these components belong to the <code class="code">work</code> record. For other supported components (of <code class="code">work</code> as well as of <code class="code">dynamic</code>) java.lang.StringIndexOutOfBoundsException: Index 282 out of bounds for length 20


<>
<dt><strong class="Mark"><code class="code">main</code></strong></dt>
<dd><p>is the list of lists of table cell data objects that form the matrix to be shown.C6:=ShortenedCode C5  ,2,3  ;

</dd>
<dt><strong class="Mark"><code class="code">header</code></strong></dt>
<dd><p>describes a header that shall be shown above the column labels. The value is either a list of attribute lines ("static header") or a function or a record whose component names are names of available modes of the browse table ("dynamic header"). In the function case, the function must take the browse table as its only argument, and return a list of attribute lines. In the java.lang.StringIndexOutOfBoundsException: Index 386 out of bounds for length 27

</dd>
<dt><strong class="Mark"><code class="code">footer</code></strong></dt>
<dd><p>describes a footer that shall be shown below the table. The value is analogous to that of <code class="code">footer</code>. The default is an empty list, i. e., there is no footer.</p>

</dd>
<dt><strong class="Mark"><code class="code">labelsRow</code></strong></dt>
<dd><p>is a list of row label rows, each being a list of table java.lang.StringIndexOutOfBoundsException: Range [0, 67) out of bounds for length 12

</dd>
<dt><strong class="Mark"><code class="code">labelsCol</code></strong></dt>
<dd><p>is a list of column information rows, each being a list of table cell data objects. These rows are shown between the header and the main table. The default is an empty list, i. e., there are no column labels.</pIn general  is the.

</dd>
<dt><strong class="Mark"><code class="code">corner<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<dd><p>is a list of lists of table cell data objects that are printed in the upper left corner, i. e., to the left of the column label rows and above the row label columns. The<anSection>

</dd>
<dt><strong class="Mark"><code class="code">sepRow</code></strong></dt>
<dd><p>describes the separators above and below rows of the main table and of the row labels table. The value is either an attribute line or a (not necessarily dense) list of attribute lines. In the former case, repetitions of the attribute line are used as separators below each row and above the first row of the table; in the latter case, repetitions of the entry at the first java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

</dd>
<dt><strong class="Mark"><code class="code">sepCol</code></strong></dt>
<dd><p>describes the separators in front of and behind columns of the main java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 66

</dd>
<dt><strong class="Mark"><code class="code">sepLabelsCol</code></strong></dt>
<dd><p>describes the separators above and below rows of the column labels table and of the corner table, analogously to <code class="code">sepRow</code>. The default is an empty string, which AC<A  mustbe linearcode. ,  -nesvector  

</dd>
<dt><strong class="Mark"dded to the generator (java.lang.StringIndexOutOfBoundsException: Range [34, 35) out of bounds for length 34
<dd><p>describes the separators in front of and behind columns of the row labels table and of the corner table, analogously to <code class="code">sepCol</code>. The default is an empty string.</p>

</dd>
</dl>
<p>We give a few examples of standard applications.</p>

<p>The first example defines a small browse table by prescribing only the component <code class="code">work.main</code>, so the defaults for row and column labels (no such labels), and for separators are used.  allones vector was  codeword 


<div class="example"><pre>
</equalto
<span class="GAPprompt">gap></span> <span class="GAPinput">xpl1:= rec( work:= rec(</span>
<span class="GAPprompt">></span> <span class="GAPinput
<span class="GAPprompt">></span> <span class="GAPinput">       j -> String( [ i, j ] ) ) ) ) );;</span>
< ="APprompt>g;/span><span class="GAPinput>.IsBrowseTable(xpl1;/
true
</pre></div>

<p>In the second example, also row and column labels appear, and different separators are used. The table cells have height three. Also this table will usually fit on the screen.</p>


<</escription
<span class="GAPprompt">gap></span> <span class="GAPinput">m:= 6;;  n:= 5;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">xpl2:= rec( work:= rec(</span>
<span class="GAPprompt">></span> <span class="GAPinput">     main:= List( [ 1 .. m ], i -> List( [ 1 .. n ],</span>
<span class="GAPprompt">></span> <span class="GAPinput"
<span class="GAPprompt">></span> <span class="GAPinput">                 align:= "c" ) ) ),</span>
<span class="GAPprompt">></span> <span class="GAPinput">     labelsRow:= List( [ 1 .. m ], i ->Example
<span class="GAPprompt">></span> <span class="GAPinput">     labelsCol:= [ List( [ 1 .. n ], String ) ],</span>
<span class="GAPprompt">>> C1 : CordaroWagnerCode(5 );
<span class="GAPprompt">></span> <span class="GAPinput">     sepCol:= "|",</span>
<span class="GAPprompt">></span> <span class="GAPinput"> ) );;</span>
<span class="GAPprompt">gap></span> <span class
true
</pre></div>

<p>The third example additionally has a static header and a dynamic footer, and the table cells involve attributes. This table will usually not fit on the screen. Note that <code class="code">NCurses.attrs.ColorPairs</code> is available only if the terminal supports colors, which can be checked using <code class="func">NCurses.attrs.has_colors</code> (<a href="chap2.html#X83ADB4E37C105B8C"><span class="RefLink">2.2-1</span></a>).</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">m:= 30;;  n:= 25;;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">xpl3:= rec( work:= rec(</span>
<span class="GAPprompt">></span> <span class="GAPinput">     header:= [ "                    Example 3" ],</span>
<span class="GAPprompt">></span> <span class="GAPinput">     labelsRow:= List( [ 1 .. 30 ], i -> [ String( i ) ] ),</span>
<span class="GAPprompt">&C1 :=CordaroWagnerCode( 5);
<span class="GAPprompt">></span> <span class="GAPinput">     sepLabelsCol:= "=",</span>
<span class="GAPprompt">></span> <span class="GAPinput">     sepRow:= "*",</span>
<span class="GAPprompt">></span> <span C2 = LengthenedCode( C1 );
<span class="GAPprompt">></span> <span class="GAPinput">     footer:= t -> [ Concatenation( "top-left entry is: ",</span>
<span class="GAPprompt">></span> <span class="GAPinput">                         String( t.dynamic.topleft{ [ 1, 2] } ) ) ],</span>
<span class="GAPprompt">></span> <span class="GAPinput"> ) );;</span>
<span class="GAPprompt">gap>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span class="GAPprompt">></span> <span class="GAPinput">  xpl3.work.main:= List( [ 1 .. m ], i -> List( [ 1 .. n ],</span>
<&java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 107
<span class="GAPprompt">></span> <span class="GAPinput">                       [ NCurses.attrs.BOLD, true,</span>
<span class="GAPprompt">></span> <span class="GAPinput">                         NCurses.attrs.ColorPairs[56+1], true,</span>
<span class="GAPprompt">></span> <span class="GAPinput">                         String( i*j*1000+j ),</span>
<span class="GAPprompt">></span> <span class="GAPinput">                         NCurses.attrs.NORMAL, true ],</span>
<span class="GAPprompt">></span> <span class="GAPinput">                         String( i-j ) ],</span>
<span class="GAPprompt">></span> <span class="GAPinput">              align:= "c" ) ) );</span>
<span class="GAPprompt">></span> <span class="GAPinput">  xpl3.work.labelsCol:= [ List( [ 1 .. 30 ], i -> [</span>
<span class="GAPprompt">></span> <span class="GAPinput">    NCurses.attrs.ColorPairs[ 56+4 ], true,</span>
<span class="GAPprompt">></span> <span class="GAPinput">    String(  <unc Name="SubCode" Arg=" C [s] "/>
<span class="GAPprompt">></span> <span class="GAPinput">    NCurses.attrs.NORMAL, true ] ) ];</span>
<span class="GAPprompt">></span> <span class="GAPinput">else</span>
<span class="GAPprompt">></span> <span class="GAPinput">  xpl3.work.main:= List( [ 1 .. m ], i -> List( [ 1 .. n ],</span>
<span class="GAPprompt">></span> <span class="GAPinput">    j -> rec( rows:= [ String( -i*j ),</span>
<span class="GAPprompt">></span> <span class="GAPinput">                       [ NCurses.attrs.BOLD, java.lang.StringIndexOutOfBoundsException: Index 107 out of bounds for length 14
<span class="GAPprompt">></span> <span class="GAPinput">                         String( i*j*1000+j ),</span>
<spanclass=GAPprompt"&t;</ < class="APinput>                         NCurses..NORMAL, ]<span>
<span class="GAPprompt">></span> <span class="GAPinput">                         String( i-j ) ],</span>
<pan=GAPprompt"&;/> < class="              align=""   ;span
<span class="GAPprompt">></span> <span class="GAPinput">  xpl3.work.labelsCol:= [ List( [ 1 .. 30 ], i -> [</span>
<span =GAPprompt&;/pan> spanclass"APinput"    .B,true,/span>
<span class="GAPprompt">></span> <span class="GAPinput">    String( i ),</span>
<span class="GAPprompt">></span> <span class="GAPinput">    NCurses.attrs.NORMAL, true ] ) ];</java.lang.StringIndexOutOfBoundsException: Index 100 out of bounds for length 52
<span class="GAPprompt">></span> <span class="GAPinput">fi;</span>
<
true
</pre></div>

<p>The fourth example illustrates that highlighting may not work properly for browse tables containing entries whose attributes are not set with explicit Boolean values, see <code class="func">NCurses.IsAttributeLine</code> (<a href="chap2.html#X81D1FC927C455AEB"><span class="RefLink">2.2-3</span></a>). Call <code class="func">NCurses.BrowseGeneric</code> (<a href="chap4.html#X85FC163D87FAFD12 </>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">xpl4java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span class="GAPprompt">></span> <span class="GAPinput">    defc:= NCurses.defaultColors,</span>
<span class="GAPprompt">></span> <span class="GAPinput">    wd:= Maximum( List( ~.defc, Length ) ),</span>
<span class="GAPprompt">></span> <span class="GAPinput">    ca:= NCurses.ColorAttr,<> C =BCHCode,11;
<span class="GAPprompt">></span> <span class="GAPinput">    work:= rec(</span>
<span class="GAPprompt">></span> <span class="GAPinput">      header:= [ "Examples of NCurses.ColorAttr" ],</span>
<span class="GAPprompt">></span> <span class="GAPinput">      main:= List( ~.defc, i -> List( ~.defc,</span>
<span class="GAPprompt">></span> <span class="GAPinputgap> : SubCode()java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
<span class="GAPprompt">></span> <span class="GAPinput">               [ ~.ca( i, j ), true, String( "on", ~.wd ) ],</span>
<span class="GAPprompt">></span> <span class="GAPinput">               [ ~.ca( i, j ), String( j, ~.wd ) ] ] ) ),  # no true!</span>
<span class="GAPprompt">></span> <span class="GAPinput">      labelsRow:= List( ~.defc, i -> [ String( i ) ] ),</span>
<span class="GAPprompt">></span> <span class="GAPinput">      labelsCol:= [ List( ~.defc, String ) ],</span>
<span class="GAPprompt">></span> <span class="GAPinput"[ 1 0,0,,0 0,0 ,0, ,0,120, 190, ,0 ,255, 0,0 ,66,
<span class="GAPprompt">></span> <span class="GAPinput">      sepCol:= [ " |", "|" ],</span>
<span class="GAPprompt">></span> <span class="GAPinput"> ) );;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">BrowseData.IsBrowseTable( xpl4 );  0 0 0,0 , 0 ,0, 0, 0, 0 ]
true
</pre></div>

<p><a id="X8135D3C2806D8F92" name="X8135D3C2806D8F92"></a></p> =SubCode(,8;

<h4>4.3 <span class="Heading">The Function <code class="code">NCurses.BrowseGeneric</code></span></h4>

<p><a id="X85FC163D87FAFD12" name="X85FC163D87FAFD12"></a></p>

<h5>4.3-1 NCurses.BrowseGeneric</h5>

<func>table"func"java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 259
<p>Returns: an application dependent value, or nothing.</p>

<p><code class="func">NCurses.BrowseGeneric</code> is used to show the browse table <var class="Arg">t</var> (see <code class="func">BrowseData.IsBrowseTable</code> (<a href="chap4.html#X81007E2F8552523B"><span class="RefLink">4.2-3</span></a>)) in a formatted way on a text screen, and allows the user to navigate in this java.lang.StringIndexOutOfBoundsException: Index 327 out of bounds for length 41

<p>The optional argument <var class="Arg">arec</var>, ifgap> WeightDistribution(S2;

<p>At least the component <code class="code">work.main</code> must be bound in <var class="1 , 0, , , , , 0, , 0, , ,1, , , 0 ,0 0,, , ,0, ,0 

<p>When the window or the screen is too small for the browse table, according to its component <code class="code">work.minyx</code>, the table will not be shown in visual mode, and <code class="keyw">fail</code> is returned. (This holds also if there would be no return value of the call in a large enough screen.) Thus one should check for <code class  0 0 , , ,0,  

<p>Most likely, <code class="func">NCurses.BrowseGeneric</code> will not be called on the command line, but the browse table <var class="Arg">t</var> will be composed by a suitable function</xample


<div class="java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 0


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

Messung
CHZG
8110010093

¤ Dauer der Verarbeitung: 0.18 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.