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 | 220x 440x 4x 444x 440x 1x 53x 1x 52x 1x 1x 1x 52x 159x 3x 1x 440x 1x 1x 1x 1x 21x 1x 4x | <app-error *ngIf="error" [error]="error" customResourceName="petri network"></app-error>
<app-empty-placeholder *ngIf="!error && hideCanvas" customResourceName="Petri network"></app-empty-placeholder>
<canvas #petriCanvas width="1000" height="800"></canvas>
<p-drawer [(visible)]="displayInfo" position="right" styleClass="petri-drawer">
<span *ngIf="displayType === 'place'">
<p class="title">
{{ asPlace(displayedNode).name }}
</p>
<p class="subtitle is-4" *ngIf="(asPlace(displayedNode).code_lines?.length ?? 0) > 0">
Actions
</p>
<ul class="actions">
<li *ngFor="let action of asPlace(displayedNode).code_lines">
{{ action }}
</li>
</ul>
</span>
<span *ngIf="displayType === 'transition'">
<p class="title">
Condition
</p>
<p>
{{ asTransition(displayedNode).condition }}
</p>
</span>
</p-drawer>
|