blob: 194bf29a2d36de7514adae71db9d909438c1742a [file] [log] [blame]
Stephan Herrmannf0dffd52010-06-10 23:53:23 +00001#Fri Jun 11 01:23:15 CEST 2010
Stephan Herrmann01664412010-04-01 20:28:43 +00002eclipse.preferences.version=1
3org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
4org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
5org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
6org.eclipse.jdt.core.compiler.compliance=1.5
7org.eclipse.jdt.core.compiler.debug.lineNumber=generate
8org.eclipse.jdt.core.compiler.debug.localVariable=generate
9org.eclipse.jdt.core.compiler.debug.sourceFile=generate
Stephan Herrmann01664412010-04-01 20:28:43 +000010org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
Stephan Herrmann01664412010-04-01 20:28:43 +000011org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
Stephan Herrmann01664412010-04-01 20:28:43 +000012org.eclipse.jdt.core.compiler.problem.indirectStaticAccess=ignore
Stephan Herrmann01664412010-04-01 20:28:43 +000013org.eclipse.jdt.core.compiler.source=1.5
Stephan Herrmann4df59472010-04-06 11:02:29 +000014org.eclipse.objectteams.otdt.compiler.option.scoped_keywords=enabled
15org.eclipse.objectteams.otdt.compiler.problem.abstract_potential_relevant_role=warning
Stephan Herrmannf0dffd52010-06-10 23:53:23 +000016org.eclipse.objectteams.otdt.compiler.problem.adapting_deprecated=error
17org.eclipse.objectteams.otdt.compiler.problem.ambiguous_lowering=warning
Stephan Herrmann4df59472010-04-06 11:02:29 +000018org.eclipse.objectteams.otdt.compiler.problem.basecall=warning
19org.eclipse.objectteams.otdt.compiler.problem.binding_conventions=error
20org.eclipse.objectteams.otdt.compiler.problem.decapsulation=warning
21org.eclipse.objectteams.otdt.compiler.problem.deprecated_path_syntax=warning
22org.eclipse.objectteams.otdt.compiler.problem.effectless_fieldaccess=warning
Stephan Herrmannf0dffd52010-06-10 23:53:23 +000023org.eclipse.objectteams.otdt.compiler.problem.exception_in_guard=error
Stephan Herrmann4df59472010-04-06 11:02:29 +000024org.eclipse.objectteams.otdt.compiler.problem.fragile_callin=warning
Stephan Herrmannf0dffd52010-06-10 23:53:23 +000025org.eclipse.objectteams.otdt.compiler.problem.ignoring_role_return=warning
Stephan Herrmann4df59472010-04-06 11:02:29 +000026org.eclipse.objectteams.otdt.compiler.problem.incomplete_build=error
27org.eclipse.objectteams.otdt.compiler.problem.inferred_callout=error
Stephan Herrmannf0dffd52010-06-10 23:53:23 +000028org.eclipse.objectteams.otdt.compiler.problem.override_final_role=error
Stephan Herrmann4df59472010-04-06 11:02:29 +000029org.eclipse.objectteams.otdt.compiler.problem.potential_ambiguous_playedby=warning
30org.eclipse.objectteams.otdt.compiler.problem.unsafe_liftctor=warning
31org.eclipse.objectteams.otdt.compiler.problem.unsafe_role_instantiation=warning
32org.eclipse.objectteams.otdt.compiler.problem.unused_parammap=warning
Stephan Herrmannf0dffd52010-06-10 23:53:23 +000033org.eclipse.objectteams.otdt.compiler.problem.weave_into_system_class=warning