blob: 87c2d9d25d07b316cb70b8ffd44213795ec36e8a [file] [log] [blame]
Stephan Herrmann01664412010-04-01 20:28:43 +00001eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
Stephan Herrmann38222252014-05-15 14:04:11 +02003org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
Stephan Herrmann01664412010-04-01 20:28:43 +00004org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
Stephan Herrmann38222252014-05-15 14:04:11 +02005org.eclipse.jdt.core.compiler.compliance=1.7
Stephan Herrmann01664412010-04-01 20:28:43 +00006org.eclipse.jdt.core.compiler.debug.lineNumber=generate
7org.eclipse.jdt.core.compiler.debug.localVariable=generate
8org.eclipse.jdt.core.compiler.debug.sourceFile=generate
9org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
10org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
Stephan Herrmannc26528b2010-06-10 23:53:19 +000011org.eclipse.jdt.core.compiler.problem.indirectStaticAccess=ignore
Stephan Herrmann38222252014-05-15 14:04:11 +020012org.eclipse.jdt.core.compiler.source=1.7
Stephan Herrmann4df59472010-04-06 11:02:29 +000013org.eclipse.objectteams.otdt.compiler.option.joinpoint_queries=disabled
14org.eclipse.objectteams.otdt.compiler.option.scoped_keywords=enabled
15org.eclipse.objectteams.otdt.compiler.problem.abstract_potential_relevant_role=warning
16org.eclipse.objectteams.otdt.compiler.problem.adapting_deprecated=error
17org.eclipse.objectteams.otdt.compiler.problem.ambiguous_lowering=warning
18org.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.exception_in_guard=error
23org.eclipse.objectteams.otdt.compiler.problem.fragile_callin=warning
Stephan Herrmannc26528b2010-06-10 23:53:19 +000024org.eclipse.objectteams.otdt.compiler.problem.ignoring_role_return=warning
Stephan Herrmann4df59472010-04-06 11:02:29 +000025org.eclipse.objectteams.otdt.compiler.problem.inferred_callout=warning
26org.eclipse.objectteams.otdt.compiler.problem.override_final_role=error
27org.eclipse.objectteams.otdt.compiler.problem.potential_ambiguous_playedby=warning
28org.eclipse.objectteams.otdt.compiler.problem.unsafe_role_instantiation=warning
29org.eclipse.objectteams.otdt.compiler.problem.weave_into_system_class=warning