blob: dd04afebf05666d0ccff70c43b3bc5b7c8d0ce21 [file] [log] [blame]
Stephan Herrmannc26528b2010-06-10 23:53:19 +00001#Fri Jun 11 01:27:20 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
10org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
11org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
Stephan Herrmannc26528b2010-06-10 23:53:19 +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.joinpoint_queries=disabled
15org.eclipse.objectteams.otdt.compiler.option.scoped_keywords=enabled
16org.eclipse.objectteams.otdt.compiler.problem.abstract_potential_relevant_role=warning
17org.eclipse.objectteams.otdt.compiler.problem.adapting_deprecated=error
18org.eclipse.objectteams.otdt.compiler.problem.ambiguous_lowering=warning
19org.eclipse.objectteams.otdt.compiler.problem.basecall=warning
20org.eclipse.objectteams.otdt.compiler.problem.binding_conventions=error
21org.eclipse.objectteams.otdt.compiler.problem.decapsulation=warning
22org.eclipse.objectteams.otdt.compiler.problem.deprecated_path_syntax=warning
23org.eclipse.objectteams.otdt.compiler.problem.exception_in_guard=error
24org.eclipse.objectteams.otdt.compiler.problem.fragile_callin=warning
Stephan Herrmannc26528b2010-06-10 23:53:19 +000025org.eclipse.objectteams.otdt.compiler.problem.ignoring_role_return=warning
Stephan Herrmann4df59472010-04-06 11:02:29 +000026org.eclipse.objectteams.otdt.compiler.problem.inferred_callout=warning
27org.eclipse.objectteams.otdt.compiler.problem.override_final_role=error
28org.eclipse.objectteams.otdt.compiler.problem.potential_ambiguous_playedby=warning
29org.eclipse.objectteams.otdt.compiler.problem.unsafe_role_instantiation=warning
30org.eclipse.objectteams.otdt.compiler.problem.weave_into_system_class=warning