Révision 7 petri/doc/element/Place.html
| Place.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Place</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 158 | 158 |
<tr class="altColor"> |
| 159 | 159 |
<td class="colFirst"><code>class </code></td> |
| 160 | 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"> </td> |
|
| 161 |
<td class="colLast"> |
|
| 162 |
<div class="block">exception to handle negative value for token</div> |
|
| 163 |
</td> |
|
| 162 | 164 |
</tr> |
| 163 | 165 |
</table> |
| 164 | 166 |
</li> |
| ... | ... | |
| 217 | 219 |
<tr id="i3" class="rowColor"> |
| 218 | 220 |
<td class="colFirst"><code>boolean</code></td> |
| 219 | 221 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isEmpty()">isEmpty</a></span>()</code></th> |
| 220 |
<td class="colLast"> </td> |
|
| 222 |
<td class="colLast"> |
|
| 223 |
<div class="block">check if the place is not empty</div> |
|
| 224 |
</td> |
|
| 221 | 225 |
</tr> |
| 222 | 226 |
<tr id="i4" class="altColor"> |
| 223 | 227 |
<td class="colFirst"><code>java.lang.String</code></td> |
| ... | ... | |
| 291 | 295 |
<dl> |
| 292 | 296 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 293 | 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> |
|
| 294 | 300 |
</dl> |
| 295 | 301 |
</li> |
| 296 | 302 |
</ul> |
| ... | ... | |
| 301 | 307 |
<li class="blockList"> |
| 302 | 308 |
<h4>isEmpty</h4> |
| 303 | 309 |
<pre class="methodSignature">public boolean isEmpty()</pre> |
| 310 |
<div class="block">check if the place is not empty</div> |
|
| 304 | 311 |
</li> |
| 305 | 312 |
</ul> |
| 306 | 313 |
<a id="changeToken(int)"> |
| ... | ... | |
| 310 | 317 |
<li class="blockList"> |
| 311 | 318 |
<h4>changeToken</h4> |
| 312 | 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> |
|
| 313 | 324 |
</li> |
| 314 | 325 |
</ul> |
| 315 | 326 |
<a id="equals(java.lang.Object)"> |
| ... | ... | |
| 322 | 333 |
<dl> |
| 323 | 334 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 324 | 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> |
|
| 325 | 339 |
</dl> |
| 326 | 340 |
</li> |
| 327 | 341 |
</ul> |
Formats disponibles : Unified diff