| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.objectteams.otequinox.aspectBindings"> |
| <aspectBinding |
| icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/calloutbinding_obj.gif"> |
| <basePlugin |
| icon="platform:/plugin/org.eclipse.pde.ui/icons/obj16/plugin_obj.gif" |
| id="org.eclipse.jdt.core"> |
| </basePlugin> |
| <team |
| activation="ALL_THREADS" |
| class="org.eclipse.objectteams.internal.jdt.nullity.CompilerAdaptation" |
| icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif"> |
| </team> |
| <team |
| activation="ALL_THREADS" |
| class="org.eclipse.objectteams.internal.jdt.nullity.DOMAdaptation" |
| icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif"> |
| </team> |
| <team |
| activation="NONE" |
| class="org.eclipse.objectteams.internal.jdt.nullity.Compatibility" |
| icon="platform:/plugin/org.eclipse.objectteams.otdt.ui/icons/ot/team_obj.gif"> |
| </team> |
| </aspectBinding> |
| </extension> |
| <extension |
| point="org.eclipse.jdt.ui.quickFixProcessors"> |
| <quickFixProcessor |
| name="Nullity Quick Fix Processor" |
| class="org.eclipse.objectteams.internal.jdt.nullity.quickfix.QuickFixes" |
| id="org.eclipse.objectteams.jdt.nullity.quickfix.QuickFixes"> |
| </quickFixProcessor> |
| </extension> |
| </plugin> |