54da8af2d17cd7218b29a52bcc1d306e89773160
[nit.git] / share / nitweb / views / class.html
1 <ul class='nav nav-tabs'>
2 <li role='presentation' class='active'>
3 <a data-toggle='tab' data-target='#doc'>
4 <span class='glyphicon glyphicon-book'/> Doc
5 </a>
6 </li>
7 <li role='presentation'>
8 <a data-toggle='tab' data-target='#graph' ng-click="entityCtrl.loadEntityGraph()">
9 <span class='glyphicon glyphicon-object-align-vertical'/> Inheritance
10 </a>
11 </li>
12 <li role='presentation'>
13 <a data-toggle='tab' data-target='#all_props'>
14 <span class='glyphicon glyphicon-tags'/> All properties
15 </a>
16 </li>
17 <li role='presentation'>
18 <a data-toggle='tab' role='tab' data-target='#linearization' aria-controls='linearization' ng-click='entityCtrl.loadEntityLinearization()'>
19 <span class='glyphicon glyphicon-arrow-down'/> Linearization
20 </a>
21 </li>
22 </ul>
23
24 <div class='tab-content'>
25 <div role='tabpanel' class='tab-pane fade in active' id='doc'>
26 <entity-doc mentity='mentity.intro'/>
27
28 <entity-list list-title='Parents'
29 list-entities='mentity.parents'
30 list-object-filter='{}' />
31
32 <entity-list list-title='Constructors'
33 list-entities='mentity.all_mproperties'
34 list-object-filter='{is_init: true}' />
35
36 <entity-list list-title='Introduced properties'
37 list-entities='mentity.intro_mproperties'
38 list-object-filter='{is_init: "!true"}' />
39
40 <entity-list list-title='Redefined properties'
41 list-entities='mentity.redef_mproperties'
42 list-object-filter='{is_init: "!true"}' />
43 </div>
44 <div role='tabpanel' class='tab-pane fade' id='all_props'>
45 <entity-list list-title='All properties' list-entities='mentity.all_mproperties'
46 list-object-filter='{}' />
47 </div>
48 <div role='tabpanel' class='tab-pane fade' id='linearization'>
49 <entity-linearization
50 list-title='Class definitions'
51 list-entities='linearization'
52 list-focus='mentity.intro' />
53 </div>
54 <div role='tabpanel' class='tab-pane fade' id='graph'>
55 <div class='card'>
56 <div class='card-body text-center'>
57 <div class='graph' ng-bind-html='graph'></div>
58 </div>
59 </div>
60 </div>
61 </div>