Press n or j to go to the next uncovered block, b, p or k for the previous block.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 | 366x 58x 732x 5x 737x 732x 1x 53x 1x 52x 1x 1x 1x 1x 53x 3x 159x 3x 1x 732x 1x 1x 1x 1x 25x 1x 5x | @if (error) {
<app-error [error]="error" customResourceName="petri network"></app-error>
}
@if (!error && hideCanvas) {
<app-empty-placeholder customResourceName="Petri network"></app-empty-placeholder>
}
<canvas #petriCanvas width="1000" height="800"></canvas>
<p-drawer [(visible)]="displayInfo" position="right" styleClass="petri-drawer">
@if (displayType === 'place') {
<span>
<p class="title">
{{ asPlace(displayedNode).name }}
</p>
@if ((asPlace(displayedNode).code_lines.length) > 0) {
<p class="subtitle is-4">
Actions
</p>
}
<ul class="actions">
@for (action of asPlace(displayedNode).code_lines; track action) {
<li>
{{ action }}
</li>
}
</ul>
</span>
}
@if (displayType === 'transition') {
<span>
<p class="title">
Condition
</p>
<p>
{{ asTransition(displayedNode).condition }}
</p>
</span>
}
</p-drawer>
|