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