| Stephan Herrmann | 5daa5db | 2010-06-10 23:53:10 +0000 | [diff] [blame] | 1 | #Fri Jun 11 01:35:26 CEST 2010 |
| 2 | eclipse.preferences.version=1 |
| 3 | org.eclipse.objectteams.otdt.compiler.option.scoped_keywords=enabled |
| 4 | org.eclipse.objectteams.otdt.compiler.problem.abstract_potential_relevant_role=warning |
| 5 | org.eclipse.objectteams.otdt.compiler.problem.adapting_deprecated=error |
| 6 | org.eclipse.objectteams.otdt.compiler.problem.ambiguous_lowering=warning |
| 7 | org.eclipse.objectteams.otdt.compiler.problem.basecall=warning |
| 8 | org.eclipse.objectteams.otdt.compiler.problem.binding_conventions=error |
| 9 | org.eclipse.objectteams.otdt.compiler.problem.decapsulation=warning |
| 10 | org.eclipse.objectteams.otdt.compiler.problem.deprecated_path_syntax=warning |
| 11 | org.eclipse.objectteams.otdt.compiler.problem.exception_in_guard=error |
| 12 | org.eclipse.objectteams.otdt.compiler.problem.fragile_callin=warning |
| 13 | org.eclipse.objectteams.otdt.compiler.problem.ignoring_role_return=warning |
| 14 | org.eclipse.objectteams.otdt.compiler.problem.inferred_callout=error |
| 15 | org.eclipse.objectteams.otdt.compiler.problem.override_final_role=error |
| 16 | org.eclipse.objectteams.otdt.compiler.problem.potential_ambiguous_playedby=warning |
| 17 | org.eclipse.objectteams.otdt.compiler.problem.unsafe_role_instantiation=warning |
| 18 | org.eclipse.objectteams.otdt.compiler.problem.weave_into_system_class=warning |