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 | 106x 3x 215x 212x 1x 13x 1x 12x 1x 1x 1x 12x 13x 1x 1x 212x 3x | <app-error *ngIf="error" [error]="error"></app-error>
<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">
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>
|