fr_b02 / petri / doc / element / Place.html @ 7
Historique | Voir | Annoter | Télécharger (12,737 ko)
| 1 |
<!DOCTYPE HTML>
|
|---|---|
| 2 |
<!-- NewPage -->
|
| 3 |
<html lang="fr"> |
| 4 |
<head>
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
| 6 |
<title>Place</title> |
| 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 |
<meta name="dc.created" content="2020-11-13"> |
| 9 |
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style"> |
| 10 |
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style"> |
| 11 |
<script type="text/javascript" src="../script.js"></script> |
| 12 |
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script> |
| 13 |
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script> |
| 14 |
<!--[if IE]>
|
| 15 |
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
|
| 16 |
<![endif]-->
|
| 17 |
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script> |
| 18 |
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script> |
| 19 |
<script type="text/javascript" src="../jquery/jquery-ui.js"></script> |
| 20 |
</head>
|
| 21 |
<body>
|
| 22 |
<script type="text/javascript"><!-- |
| 23 |
try {
|
| 24 |
if (location.href.indexOf('is-external=true') == -1) {
|
| 25 |
parent.document.title="Place";
|
| 26 |
}
|
| 27 |
}
|
| 28 |
catch(err) {
|
| 29 |
}
|
| 30 |
//--> |
| 31 |
var data = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10};
|
| 32 |
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
|
| 33 |
var altColor = "altColor"; |
| 34 |
var rowColor = "rowColor"; |
| 35 |
var tableTab = "tableTab"; |
| 36 |
var activeTableTab = "activeTableTab"; |
| 37 |
var pathtoroot = "../"; |
| 38 |
var useModuleDirectories = true; |
| 39 |
loadScripts(document, 'script');</script>
|
| 40 |
<noscript>
|
| 41 |
<div>JavaScript is disabled on your browser.</div> |
| 42 |
</noscript>
|
| 43 |
<header role="banner"> |
| 44 |
<nav role="navigation"> |
| 45 |
<div class="fixedNav"> |
| 46 |
<!-- ========= START OF TOP NAVBAR ======= -->
|
| 47 |
<div class="topNav"><a id="navbar.top"> |
| 48 |
<!-- -->
|
| 49 |
</a>
|
| 50 |
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div> |
| 51 |
<a id="navbar.top.firstrow"> |
| 52 |
<!-- -->
|
| 53 |
</a>
|
| 54 |
<ul class="navList" title="Navigation"> |
| 55 |
<li><a href="../index.html">Overview</a></li> |
| 56 |
<li><a href="package-summary.html">Package</a></li> |
| 57 |
<li class="navBarCell1Rev">Class</li> |
| 58 |
<li><a href="class-use/Place.html">Use</a></li> |
| 59 |
<li><a href="package-tree.html">Tree</a></li> |
| 60 |
<li><a href="../deprecated-list.html">Deprecated</a></li> |
| 61 |
<li><a href="../index-files/index-1.html">Index</a></li> |
| 62 |
<li><a href="../help-doc.html">Help</a></li> |
| 63 |
</ul>
|
| 64 |
</div>
|
| 65 |
<div class="subNav"> |
| 66 |
<ul class="navList" id="allclasses_navbar_top"> |
| 67 |
<li><a href="../allclasses.html">All Classes</a></li> |
| 68 |
</ul>
|
| 69 |
<ul class="navListSearch"> |
| 70 |
<li><label for="search">SEARCH:</label> |
| 71 |
<input type="text" id="search" value="search" disabled="disabled"> |
| 72 |
<input type="reset" id="reset" value="reset" disabled="disabled"> |
| 73 |
</li>
|
| 74 |
</ul>
|
| 75 |
<div>
|
| 76 |
<script type="text/javascript"><!-- |
| 77 |
allClassesLink = document.getElementById("allclasses_navbar_top");
|
| 78 |
if(window==top) {
|
| 79 |
allClassesLink.style.display = "block";
|
| 80 |
}
|
| 81 |
else {
|
| 82 |
allClassesLink.style.display = "none";
|
| 83 |
}
|
| 84 |
//--> |
| 85 |
</script>
|
| 86 |
<noscript>
|
| 87 |
<div>JavaScript is disabled on your browser.</div> |
| 88 |
</noscript>
|
| 89 |
</div>
|
| 90 |
<div>
|
| 91 |
<ul class="subNavList"> |
| 92 |
<li>Summary: </li> |
| 93 |
<li><a href="#nested.class.summary">Nested</a> | </li> |
| 94 |
<li>Field | </li> |
| 95 |
<li><a href="#constructor.summary">Constr</a> | </li> |
| 96 |
<li><a href="#method.summary">Method</a></li> |
| 97 |
</ul>
|
| 98 |
<ul class="subNavList"> |
| 99 |
<li>Detail: </li> |
| 100 |
<li>Field | </li> |
| 101 |
<li><a href="#constructor.detail">Constr</a> | </li> |
| 102 |
<li><a href="#method.detail">Method</a></li> |
| 103 |
</ul>
|
| 104 |
</div>
|
| 105 |
<a id="skip.navbar.top"> |
| 106 |
<!-- -->
|
| 107 |
</a></div> |
| 108 |
<!-- ========= END OF TOP NAVBAR ========= -->
|
| 109 |
</div>
|
| 110 |
<div class="navPadding"> </div> |
| 111 |
<script type="text/javascript"><!-- |
| 112 |
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
|
| 113 |
//--> |
| 114 |
</script>
|
| 115 |
</nav>
|
| 116 |
</header>
|
| 117 |
<!-- ======== START OF CLASS DATA ======== -->
|
| 118 |
<main role="main"> |
| 119 |
<div class="header"> |
| 120 |
<div class="subTitle"><span class="packageLabelInType">Package</span> <a href="package-summary.html">element</a></div> |
| 121 |
<h2 title="Class Place" class="title">Class Place</h2> |
| 122 |
</div>
|
| 123 |
<div class="contentContainer"> |
| 124 |
<ul class="inheritance"> |
| 125 |
<li>java.lang.Object</li> |
| 126 |
<li>
|
| 127 |
<ul class="inheritance"> |
| 128 |
<li>element.Place</li> |
| 129 |
</ul>
|
| 130 |
</li>
|
| 131 |
</ul>
|
| 132 |
<div class="description"> |
| 133 |
<ul class="blockList"> |
| 134 |
<li class="blockList"> |
| 135 |
<hr>
|
| 136 |
<pre>public class <span class="typeNameLabel">Place</span> |
| 137 |
extends java.lang.Object</pre>
|
| 138 |
</li>
|
| 139 |
</ul>
|
| 140 |
</div>
|
| 141 |
<div class="summary"> |
| 142 |
<ul class="blockList"> |
| 143 |
<li class="blockList"> |
| 144 |
<!-- ======== NESTED CLASS SUMMARY ======== -->
|
| 145 |
<section role="region"> |
| 146 |
<ul class="blockList"> |
| 147 |
<li class="blockList"><a id="nested.class.summary"> |
| 148 |
<!-- -->
|
| 149 |
</a>
|
| 150 |
<h3>Nested Class Summary</h3> |
| 151 |
<table class="memberSummary"> |
| 152 |
<caption><span>Nested Classes</span><span class="tabEnd"> </span></caption> |
| 153 |
<tr>
|
| 154 |
<th class="colFirst" scope="col">Modifier and Type</th> |
| 155 |
<th class="colSecond" scope="col">Class</th> |
| 156 |
<th class="colLast" scope="col">Description</th> |
| 157 |
</tr>
|
| 158 |
<tr class="altColor"> |
| 159 |
<td class="colFirst"><code>class </code></td> |
| 160 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></span></code></th> |
| 161 |
<td class="colLast"> |
| 162 |
<div class="block">exception to handle negative value for token</div> |
| 163 |
</td>
|
| 164 |
</tr>
|
| 165 |
</table>
|
| 166 |
</li>
|
| 167 |
</ul>
|
| 168 |
</section>
|
| 169 |
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
|
| 170 |
<section role="region"> |
| 171 |
<ul class="blockList"> |
| 172 |
<li class="blockList"><a id="constructor.summary"> |
| 173 |
<!-- -->
|
| 174 |
</a>
|
| 175 |
<h3>Constructor Summary</h3> |
| 176 |
<table class="memberSummary"> |
| 177 |
<caption><span>Constructors</span><span class="tabEnd"> </span></caption> |
| 178 |
<tr>
|
| 179 |
<th class="colFirst" scope="col">Constructor</th> |
| 180 |
<th class="colLast" scope="col">Description</th> |
| 181 |
</tr>
|
| 182 |
<tr class="altColor"> |
| 183 |
<th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3Cinit%3E(int)">Place</a></span>​(int token)</code></th> |
| 184 |
<td class="colLast"> </td> |
| 185 |
</tr>
|
| 186 |
</table>
|
| 187 |
</li>
|
| 188 |
</ul>
|
| 189 |
</section>
|
| 190 |
<!-- ========== METHOD SUMMARY =========== -->
|
| 191 |
<section role="region"> |
| 192 |
<ul class="blockList"> |
| 193 |
<li class="blockList"><a id="method.summary"> |
| 194 |
<!-- -->
|
| 195 |
</a>
|
| 196 |
<h3>Method Summary</h3> |
| 197 |
<table class="memberSummary"> |
| 198 |
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd"> </span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance 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> |
| 199 |
<tr>
|
| 200 |
<th class="colFirst" scope="col">Modifier and Type</th> |
| 201 |
<th class="colSecond" scope="col">Method</th> |
| 202 |
<th class="colLast" scope="col">Description</th> |
| 203 |
</tr>
|
| 204 |
<tr id="i0" class="altColor"> |
| 205 |
<td class="colFirst"><code>void</code></td> |
| 206 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#changeToken(int)">changeToken</a></span>​(int i)</code></th> |
| 207 |
<td class="colLast"> </td> |
| 208 |
</tr>
|
| 209 |
<tr id="i1" class="rowColor"> |
| 210 |
<td class="colFirst"><code>boolean</code></td> |
| 211 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#equals(java.lang.Object)">equals</a></span>​(java.lang.Object o)</code></th> |
| 212 |
<td class="colLast"> </td> |
| 213 |
</tr>
|
| 214 |
<tr id="i2" class="altColor"> |
| 215 |
<td class="colFirst"><code>int</code></td> |
| 216 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getToken()">getToken</a></span>()</code></th> |
| 217 |
<td class="colLast"> </td> |
| 218 |
</tr>
|
| 219 |
<tr id="i3" class="rowColor"> |
| 220 |
<td class="colFirst"><code>boolean</code></td> |
| 221 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isEmpty()">isEmpty</a></span>()</code></th> |
| 222 |
<td class="colLast"> |
| 223 |
<div class="block">check if the place is not empty</div> |
| 224 |
</td>
|
| 225 |
</tr>
|
| 226 |
<tr id="i4" class="altColor"> |
| 227 |
<td class="colFirst"><code>java.lang.String</code></td> |
| 228 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#toString()">toString</a></span>()</code></th> |
| 229 |
<td class="colLast"> </td> |
| 230 |
</tr>
|
| 231 |
</table>
|
| 232 |
<ul class="blockList"> |
| 233 |
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Object"> |
| 234 |
<!-- -->
|
| 235 |
</a>
|
| 236 |
<h3>Methods inherited from class java.lang.Object</h3> |
| 237 |
<code>getClass, hashCode, notify, notifyAll, wait, wait, wait</code></li> |
| 238 |
</ul>
|
| 239 |
</li>
|
| 240 |
</ul>
|
| 241 |
</section>
|
| 242 |
</li>
|
| 243 |
</ul>
|
| 244 |
</div>
|
| 245 |
<div class="details"> |
| 246 |
<ul class="blockList"> |
| 247 |
<li class="blockList"> |
| 248 |
<!-- ========= CONSTRUCTOR DETAIL ======== -->
|
| 249 |
<section role="region"> |
| 250 |
<ul class="blockList"> |
| 251 |
<li class="blockList"><a id="constructor.detail"> |
| 252 |
<!-- -->
|
| 253 |
</a>
|
| 254 |
<h3>Constructor Detail</h3> |
| 255 |
<a id="<init>(int)"> |
| 256 |
<!-- -->
|
| 257 |
</a>
|
| 258 |
<ul class="blockListLast"> |
| 259 |
<li class="blockList"> |
| 260 |
<h4>Place</h4> |
| 261 |
<pre>public Place​(int token) |
| 262 |
throws <a href="Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></pre> |
| 263 |
<dl>
|
| 264 |
<dt><span class="throwsLabel">Throws:</span></dt> |
| 265 |
<dd><code><a href="Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd> |
| 266 |
</dl>
|
| 267 |
</li>
|
| 268 |
</ul>
|
| 269 |
</li>
|
| 270 |
</ul>
|
| 271 |
</section>
|
| 272 |
<!-- ============ METHOD DETAIL ========== -->
|
| 273 |
<section role="region"> |
| 274 |
<ul class="blockList"> |
| 275 |
<li class="blockList"><a id="method.detail"> |
| 276 |
<!-- -->
|
| 277 |
</a>
|
| 278 |
<h3>Method Detail</h3> |
| 279 |
<a id="getToken()"> |
| 280 |
<!-- -->
|
| 281 |
</a>
|
| 282 |
<ul class="blockList"> |
| 283 |
<li class="blockList"> |
| 284 |
<h4>getToken</h4> |
| 285 |
<pre class="methodSignature">public int getToken()</pre> |
| 286 |
</li>
|
| 287 |
</ul>
|
| 288 |
<a id="toString()"> |
| 289 |
<!-- -->
|
| 290 |
</a>
|
| 291 |
<ul class="blockList"> |
| 292 |
<li class="blockList"> |
| 293 |
<h4>toString</h4> |
| 294 |
<pre class="methodSignature">public java.lang.String toString()</pre> |
| 295 |
<dl>
|
| 296 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 297 |
<dd><code>toString</code> in class <code>java.lang.Object</code></dd> |
| 298 |
<dt><span class="returnLabel">Returns:</span></dt> |
| 299 |
<dd>a string representation of the place</dd> |
| 300 |
</dl>
|
| 301 |
</li>
|
| 302 |
</ul>
|
| 303 |
<a id="isEmpty()"> |
| 304 |
<!-- -->
|
| 305 |
</a>
|
| 306 |
<ul class="blockList"> |
| 307 |
<li class="blockList"> |
| 308 |
<h4>isEmpty</h4> |
| 309 |
<pre class="methodSignature">public boolean isEmpty()</pre> |
| 310 |
<div class="block">check if the place is not empty</div> |
| 311 |
</li>
|
| 312 |
</ul>
|
| 313 |
<a id="changeToken(int)"> |
| 314 |
<!-- -->
|
| 315 |
</a>
|
| 316 |
<ul class="blockList"> |
| 317 |
<li class="blockList"> |
| 318 |
<h4>changeToken</h4> |
| 319 |
<pre class="methodSignature">public void changeToken​(int i)</pre> |
| 320 |
<dl>
|
| 321 |
<dt><span class="paramLabel">Parameters:</span></dt> |
| 322 |
<dd><code>int</code> - value that the place has to add to its token value</dd> |
| 323 |
</dl>
|
| 324 |
</li>
|
| 325 |
</ul>
|
| 326 |
<a id="equals(java.lang.Object)"> |
| 327 |
<!-- -->
|
| 328 |
</a>
|
| 329 |
<ul class="blockListLast"> |
| 330 |
<li class="blockList"> |
| 331 |
<h4>equals</h4> |
| 332 |
<pre class="methodSignature">public boolean equals​(java.lang.Object o)</pre> |
| 333 |
<dl>
|
| 334 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 335 |
<dd><code>equals</code> in class <code>java.lang.Object</code></dd> |
| 336 |
<dt><span class="paramLabel">Parameters:</span></dt> |
| 337 |
<dd><code>Object</code> - to compare to the place |
| 338 |
the goal of this method is to check if two places are the same object (same identityHashCode)</dd>
|
| 339 |
</dl>
|
| 340 |
</li>
|
| 341 |
</ul>
|
| 342 |
</li>
|
| 343 |
</ul>
|
| 344 |
</section>
|
| 345 |
</li>
|
| 346 |
</ul>
|
| 347 |
</div>
|
| 348 |
</div>
|
| 349 |
</main>
|
| 350 |
<!-- ========= END OF CLASS DATA ========= -->
|
| 351 |
<footer role="contentinfo"> |
| 352 |
<nav role="navigation"> |
| 353 |
<!-- ======= START OF BOTTOM NAVBAR ====== -->
|
| 354 |
<div class="bottomNav"><a id="navbar.bottom"> |
| 355 |
<!-- -->
|
| 356 |
</a>
|
| 357 |
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div> |
| 358 |
<a id="navbar.bottom.firstrow"> |
| 359 |
<!-- -->
|
| 360 |
</a>
|
| 361 |
<ul class="navList" title="Navigation"> |
| 362 |
<li><a href="../index.html">Overview</a></li> |
| 363 |
<li><a href="package-summary.html">Package</a></li> |
| 364 |
<li class="navBarCell1Rev">Class</li> |
| 365 |
<li><a href="class-use/Place.html">Use</a></li> |
| 366 |
<li><a href="package-tree.html">Tree</a></li> |
| 367 |
<li><a href="../deprecated-list.html">Deprecated</a></li> |
| 368 |
<li><a href="../index-files/index-1.html">Index</a></li> |
| 369 |
<li><a href="../help-doc.html">Help</a></li> |
| 370 |
</ul>
|
| 371 |
</div>
|
| 372 |
<div class="subNav"> |
| 373 |
<ul class="navList" id="allclasses_navbar_bottom"> |
| 374 |
<li><a href="../allclasses.html">All Classes</a></li> |
| 375 |
</ul>
|
| 376 |
<div>
|
| 377 |
<script type="text/javascript"><!-- |
| 378 |
allClassesLink = document.getElementById("allclasses_navbar_bottom");
|
| 379 |
if(window==top) {
|
| 380 |
allClassesLink.style.display = "block";
|
| 381 |
}
|
| 382 |
else {
|
| 383 |
allClassesLink.style.display = "none";
|
| 384 |
}
|
| 385 |
//--> |
| 386 |
</script>
|
| 387 |
<noscript>
|
| 388 |
<div>JavaScript is disabled on your browser.</div> |
| 389 |
</noscript>
|
| 390 |
</div>
|
| 391 |
<div>
|
| 392 |
<ul class="subNavList"> |
| 393 |
<li>Summary: </li> |
| 394 |
<li><a href="#nested.class.summary">Nested</a> | </li> |
| 395 |
<li>Field | </li> |
| 396 |
<li><a href="#constructor.summary">Constr</a> | </li> |
| 397 |
<li><a href="#method.summary">Method</a></li> |
| 398 |
</ul>
|
| 399 |
<ul class="subNavList"> |
| 400 |
<li>Detail: </li> |
| 401 |
<li>Field | </li> |
| 402 |
<li><a href="#constructor.detail">Constr</a> | </li> |
| 403 |
<li><a href="#method.detail">Method</a></li> |
| 404 |
</ul>
|
| 405 |
</div>
|
| 406 |
<a id="skip.navbar.bottom"> |
| 407 |
<!-- -->
|
| 408 |
</a></div> |
| 409 |
<!-- ======== END OF BOTTOM NAVBAR ======= -->
|
| 410 |
</nav>
|
| 411 |
</footer>
|
| 412 |
</body>
|
| 413 |
</html>
|