fr_b02 / petri / doc / element / Place.html @ 5
Historique | Voir | Annoter | Télécharger (12,135 ko)
1 | 5 | a19coudr | <!DOCTYPE HTML>
|
---|---|---|---|
2 | <!-- NewPage -->
|
||
3 | <html lang="fr"> |
||
4 | <head>
|
||
5 | <!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 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-02"> |
||
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"> </td> |
||
162 | </tr>
|
||
163 | </table>
|
||
164 | </li>
|
||
165 | </ul>
|
||
166 | </section>
|
||
167 | <!-- ======== CONSTRUCTOR SUMMARY ======== -->
|
||
168 | <section role="region"> |
||
169 | <ul class="blockList"> |
||
170 | <li class="blockList"><a id="constructor.summary"> |
||
171 | <!-- -->
|
||
172 | </a>
|
||
173 | <h3>Constructor Summary</h3> |
||
174 | <table class="memberSummary"> |
||
175 | <caption><span>Constructors</span><span class="tabEnd"> </span></caption> |
||
176 | <tr>
|
||
177 | <th class="colFirst" scope="col">Constructor</th> |
||
178 | <th class="colLast" scope="col">Description</th> |
||
179 | </tr>
|
||
180 | <tr class="altColor"> |
||
181 | <th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3Cinit%3E(int)">Place</a></span>​(int token)</code></th> |
||
182 | <td class="colLast"> </td> |
||
183 | </tr>
|
||
184 | </table>
|
||
185 | </li>
|
||
186 | </ul>
|
||
187 | </section>
|
||
188 | <!-- ========== METHOD SUMMARY =========== -->
|
||
189 | <section role="region"> |
||
190 | <ul class="blockList"> |
||
191 | <li class="blockList"><a id="method.summary"> |
||
192 | <!-- -->
|
||
193 | </a>
|
||
194 | <h3>Method Summary</h3> |
||
195 | <table class="memberSummary"> |
||
196 | <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> |
||
197 | <tr>
|
||
198 | <th class="colFirst" scope="col">Modifier and Type</th> |
||
199 | <th class="colSecond" scope="col">Method</th> |
||
200 | <th class="colLast" scope="col">Description</th> |
||
201 | </tr>
|
||
202 | <tr id="i0" class="altColor"> |
||
203 | <td class="colFirst"><code>void</code></td> |
||
204 | <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#changeToken(int)">changeToken</a></span>​(int i)</code></th> |
||
205 | <td class="colLast"> </td> |
||
206 | </tr>
|
||
207 | <tr id="i1" class="rowColor"> |
||
208 | <td class="colFirst"><code>boolean</code></td> |
||
209 | <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#equals(java.lang.Object)">equals</a></span>​(java.lang.Object o)</code></th> |
||
210 | <td class="colLast"> </td> |
||
211 | </tr>
|
||
212 | <tr id="i2" class="altColor"> |
||
213 | <td class="colFirst"><code>int</code></td> |
||
214 | <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getToken()">getToken</a></span>()</code></th> |
||
215 | <td class="colLast"> </td> |
||
216 | </tr>
|
||
217 | <tr id="i3" class="rowColor"> |
||
218 | <td class="colFirst"><code>boolean</code></td> |
||
219 | <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isEmpty()">isEmpty</a></span>()</code></th> |
||
220 | <td class="colLast"> </td> |
||
221 | </tr>
|
||
222 | <tr id="i4" class="altColor"> |
||
223 | <td class="colFirst"><code>java.lang.String</code></td> |
||
224 | <th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#toString()">toString</a></span>()</code></th> |
||
225 | <td class="colLast"> </td> |
||
226 | </tr>
|
||
227 | </table>
|
||
228 | <ul class="blockList"> |
||
229 | <li class="blockList"><a id="methods.inherited.from.class.java.lang.Object"> |
||
230 | <!-- -->
|
||
231 | </a>
|
||
232 | <h3>Methods inherited from class java.lang.Object</h3> |
||
233 | <code>getClass, hashCode, notify, notifyAll, wait, wait, wait</code></li> |
||
234 | </ul>
|
||
235 | </li>
|
||
236 | </ul>
|
||
237 | </section>
|
||
238 | </li>
|
||
239 | </ul>
|
||
240 | </div>
|
||
241 | <div class="details"> |
||
242 | <ul class="blockList"> |
||
243 | <li class="blockList"> |
||
244 | <!-- ========= CONSTRUCTOR DETAIL ======== -->
|
||
245 | <section role="region"> |
||
246 | <ul class="blockList"> |
||
247 | <li class="blockList"><a id="constructor.detail"> |
||
248 | <!-- -->
|
||
249 | </a>
|
||
250 | <h3>Constructor Detail</h3> |
||
251 | <a id="<init>(int)"> |
||
252 | <!-- -->
|
||
253 | </a>
|
||
254 | <ul class="blockListLast"> |
||
255 | <li class="blockList"> |
||
256 | <h4>Place</h4> |
||
257 | <pre>public Place​(int token) |
||
258 | throws <a href="Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></pre> |
||
259 | <dl>
|
||
260 | <dt><span class="throwsLabel">Throws:</span></dt> |
||
261 | <dd><code><a href="Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd> |
||
262 | </dl>
|
||
263 | </li>
|
||
264 | </ul>
|
||
265 | </li>
|
||
266 | </ul>
|
||
267 | </section>
|
||
268 | <!-- ============ METHOD DETAIL ========== -->
|
||
269 | <section role="region"> |
||
270 | <ul class="blockList"> |
||
271 | <li class="blockList"><a id="method.detail"> |
||
272 | <!-- -->
|
||
273 | </a>
|
||
274 | <h3>Method Detail</h3> |
||
275 | <a id="getToken()"> |
||
276 | <!-- -->
|
||
277 | </a>
|
||
278 | <ul class="blockList"> |
||
279 | <li class="blockList"> |
||
280 | <h4>getToken</h4> |
||
281 | <pre class="methodSignature">public int getToken()</pre> |
||
282 | </li>
|
||
283 | </ul>
|
||
284 | <a id="toString()"> |
||
285 | <!-- -->
|
||
286 | </a>
|
||
287 | <ul class="blockList"> |
||
288 | <li class="blockList"> |
||
289 | <h4>toString</h4> |
||
290 | <pre class="methodSignature">public java.lang.String toString()</pre> |
||
291 | <dl>
|
||
292 | <dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
||
293 | <dd><code>toString</code> in class <code>java.lang.Object</code></dd> |
||
294 | </dl>
|
||
295 | </li>
|
||
296 | </ul>
|
||
297 | <a id="isEmpty()"> |
||
298 | <!-- -->
|
||
299 | </a>
|
||
300 | <ul class="blockList"> |
||
301 | <li class="blockList"> |
||
302 | <h4>isEmpty</h4> |
||
303 | <pre class="methodSignature">public boolean isEmpty()</pre> |
||
304 | </li>
|
||
305 | </ul>
|
||
306 | <a id="changeToken(int)"> |
||
307 | <!-- -->
|
||
308 | </a>
|
||
309 | <ul class="blockList"> |
||
310 | <li class="blockList"> |
||
311 | <h4>changeToken</h4> |
||
312 | <pre class="methodSignature">public void changeToken​(int i)</pre> |
||
313 | </li>
|
||
314 | </ul>
|
||
315 | <a id="equals(java.lang.Object)"> |
||
316 | <!-- -->
|
||
317 | </a>
|
||
318 | <ul class="blockListLast"> |
||
319 | <li class="blockList"> |
||
320 | <h4>equals</h4> |
||
321 | <pre class="methodSignature">public boolean equals​(java.lang.Object o)</pre> |
||
322 | <dl>
|
||
323 | <dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
||
324 | <dd><code>equals</code> in class <code>java.lang.Object</code></dd> |
||
325 | </dl>
|
||
326 | </li>
|
||
327 | </ul>
|
||
328 | </li>
|
||
329 | </ul>
|
||
330 | </section>
|
||
331 | </li>
|
||
332 | </ul>
|
||
333 | </div>
|
||
334 | </div>
|
||
335 | </main>
|
||
336 | <!-- ========= END OF CLASS DATA ========= -->
|
||
337 | <footer role="contentinfo"> |
||
338 | <nav role="navigation"> |
||
339 | <!-- ======= START OF BOTTOM NAVBAR ====== -->
|
||
340 | <div class="bottomNav"><a id="navbar.bottom"> |
||
341 | <!-- -->
|
||
342 | </a>
|
||
343 | <div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div> |
||
344 | <a id="navbar.bottom.firstrow"> |
||
345 | <!-- -->
|
||
346 | </a>
|
||
347 | <ul class="navList" title="Navigation"> |
||
348 | <li><a href="../index.html">Overview</a></li> |
||
349 | <li><a href="package-summary.html">Package</a></li> |
||
350 | <li class="navBarCell1Rev">Class</li> |
||
351 | <li><a href="class-use/Place.html">Use</a></li> |
||
352 | <li><a href="package-tree.html">Tree</a></li> |
||
353 | <li><a href="../deprecated-list.html">Deprecated</a></li> |
||
354 | <li><a href="../index-files/index-1.html">Index</a></li> |
||
355 | <li><a href="../help-doc.html">Help</a></li> |
||
356 | </ul>
|
||
357 | </div>
|
||
358 | <div class="subNav"> |
||
359 | <ul class="navList" id="allclasses_navbar_bottom"> |
||
360 | <li><a href="../allclasses.html">All Classes</a></li> |
||
361 | </ul>
|
||
362 | <div>
|
||
363 | <script type="text/javascript"><!-- |
||
364 | allClassesLink = document.getElementById("allclasses_navbar_bottom");
|
||
365 | if(window==top) {
|
||
366 | allClassesLink.style.display = "block";
|
||
367 | }
|
||
368 | else {
|
||
369 | allClassesLink.style.display = "none";
|
||
370 | }
|
||
371 | //--> |
||
372 | </script>
|
||
373 | <noscript>
|
||
374 | <div>JavaScript is disabled on your browser.</div> |
||
375 | </noscript>
|
||
376 | </div>
|
||
377 | <div>
|
||
378 | <ul class="subNavList"> |
||
379 | <li>Summary: </li> |
||
380 | <li><a href="#nested.class.summary">Nested</a> | </li> |
||
381 | <li>Field | </li> |
||
382 | <li><a href="#constructor.summary">Constr</a> | </li> |
||
383 | <li><a href="#method.summary">Method</a></li> |
||
384 | </ul>
|
||
385 | <ul class="subNavList"> |
||
386 | <li>Detail: </li> |
||
387 | <li>Field | </li> |
||
388 | <li><a href="#constructor.detail">Constr</a> | </li> |
||
389 | <li><a href="#method.detail">Method</a></li> |
||
390 | </ul>
|
||
391 | </div>
|
||
392 | <a id="skip.navbar.bottom"> |
||
393 | <!-- -->
|
||
394 | </a></div> |
||
395 | <!-- ======== END OF BOTTOM NAVBAR ======= -->
|
||
396 | </nav>
|
||
397 | </footer>
|
||
398 | </body>
|
||
399 | </html> |