Révision 7 petri/doc/element/Place.UndefinedToken.html
| Place.UndefinedToken.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.UndefinedToken</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 147 | 147 |
<hr> |
| 148 | 148 |
<pre>public class <span class="typeNameLabel">Place.UndefinedToken</span> |
| 149 | 149 |
extends java.lang.Exception</pre> |
| 150 |
<div class="block">exception to handle negative value for token</div> |
|
| 150 | 151 |
<dl> |
| 151 | 152 |
<dt><span class="seeLabel">See Also:</span></dt> |
| 152 | 153 |
<dd><a href="../serialized-form.html#element.Place.UndefinedToken">Serialized Form</a></dd> |
Formats disponibles : Unified diff