OLD | NEW |
1 <head> | 1 <head> |
| 2 <link rel="import" href="class_ref.html"> |
2 <link rel="import" href="observatory_element.html"> | 3 <link rel="import" href="observatory_element.html"> |
3 </head> | 4 </head> |
4 <polymer-element name="field-view" extends="observatory-element"> | 5 <polymer-element name="field-view" extends="observatory-element"> |
5 <template> | 6 <template> |
6 <div class="row"> | 7 <div class="row"> |
7 <div class="col-md-8 col-md-offset-2"> | 8 <div class="col-md-8 col-md-offset-2"> |
8 <div class="panel panel-warning"> | 9 <div class="panel panel-warning"> |
9 <div class="panel-heading"> | 10 <div class="panel-heading"> |
10 <template if="{{ field['static'] }}">static</template> | 11 <template if="{{ field['static'] }}">static</template> |
11 <template if="{{ field['final'] }}">final</template> | 12 <template if="{{ field['final'] }}">final</template> |
12 <template if="{{ field['const'] }}">const</template> | 13 <template if="{{ field['const'] }}">const</template> |
13 {{ field['user_name'] }} ({{ field['name'] }}) | 14 {{ field['user_name'] }} ({{ field['name'] }}) |
14 <a class="pull-right" href="{{ app.locationManager.currentIsolateClass
Link(field['class']['id'])}}"> | 15 <class-ref app="{{ app }}" ref="{{ field['class'] }}"></class-ref> |
15 {{ field['class']['user_name'] }} | |
16 </a> | |
17 </div> | 16 </div> |
18 <div class="panel-body"> | 17 <div class="panel-body"> |
19 <template if="{{ field['guard_class'] == 'dynamic'}}"> | 18 <template if="{{ field['guard_class'] == 'dynamic'}}"> |
20 <div class="alert alert-danger"> | 19 <div class="alert alert-danger"> |
21 Field has been assigned multiple types. If a field is only ever | 20 Field has been assigned multiple types. If a field is only ever |
22 assigned a single type, performance may improve. | 21 assigned a single type, performance may improve. |
23 </div> | 22 </div> |
24 </template> | 23 </template> |
25 <template if="{{ field['guard_class'] != 'dynamic'}}"> | 24 <template if="{{ (field['guard_class'] != 'dynamic') && (field['guard_cl
ass'] != 'unknown') }}"> |
26 <div class="alert alert-success">Field has monomorphic type</div> | 25 <div class="alert alert-success">Field has monomorphic type</div> |
27 <template if="{{ (field['guard_class'] != 'dynamic') && | 26 <template if="{{ (field['guard_class'] != 'dynamic') && |
28 field['guard_nullable'] }}"> | 27 field['guard_nullable'] }}"> |
29 <div class="alert alert-info"> | 28 <div class="alert alert-info"> |
30 Field has been assigned null. If a field is never assigned null, | 29 Field has been assigned null. If a field is never assigned null, |
31 performance may improve. | 30 performance may improve. |
32 </div> | 31 </div> |
33 </template> | 32 </template> |
34 <blockquote> | 33 <blockquote> |
35 <a href="{{ app.locationManager.currentIsolateClassLink(field['guard
_class']['id'])}}"> | 34 <class-ref app="{{ app }}" ref="{{ field['guard_class'] }}"></class-
ref> |
36 {{ field['guard_class']['user_name'] }} | |
37 </a> | |
38 </blockquote> | 35 </blockquote> |
39 </template> | 36 </template> |
40 </div> | 37 </div> |
41 </div> | 38 </div> |
42 </div> | 39 </div> |
43 </div> | 40 </div> |
44 </template> | 41 </template> |
45 <script type="application/dart" src="field_view.dart"></script> | 42 <script type="application/dart" src="field_view.dart"></script> |
46 </polymer-element> | 43 </polymer-element> |
OLD | NEW |