From a73c6622c7bea68548ab34fb0ae5c0886d56d1d1 Mon Sep 17 00:00:00 2001 From: sjfink Date: Thu, 11 Oct 2007 14:26:01 +0000 Subject: [PATCH] bump up source level to 6.0 git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1851 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 --- .../.settings/org.eclipse.jdt.core.prefs | 9 +++++---- .../.settings/org.eclipse.jdt.ui.prefs | 4 ++-- .../launchers/GVWalaIR.launch | 16 ++++++++-------- 3 files changed, 15 insertions(+), 14 deletions(-) diff --git a/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.core.prefs b/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.core.prefs index dc75f95c0..6b8881822 100644 --- a/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.core.prefs +++ b/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.core.prefs @@ -1,9 +1,10 @@ -#Mon May 07 09:17:06 EDT 2007 +#Thu Oct 11 09:45:20 EDT 2007 eclipse.preferences.version=1 +instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.5 +org.eclipse.jdt.core.compiler.compliance=1.6 org.eclipse.jdt.core.compiler.debug.lineNumber=generate org.eclipse.jdt.core.compiler.debug.localVariable=generate org.eclipse.jdt.core.compiler.debug.sourceFile=generate @@ -59,7 +60,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=di org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning -org.eclipse.jdt.core.compiler.source=1.5 +org.eclipse.jdt.core.compiler.source=1.6 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_enum_constant=48 diff --git a/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs index 9830dd906..21a641abb 100644 --- a/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs +++ b/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs @@ -1,5 +1,5 @@ -#Mon May 07 09:17:06 EDT 2007 +#Thu Oct 11 09:45:20 EDT 2007 eclipse.preferences.version=1 formatter_profile=_WALA formatter_settings_version=10 -internal.default.compliance=default +instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true diff --git a/com.ibm.wala.core.tests/launchers/GVWalaIR.launch b/com.ibm.wala.core.tests/launchers/GVWalaIR.launch index 1b04da957..331a4002d 100644 --- a/com.ibm.wala.core.tests/launchers/GVWalaIR.launch +++ b/com.ibm.wala.core.tests/launchers/GVWalaIR.launch @@ -1,14 +1,14 @@ - - - - - - - - + + + + + + + +