products/sources/formale Sprachen/Isabelle/Tools/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 26 kB image not shown  
< class=">(nbspnbsp><tr>d>
f=#"spanclass"efLink.-<span/>)   the   regionisnegative.  java.lang.StringIndexOutOfBoundsException: Index 250 out of bounds for length 0

<p><a id="X8508A72B7C215FA5" name="X8508A72B7C215FA5">

gleObj>

< =func>tableclass =00%"<>tdclass""< class=">ShareSingleObj>(var5">spanclass""39-<><) the the ">hareSingleObj(a hrefchap3.tml508A72B7C215FA5A72B7C215FA5>="3-5/>>. intended  libraries java.lang.StringIndexOutOfBoundsException: Range [433, 432) out of bounds for length 446
<p>The <code class="func">ShareSingleObj</code> function creates a new shared region and migrates the object, but not its subobjects, to that region. If thedivclass">tableclassfunc" width"10%


<div class="example"><pre>
< class="GAPprompt>&;/pan spanclass=GAPinput" =[[
<class>&;s> =GAPinput();span
<span class="GAPprompt">gap></spanjava.lang.StringIndexOutOfBoundsException: Range [0, 1) out of bounds for length 0
<Display(m[,  ]
<span class=/pre>
[lse ]
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id="

<h5<class"func>code >code (a "chap3..html#X8508A72B7C215FA5"<pan=""3-</pan/>,,  that precedence theregionit creates the  available It isintended beusedforregionsthat self-contained.e nofunction uses a region lock regionwhile  .</p>

 class1"tr> ="">></ar>[[, arclass"Arg>



<h5>3.9-17 ShareSingleSystemObj<

<divlass""><tableclass=func"width="10">#2;ShareSingleSystemObj<( >obj/>[, <ar=><var< class="Arg]]td tdright> nbspfunction&java.lang.StringIndexOutOfBoundsException: Index 291 out of bounds for length 291
<p><code class="func">ShareSingleSystemObj

a=<>91ShareSingleKernelObj

<h5

< =func""width%"< class="">#2;ShareSingleKernelObjp>< ="">ShareSingleKernelObj
hareSingleObj/>.#X8508A72B7C215FA5> ="">.-5/><>),exceptthe  the it  is that code="func
< href="
"< class">.7spana)Itisntendedto   ernel     interacts  java.lang.StringIndexOutOfBoundsException: Range [491, 490) out of bounds for length 495
p>=></codefunctionslikejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<< ="X85C5F5A67DAFD919 =X85C5F5A67DAFD919>/a>/pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<h5

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ShareSingleInternalObj</code>( <var class="Arg">obj</var>[, <var class="Arg">name</var>] )</td><td
<p><code class="func">ShareSingleInternalObj</code> functions like <code class="func">ShareSingleObj</code> (<a href="chap3.html#X8508A72B7C215FA5"><span class="RefLink">3.9-15</span></a>), except that the precedence of the 

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

<h5>3.9-20 ShareSingleSpecialObj</h5>

<div class="func"><h5 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p><code class="func">ShareSingleLibraryObj</code> (<a

<

h51<

<java.lang.StringIndexOutOfBoundsException: Range [6, 4) out of bounds for length 250
<p>The;

<p>For

<p><a id

<h5>3.9-22 MigrateSingleObj</h5>

< ="funcclass"" ="1%t<>code>2;MigrateSingleObj>  classA>/, =>>)<<=tdright>nbsp&;)td<>>
<p>The <code class="func">MigrateSingleObj</code> function works like <code class="func">MigrateObj</code> (<a href="chap3.html#X81A356DD84E76A8A"><span class="RefLink">3.9-21</span></a>), except that it does not migrate the subobjectsjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id

<h5>3.9-23 LockAndMigrateObj</h5>

<div =func =funcwidth=>gt> class>listjava.lang.StringIndexOutOfBoundsException: Index 83 out of bounds for length 83
<> < =""></code  works <codespan=">gt" IncorporateObjlist2, 456;<

<="X7D1943AF793296F7">/</a>pjava.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

h59   ,,5] [ ,9 ]

<div class="func="func">LockAndMigrateObj<

<p>The <code pUsing assignment leave  createdin thread-local.>


<div class="example"><pre>
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  atomicdiv=func
targetp classfunc/> odejava.lang.StringIndexOutOfBoundsException: Range [92, 91) out of bounds for length 250
  od;
end;
</pre></div>

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


< class<end
IncorporateObj :[]value)
/></>
    target
  
end;
</prediv

<p>The


<div class="exampleAtomicIncorporateObj := function(target index, value)
<span class=" target(index :
<span class="GAPprompt">gap&;
<span;
 class>;/panspan=><span class="GAPprompt">></span> <span class="GAPinput">     IncorporateObj. <>
<span class="GAPprompt">></span> <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span3 </>
<< ="">gtspandiv="tablejava.lang.StringIndexOutOfBoundsException: Range [30, 26) out of bounds for length 217
[ [ 1, 2, 3 ], [ 4, 5, 6 ], [ 7, 8, 9 ] ]
</pre></div>

<>Usingplain would the created <pT code=/>function var=""<varregionrequires  < =">bj/var>.



<" =">/java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<h5>3.9-25 AtomicIncorporateObj</h5>

<divclassgap;span< class> l  AdoptObj; ;</>
<p><code class="func"span="gapgt">IsThreadLocal()


<div class="example"><p< ="X834DDB388600E9FA" [[,2]4,, ,8 ]]
f(, , java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  atomic target, value 
    [] =MigrateObjvalue)
  od;
end325 </>
</pre></div>

<p>If <code class="code">target</code> is a record, then it is equivalent to:</<chap3 class>.92<span/> by locking target.Ie., a, it equivalent :<p>


div="">pre>
AtomicIncorporateObj := function(target>39-2 LockAndAdoptObj/h5
  atomic do=<func"tr><=""< class="func;</code>( <var">

Quelle  chap3.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/doc/hpc/chap3.html


<?xml

<!OCTYPE html "-//W3C/DTD XHTML 1.0 Strict//"
         "http://www.w3.org/TR/xhtml1/ namexml=".0 encoding"UTF-8

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (hpc) - Chapter 3: How HPC-GAP organizes java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 0
< =
<meta=< type/">(;
<link rel="stylesheet" typejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<cript=".js"type"text/javascript"></script
<script type="text/javascript">overwriteStyle();</script>
</ead
<


<div class="chlinktop"><span class="chlink1"< ="X8076353A830B11B6" name="X8076353A830B11B6"></a<<>idname">

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>  class"< class"ocline">&bspan> ="chap3">31< class=""> regions/

<p id="mathjaxlink" class="pcenter"><a href="chap3_mj.html">[MathJax on]</a></p>
<>
div="ChapSects>a =chap3.html#">3 < class HPC-GAP organizes memory:Regionsspana>
div class"ContSect"> class"tocline"><span class"nocss">nbsp/><.htmlX7E2199568017C74F">31 ><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7B697BA17A813E7D/span>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X83627591876D3FF3">3.3 <span class="Heading">Ordering of shared regions</span></a>
</span
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X8239FDC583A4E39D">3.4 <span class="Heading">The public region/span
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href/span
/>
</div
<divdivclass"ContSect""> 3/span>
<span
</div>
<ivclassContSect<span ="tocline"><span class="nocssspan class=""> /pan class=">;nbsp</pan ="chap3.#X83864D427DE991F2>92NewLibraryRegion
</span>
</div>
<div class="ContSect"><span class<span class"ContSS"<br/<span="nocss">  /><hrefchap3#"394 NewKernelRegion//panjava.lang.StringIndexOutOfBoundsException: Index 137 out of bounds for length 137
/>
</div>
<div class="ContSect"><span class class=ContSS/< class&; <><a =".htmlX86BEBBAF855AA26A">3.9-7 RegionOf</a></span>
</span>
<div class="ContSSBlock">
<span classContSS< />< class"nocssnocss> & class=ContSS"><br< class"  /><="".htmltml#X87421870782B33C7">3.9-8RegionPrecedence>/span>
<spanclass"ContSS"><br ><spanclass">nbsp; 
">3.92 NewLibraryRegion

<span class="ContSS"><br /< class""> <spanclass="ContSS"">span class==">& >a="chap3html#X79E455D27E12C5B4">3.1 <>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X825A881A7A39C5C3">3.9-4 NewKernelRegion</a></span>
<span class class>< />< class=nocss"> <>
""><br /><pan=""> nbsp</pan<a="chap3. class="">
3.-5ShareSingleObj> >spannocss;;/span =.#7">.1
< class"ContSSContSS>
br>pan=">nbsp;&
 classbr class&;<span=".#">9</>/>
span"">br<<span class="ContSS"><br /><span ;;<s>< ="chap3.html#>.920ShareSingleSpecialObj/a>/pan
< class">br >< class"nocss&bsp<<span class="ContSS"><br /><span class="nocss">  </span.htmlX7BAE5A7282793684"3.2 MigrateSingleObj<nbsp; >.3<a<span
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X867DE843791EEF65">3.9-11 ShareSystemObj</a></span>
<span class="ContSS"><br /><span class="nocss">  </spanspan class""><br/< class"">nbsp&;<pan ="ContSS>r/>nocss>nbspnbsp/panahrefchap3X74988019">.-6AdoptObj

<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X792DAE2C83BD1554">3.9-13 ShareInternalObjspanclass=""ContSS">
>>  /spanspan"ContSS>span class=";nbsp/><a href"chap3htmlX867CDC9285D30DE8">3.9-28 LockAndAdoptObj</a></span>
spanclass=""><br> class"">  </pan< href="chap3.html#">3.914ShareSpecialObj/a></>
< class">br/&bsp;&bsp3.-5 ShareSingleObj
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X87A1962578CDA61D">3.9-16 ShareSingleLibraryObj<<pan=""><br/>span="nocss>nbsp&bsp.3 /<span
span"< ><< class="nocss bsp>a =chap3X8352EF8B83390656>3.91ShareSingleSystemObj><span
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7B5A471982EFD292">3.9-18 ShareSingleKernelObj</a></span>
<span class="ContSS"><br /><span class="nocss">  <span class=ContSS>br /><<spanclass"nocss">  ;<span<a href=<html#7".-6//>
< class>br>span="">nbsp;<spana=chap33-0ShareSingleSpecialObj<a>/>
.X81A356DD84E76A8A.-1MigrateObja>/>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7BAE5A7282793684">3.9-22 MigrateSingleObj</a></span>
<.X7E4B54BF837E81C0-3 <a>span
<span class="ContSS"><br /><span class="nocss">  </spanspanontSSbr/ lass"&&;.-0RegionName
< =""><java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 143
<span class="ContSS"><br>span="ocss>nbsp&;.#">391
<spanclass"< ><"&;nbsp<=">/ classnbsp;>a ="chap3htmlX7FD1B1B785E24734">.-3  java.lang.StringIndexOutOfBoundsException: Index 192 out of bounds for length 192
<span class="/span>
< classContSS /< class"  ="chap3.html#X7C71A88487762733java.lang.StringIndexOutOfBoundsException: Range [132, 131) out of bounds for length 139
<pan=ContSS/< ""nbsp;s>=#X8222929685E9959A>90<<span
<span class="ContSS"><brspan="">br >span="">span
spanContSSbr>span=ocssnbsp; <>a="chap3html#X80A11F3C84DB512E>.--IsShared/>
<span class="ContSS"><br /><span classContSS >span class"&;nbsp>3.-7AdoptSingleObj<a</span
span=">nbspspan classContSS"<br/>spanclass"nocss">&bspnbsp/pana href"chap3.X8673539F7DA79110".12 estBindOnce/span>
< ="">br> ="nocss"&;&;<spana ="="ContSS < "";/< chap3X81B15A9C8795DF591 TestBindOnceExpr</>
spanC"br/< class=nocss>nbsp;&;< =chap3.html#"
>.-6</a<span
<classContSS/span=nocss divjava.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
<spanclass="ContSS>39-38 SetRegionName

<lass< /> class"
<span<> allows  to  shared;toavoid errors as, it GAP  into Accessclassjava.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 138
 =</ class;/pana ="chap3html#"<span="">br>=nocss/><a ="..html#F53D70285AF37B4"393 </<>
< class"br/< class=""&;nbsp;/pan>a#">3.-4 bj/a><span
<span="">< >span="">nbsp;<spanahref".html#">.94 java.lang.StringIndexOutOfBoundsException: Range [0, 1) out of bounds for length 0
</span>
</div></div>
<ivc="">span=""><span=nocssnbsp<>< java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
</span>
span"">< > class>nbsp>ahref.html">394
div>="<pan=nocss;span=".#X78883D5E83B4425F". < class"Write-once java.lang.StringIndexOutOfBoundsException: Range [168, 167) out of bounds for length 178
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
div="
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#java.lang.StringIndexOutOfBoundsException: Index 102 out of bounds for length 7
< class"ContSS"> /<span=nocss;nbsp>a=chap3X8673539F7DA79110312<a>span
<>aid=""<a>/>
<span class="ContSS"><br /><span class="nocss">  </span><a href</span
<="hap3htmlX7897092C86AE17D7>.15/>
</div></div>
</div>

<h3>3 <span,two  regions can be locked the ="">tomic  this, ordering regions  each>

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

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

<h4<>Allthreadscanobjectstheregion times to java.lang.StringIndexOutOfBoundsException: Range [102, 97) out of bounds for length 132

<p>Each



<p><a id="X7B697BA17A813E7D" name

<h4java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>Shared regions are explicitly created through

<pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

>=java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 62

<

<p>Shared regions>, < =func<code

<java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

<>    topjava.lang.StringIndexOutOfBoundsException: Index 189 out of bounds for length 189

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

<h4>3.4 pa id"" nameX8239FDC583A4E39D;region;

<pAspecialregion  that permit operations include particular immutable (<p>A special public region contains objects that only permit atomic operations. These include, in particular, all immutable objects (immutableid

<pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p> ="X7E0116957AFB982D"

<>3.5 <pan

<p>The read-onlyjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h4

<p>Objects

<p>The <code

<p>The <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>Finallyjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

java.lang.StringIndexOutOfBoundsException: Range [3, 2) out of bounds for length 226

<p>It is generally not possible to

<p><div classjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


<div class="example"><pre>
<span class="GAPprompt">gap></span> <spanlt: example regiongt;< class"ap&t span class"GAPinput"RegionOf(([123])
lt;
</pre></div>

<p>a="" nameX79A959BF7C24234F/a

<.7 <

<<>codeclass="NewLibraryRegion

<p>Multiple" pMultiple have the name.p>

<p><a id<><="X827637EE7A69AFCD" ="8263EE7A69AFCD"/a<p

<h4

<p>If

<p>One exception isp>One exception that can objectsp<class>NewSystemRegion functionscode="><>href=.X851C5F3C82F6F5AE"< =RefLink<>a)  that     below=func>< =chap3#">spanclass"">392.It is to used by the standard GAP .

<p>To inspect objects whose contents lie in

<pjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h4>3.9 <<< ="X86C54C9278FE00F4

h5<>

<h5>3.9-java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<
<> unctionclassNewRegioncodecreatesnew regiontheargument  classrgame>isthenname  new will set<var"name.




<div class="> NewRegion region<span
<region: example region>
<pre>id=X83864D427DE991F2name"

p< id"X86BEBBAF855AA26A ame""a>/>

<p><a id="

3.9-7 RegionOf


n<h5

<div classjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0
<p<code ="">NewLibraryRegion/code>  likeclassfunc

<>< idX7FB0BE4C78CA85DA=X7FB0BE4C78CA85DAa<p>

<h593NewSystemRegion/h5>

<div div="func"< classfunc="0%>tr>< =tdleft> class=unc">#82;NewSystemRegion>< classGAPprompt&;<panspanclass"RegionOf(123;<>
<""/>functions code="">NewRegion>(ahref.="RefLink">.-1/span) that thecreatesof=func

<a idX825A881A7A39C5C3=java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 62

<h5>3.9-4 NewKernelRegion</h5>

<div class=>codeclass="lt;region x45deaa0;
< functions likeclass">(

<p><a;region

5java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32

<divfunc =func=0%<<tdtdleft =""82;<<code var=n</>] )/>< classnbsp&;)td><t></div
<p><code class="func">NewInternalRegion</p>< ="func>NewInternalRegionfunctions java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id="X7A7FFA847E090257" name

<h5>3.9-6 NewSpecialRegion</h5class=func< classGAPpromptgap;<> span"">egionOf2) = RegionOf[,6)/

<div</re>
 =funccode(a"chap3.html#">< class". code >

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

<h5>a=java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div class="func>3.98

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

class="">RegionPrecedence/code return precedence the region of < class=Arg>
spanGAPpromptaps < class"APinput>RegionOf([1,2,3]);/span>
<span class="GAPprompt">gap></spanlt;region region #0;
&;: threadregion&;
<span class="GAPprompt">gap>lt 0x45deaa0gt;
<region 0x45deaa0>
<span=""gapgt/> span=""RegionOf[23)<java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 97
java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 24
<999
<region: test>
</pre></div

<p>Note


<div 
<GAPprompt<span >>
true
</pre<p>The <code class class"">apgt/> <span=GAPinput>(1  (5;<java.lang.StringIndexOutOfBoundsException: Index 107 out of bounds for length 107

<p<code 



<>3.9-8 RegionPrecedence> class"unc"<codewthejava.lang.StringIndexOutOfBoundsException: Range [90, 89) out of bounds for length 121

<
<p><code class="">gap>spanclassG"RegionPrecedence"Test")/span>


<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span class="GAPprompt">gap>301

anclass19
30java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
spanjava.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 119
19999
</pre></div>

< =""/<p

<h5>3.91 </h5

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code
<p>The <code<h5>3.9-10 Sh/>

<<c ="ShareObj>var thewayfor uncNewRegioncode<a href".X851C5F3C82F6F5AE> class="RefLink91>/a)<>

p>codeclass""></code functionsjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h5>3.-1ShareSystemObjh5>

<<classfuncclassfunc1%">r<">code="func">#2=">class=>82 ShareSpecialObj("(;function&;)/td<>/>/iv>
p< class"ShareLibraryObj/ode>functions codeclass""ShareObj/>(
="ShareSpecialObjfunctions codeclass""ShareObj(=".html">">.-

<< =""name

<h5

<div class="func"><table> <code="">ShareSingleObj  creates shared
c=func> like <code class"ShareObj/code < ="chap3.#X7D5982617A3027BDspan"">9</spana) exceptofregionjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p><a id= =>&;/>APinput;/

h5<

=0%>tr="">code=""#82;</>(< class></varvar=""></>],var
<p><code class>39-4ShareSpecialObj>

<>< =X792DAE2C83BD1554" name="X792DAE2C83BD1554">



<h5>3.9-13 p>t, , false

<div class="func"><table"name"<
<p><code class="func"</h5

<p<=X82F3B2597E0EC15E=X82F3B2597E0EC15E>>p

<h5>3.9-14 ShareSpecialObj</h5>

< =""><table"" width"< class="func2 <c> class">obj[,< class="">name]
tdrightnbsp<<>/>
    target.(index) a targetvalue
  od[index= MigrateObj(, target)
end>id ="">/a<java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
</pre>/>/<="">table="="10"
">27;code< =rgbjvar)<class>(;/td<table<

<p><a id="X784C978D801191E2" namep>fp<code classfunc/>performs structuralcopy <arclass"Arg inthe current threads region. Thefunction returns copyas itsresult<>

<5>.-6AdoptObj>

<div class="func"><tablee>
<p>Theatomicvalue


<div class="o
<spanclass
<span class="GAPprompt">gap></spanp =""=X784C978D801191E2a<
false
< class>
<span class="GAPprompt"<pan="GAPprompt">gap
true
</pre></div

<p><a id="X834DDB388600E9FA" name="X834DDB388600E9FA"><<divclass"examplejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h5>3.9-27 AdoptSingleObj</h5>

<div="func>table class=" ="0%>tr>td =tdleft>#8822; AdoptSingleObj< class"Argobjvar/><td="tdright">nbsp;</>/>/tablejava.lang.StringIndexOutOfBoundsException: Index 223 out of bounds for length 223
<p>The <code class&;<pan<span="APinputIsThreadLocal(l);


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

<h5>3.9-28 LockAndAdoptObj</h5>

<div class=<span class"GAPprompt">ap></spanh53.277/
<p>Thefalse

<p><a id=X7C71A88487762733="X7C71A88487762733"></a><p>

>392 </h5

<div class="func"><table <p><a id="X867CDC9285D30DE8">
<p>The <code class="func">CopyRegion</code> function performsh5


<> <code classfunc</code>function true its  an in current' region, false otherwise./>
(,,3];/span
[ 1java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<span class="GAPprompt">gap></span> < class>>spanclass""
[ 1, 2, 3 ]
<span class="GAPprompt">gap></spandivclassfunc< classfalse
false
<span class="GAPprompt">gap></span> <span class="GAPinput">
false
<span class&tpublic>
true
</pre></div>

<p><a id

<h5>3.9-30 IsPublic</h5>

< ="">tableclass="func" width"">trtdclass="tdleft>code ="func&82; IsPubliccode(< =Argobj/>)</d>tdclass="">&p>The codeclass""><codefunctionreturnstrueif  argument  object a shared. Note if the thread  not hold on shared,  thread migrate class</> todifferent before  being;this to.  function primarilydebuggingnotbuild program  around
<< =">


<div
<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
true<div class=func>< class width">td class"">">&827true
<< classGAPprompt>>span=" =ShareObj(12,3]);;

false
 "gap<>< =>sPublicShareObj(13)<>
false
 >java.lang.StringIndexOutOfBoundsException: Range [51, 50) out of bounds for length 102
true
</pre></div>

<p><a id="X86B2EEF67C3378F0" name< class"gapgt;//>/>

h53-1IsThreadLocal/h5

<div class="func"><table class classGAPpromptgap;</span classGAPinput(MakeImmutable,,3)/>
<p>The <code class="java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4


div"">>
span  classjava.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 92
true
spangap>class"IsThreadLocal(ShareObj(([1,,3))>
false
<span class="GAPprompt">gap>
false
< class="APprompt""
&;publicregionjava.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
</pre></div>

<p><a id="X80A11F3C84DB512E" name=spanclass="GAPprompt">gap&;</> span="">(12)<span>

<h5>3.9-32 IsShared</h5>

<div class="func"><table classh5>3.93 MakeReadOnlyObj>
<p>The <code class="func">IsShared</codejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

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

<h5>3.9-33 HaveReadAccess

<divclass="functableclass"func"00"><trtdclass"tdleft>‣ HaveReadAccess var ="">obj)/td>td class=tdright>(nbsp;function )
<>aidjava.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 62


<div classfunc<class" width=10%tr>td ="tdleftcodeclassfunc
(  "func" java.lang.StringIndexOutOfBoundsException: Range [45, 43) out of bounds for length 222
true
<span class="GAPprompt">gap></span> <span class="GAPinput">l := ShareObj([1,2,3]);;</span>
<span class="GAPprompt">gapdiv="example"=gap;/><pan =" =GAPprompt">&;<>< =GAPinput(13)<span
false=>gap/spanspan"l := ShareObj([,2,3];;
<span class classGAPpromptgap;/>spanclass"APinput>l)/span>
java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 4
</pre></div>

<

<h5>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<div"">< classfunc="0%>tr><="tdleft""&827HaveWriteAccess( rgvar<td<class">(nbsp;unction&;)
/>
<p> <code="func> java.lang.StringIndexOutOfBoundsException: Range [58, 57) out of bounds for length 144


<div class="example"><pre>
<spanclassGAPpromptgap;</span< class="APinput"HaveWriteAccess
truedivclassexample<>
<span class="GAPprompt">gap class<h5-ClearRegionNameh5
<span class="GAPprompt">gap

<span class="GAPprompt">gapp> <codeclassfunc</code>function the of region << =">gtGAPinput(/span
true
/></div

<p<a  id"X7F53D70285AF37B4 ="X7F53D70285AF37B4h5>90 RegionName</>

<iv class="">< class="func" width="100%"><tr<td class">code class="func&82;RegionName<codevar">obj )
<a<p>

<p><a <>3.94 </h5

<h5-6 MakeReadOnlySingleObj>

<=func="0%>trobj)/td>


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

<h5>3.9-37 IsReadOnlyObj</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ IsReadOnlyObj</code>( <var class="Arg">obj</var> )</td><td class="tdright">( function )</td></tr></table></div>
code class="func">IsReadOnlyObj>  returnscode="keyw"truecode class"is in the read-only region, false otherwise.




<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">IsReadOnlyObj([1,2,3]);</span>
false
<span class="GAPprompt">gap></span> <span class="GAPinput">IsReadOnlyObj(MakeImmutable([1,2,3]));</span>
java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 5
< classGAPprompt>/> <span ="GAPinput"IsReadOnlyObj([123);/span>
true
</pre></div>

<p<a ="X7F1E2F707F72371E"nameX7F1E2F707F72371E/>/>

<h5>3.9-38 SetRegionName</h5>

<div class="func"><table class="func
<p>The <code class="func">SetRegionName</code> function sets the name of the region of <var class="Arg">obj

<p><a id="java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<h5>3.9-39 ClearRegionName</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ClearRegionName</code>( <var class="Arg">obj</var> )</td><tdjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<p>The <code

<p><aidX7959FC997CC9177C nameX7959FC997CC9177C>/></>

<h5>3

<div class="func"><table class<div class="example"><pre>
<The class"/code> function returns the name of the region of If that region doesnot a name, codeclass="">fail will be returned

<spanclassgap<> span=""atomic  Display ;span

h51</>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ ViewShared</code>( <var class="Arg">obj<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
<> <code=func</>  allows inspection of in shared. It will to  the region and then <="code">(obj)</code. If cannot acquire lock fortheregion itwill simply displaythe description of theobject<p>

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

<h5.-2<h5

<div class="func">< class"GAPprompt>>/pan class=GAPinput> readwrite , readonly l2 do
<pspanclass=GAPprompt"&;<>< ""> fori [..3doli =[i]; ;

pMoreover workstemporarily  read write for, other may memory than errorsp

<> is generallysafe use ifallthreads the current one paused.</p>

<p><a id="

><"/>/p class>gtspan""<span

<h5>3.9-43 <span class="Heading">The <code class="code">atomic</code

<p>The <code class=


<div
atomic (<>30< class"Heading" functionsspanp>=X860008F57EFE21C4="608F57EFE21C4""/a>/p>
  statements
od;
<prediv

<p>java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0


<div class=java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 87
< class"> >>/> < class"(MakeReadOnlyObj[1,23]);p
<span class="GAPprompt">gap
<span class="GAPprompt">gap></span> <java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 0
[ java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
</pre></div>


<div classexample><pre>
<span class="GAPprompt">gap<>Forreasons of implementation,
<span class="GAPprompt">gap></span
<span class="GAPprompt">gap></span
i l2 ;<spanp>a id="X83AD36A68503CF70" nameX83AD36A68503CF70/>/>
<span classp> <code="unc>/ode>function the name theregionof"
<spanclass"&;/>< =GAPinput">   ;</>
<
[ 6, 7, 8, 4,divclass="func
<<>

<p>Atomic statements>a ="X80D0DFAB7F7241E8" name<of      value  will can  offunc    allowsofregion

<>a ="" 

<h4>3.10 <span class="Heading">Atomic functions</

<> ofatomic regionsfunctions be declared atomicThis  sameas the'sbody enclosed in an atomic .declared either< class"code"/code> code class"">eadonly/code> will thesamewayjava.lang.StringIndexOutOfBoundsException: Range [325, 323) out of bounds for length 527


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class<5>3.112 TestBindOnceh5
="< class ="0>=< class>#27var=>bjvarvar""></var class><var <td ="tdright">( function;)<td/tr></table<>
<spanclass"GAPprompt">&;</span <span class"GAPinput">   end<span
</pre></div>

<p><a id"X78883D5E83B4425F" name"X78883D5E83B4425F"></a></p>

<h4>3.11 <span class="Heading">Write-once functionalityp><a id"7BAEC41C87E1DC43" ="X7BAEC41C87E1DC43>/java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62

<p>There is an exception to the rule java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>For reasons of implementation symmetry, these functions

<p>Implementation

<><a idX83AD36A68503CF70nameX83AD36A68503CF70<a>/p

<>31

 =""><table="func ="0%
<p><java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

<p>The[|    BindOnce index);

pThe threadto  least accessto< class"

<p><a id="X8673539F7DA79110" name="

<h5>3.11-2 <div class="example="example"<>

<div class="func"><table class>&
<>code="func">TestBindOnce> works <codeclassfunc>( href.html#X83AD36A68503CF70><spanclass="RefLink>31-1/>/a>,except that it returnseyw<codeifvaluebound< classkeywfalse otherwise/

<><a id="X7BAEC41C87E1DC43"nameX7BAEC41C87E1DC43<a</>

>31- 1 ,9]

<div class=
<ph5TestBindOnceExpr>

<p>For positional class""><table="=>gap>/span span class"GAPinput =(1,,];/>


<div class="example"><pre>
BindOnceExprPosObj := function(obj, index, expr)
  IsBound 
    return BindOnce(obj<h5>3.11-5 StrictBindOnce</h5>
 
    return obj![index]);
  fi;
end;
</pre></div>

<p>The implementation for component <spanclass"">><span< class="">   od/>

<p>The is to unnecessary computations the value already

<p><a id="X81B15A9C8795DF59" name="X81B15A9C8795DF59">p>That

< TestBindOnceExprh5

<divh4>30< classHeadingAtomic<spanh4
<p><code class="func">TestBindOnceExpr</code> works like <codepInstead atomic,  functions be to be. This the effect though function' were in anatomicstatement.Function arguments can declared either readwrite <codeclass""></>;they  be in same as alock.If  argument preceded  <code="code> norreadonly/>,the objectwillnot locked.Example



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

<53.1-5StrictBindOnceh5

<divclassfunc class width="10%>&82;StrictBindOnce(< class">obj var class=Arg>expr)/>

tdright&;function <tr>
<p><code class="func">StrictBindOnce</code> works like <code class="func">BindOnce</code> (<a href="chap3.html#X83AD36A68503CF70"><span class="RefLink">3.11-1</span></a>), except that classGAPprompt&;<spanspan="> Add, item;/>


<div class="chlinkprevnextbot"> >3.1< classHeading functionality>/>


--> --------------------

--> maximum size reached

--> --------------------

100%


¤ Dauer der Verarbeitung: 0.35 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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 ist noch experimentell.