blob: 4ebb70cda3af64cf7ed540ef264fdaf6c6ee70d6 (
plain)
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
<div class="menu" [class.menu-hidden]="hideMenu">
<header>
<i class="fa fa-cogs menu-toggle" (click)="hideMenu = !hideMenu"></i>
<h3>display options</h3>
</header>
<ul>
<li>
<input id="showPlanStats" type="checkbox" [(ngModel)]="viewOptions.showPlanStats">
<label class="clickable" for="showPlanStats"> show plan stats</label>
</li>
<li>
<input id="showCompactView" type="checkbox" [(ngModel)]="viewOptions.showCompactView">
<label class="clickable" for="showCompactView"> show compact view</label>
</li>
<li>
<input id="showPlannerEstimate" type="checkbox" [(ngModel)]="viewOptions.showPlannerEstimate">
<label class="clickable" for="showPlannerEstimate"> show planner estimate</label>
</li>
<li>
<input id="showTags" type="checkbox" [(ngModel)]="viewOptions.showTags">
<label class="clickable" for="showTags"> show analysis tags</label>
</li>
<li>
<label>graph metric: </label>
<div class="button-group">
<button [class.selected]="viewOptions.highlightType === highlightTypes.NONE" (click)="viewOptions.highlightType = highlightTypes.NONE">none</button>
<button [class.selected]="viewOptions.highlightType === highlightTypes.DURATION" (click)="viewOptions.highlightType = highlightTypes.DURATION">duration</button>
<button [class.selected]="viewOptions.highlightType === highlightTypes.ROWS" (click)="viewOptions.highlightType = highlightTypes.ROWS">rows</button>
<button [class.selected]="viewOptions.highlightType === highlightTypes.COST" (click)="viewOptions.highlightType = highlightTypes.COST">cost</button>
</div>
</li>
</ul>
</div>
<div class="page page-stretch">
<h2><span *ngIf="!editName">{{plan.name}}</span>
<input *ngIf="editName" class="input-box input-box-main" type="text" [(ngModel)]="plan.name">
<button class="btn btn-link btn-lg" (click) = "editName = !editName">
<i class="fa fa-pencil"></i>
</button>
</h2>
<div *ngIf="viewOptions.showPlanStats" class="plan-stats">
<div>
<span class="stat-value">{{plan.planStats.executionTime | duration}}</span>
<span class="stat-label">execution time ({{plan.planStats.executionTime | durationUnit}})</span>
</div>
<div *ngIf="plan.planStats.planningTime">
<span class="stat-value">{{plan.planStats.planningTime | number:'.0-2'}}</span>
<span class="stat-label">planning time (ms)</span>
</div>
<div *ngIf="plan.planStats.maxDuration">
<span class="stat-value">{{plan.planStats.maxDuration | duration}}</span>
<span class="stat-label">slowest node ({{plan.planStats.maxDuration | durationUnit}})</span>
</div>
<div *ngIf="plan.planStats.maxRows">
<span class="stat-value">{{plan.planStats.maxRows | number:'.0-2'}}</span>
<span class="stat-label">largest node (rows)</span>
</div>
<div *ngIf="plan.planStats.maxCost">
<span class="stat-value">{{plan.planStats.maxCost | number:'.0-2'}}</span>
<span class="stat-label">costliest node</span>
</div>
<div class="btn-close" (click)="viewOptions.showPlanStats = false"><i class="fa fa-close"></i></div>
</div>
<div class="plan">
<ul>
<li>
<plan-node [plan]="plan" [node]="rootContainer.Plan" [viewOptions]="viewOptions"></plan-node>
</li>
</ul>
</div>
</div>
|
