| 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 |