DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix Eclipse 3.4.1 compiler warnings 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3100 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-12-01 19:40:43 +00:00
parent b5743d4738
commit 66884c2c37
60 changed files with 96 additions and 150 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.cast.java.test/.classpath
View File

@ -1,9 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="lib" path="/com.ibm.wala.cast.java/lib/java_cup.jar"/>
<classpathentry kind="lib" path="/com.ibm.wala.cast.java/lib/polyglot.jar"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.cast.java.test/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:18:28 EST 2008
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
@ -60,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=16
@ -104,11 +104,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -134,7 +132,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

3
com.ibm.wala.cast.java.test/META-INF/MANIFEST.MF
View File

@ -11,5 +11,6 @@ Require-Bundle: com.ibm.wala.core.tests,
com.ibm.wala.core,
org.eclipse.core.runtime,
org.junit4
Eclipse-LazyStart: true
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.java.test
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

8
com.ibm.wala.cast.java/.classpath
View File

@ -1,9 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry exported="true" kind="lib" path="lib/java_cup.jar"/>
<classpathentry exported="true" kind="lib" path="lib/polyglot.jar"/>
<classpathentry kind="src" path="src"/>
<classpathentry exported="true" kind="lib" path="lib/java_cup.jar" sourcepath="com.ibm.wala.cast.javasrc.zip"/>
<classpathentry exported="true" kind="lib" path="lib/polyglot.jar" sourcepath="com.ibm.wala.cast.javasrc.zip"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.cast.java/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:18:42 EST 2008
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
@ -60,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=16
@ -104,11 +104,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -134,7 +132,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

3
com.ibm.wala.cast.java/META-INF/MANIFEST.MF
View File

@ -7,7 +7,7 @@ Bundle-Activator: com.ibm.wala.cast.java.JavaSourcePlugin
Bundle-Vendor: rfuhrer@watson.ibm.com
Require-Bundle: com.ibm.wala.cast;visibility:=reexport,
com.ibm.wala.core;visibility:=reexport
Eclipse-LazyStart: true
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.java,
com.ibm.wala.cast.java.analysis.typeInference,
com.ibm.wala.cast.java.client,
@ -41,3 +41,4 @@ Export-Package: com.ibm.wala.cast.java,
Bundle-ClassPath: .,
lib/java_cup.jar,
lib/polyglot.jar
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

4
com.ibm.wala.cast.test/.classpath
View File

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="harness-src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="harness-src"/>
<classpathentry kind="output" path="bin"/>
</classpath>

9
com.ibm.wala.cast.test/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:19:05 EST 2008
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
@ -60,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=16
@ -132,7 +132,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

2
com.ibm.wala.cast.test/META-INF/MANIFEST.MF
View File

@ -9,6 +9,6 @@ Require-Bundle:
com.ibm.wala.cast,
com.ibm.wala.core,
org.junit4
Eclipse-LazyStart: false
Export-Package: com.ibm.wala.cast.test
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

4
com.ibm.wala.cast/.classpath
View File

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="source/java"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="source/java"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.cast/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:18:51 EST 2008
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
@ -60,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=16
@ -104,11 +104,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -134,7 +132,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

3
com.ibm.wala.cast/META-INF/MANIFEST.MF
View File

@ -7,7 +7,7 @@ Bundle-Activator: com.ibm.wala.cast.plugin.AstPlugin
Bundle-Vendor: IBM
Require-Bundle: org.eclipse.core.runtime,
com.ibm.wala.core
Eclipse-LazyStart: true
Bundle-ActivationPolicy: lazy
Export-Package: com.ibm.wala.cast.analysis.typeInference,
com.ibm.wala.cast.ipa.callgraph,
com.ibm.wala.cast.ipa.cha,
@ -23,4 +23,5 @@ Export-Package: com.ibm.wala.cast.analysis.typeInference,
com.ibm.wala.cast.tree.visit,
com.ibm.wala.cast.types,
com.ibm.wala.cast.util
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

4
com.ibm.wala.core.testdata/.classpath
View File

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/>
</classpath>

21
com.ibm.wala.core.testdata/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:23:14 EST 2008
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
@ -18,10 +18,11 @@ org.eclipse.jdt.core.compiler.problem.discouragedReference=warning
org.eclipse.jdt.core.compiler.problem.emptyStatement=ignore
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.problem.fallthroughCase=ignore
org.eclipse.jdt.core.compiler.problem.fatalOptionalError=enabled
org.eclipse.jdt.core.compiler.problem.fieldHiding=ignore
org.eclipse.jdt.core.compiler.problem.finalParameterBound=warning
org.eclipse.jdt.core.compiler.problem.finallyBlockNotCompletingNormally=warning
org.eclipse.jdt.core.compiler.problem.forbiddenReference=error
org.eclipse.jdt.core.compiler.problem.forbiddenReference=ignore
org.eclipse.jdt.core.compiler.problem.hiddenCatchBlock=warning
org.eclipse.jdt.core.compiler.problem.incompatibleNonInheritedInterfaceMethod=warning
org.eclipse.jdt.core.compiler.problem.incompleteEnumSwitch=ignore
@ -38,7 +39,10 @@ org.eclipse.jdt.core.compiler.problem.nullReference=ignore
org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod=warning
org.eclipse.jdt.core.compiler.problem.parameterAssignment=ignore
org.eclipse.jdt.core.compiler.problem.possibleAccidentalBooleanAssignment=ignore
org.eclipse.jdt.core.compiler.problem.potentialNullReference=ignore
org.eclipse.jdt.core.compiler.problem.rawTypeReference=ignore
org.eclipse.jdt.core.compiler.problem.redundantNullCheck=ignore
org.eclipse.jdt.core.compiler.problem.redundantSuperinterface=ignore
org.eclipse.jdt.core.compiler.problem.specialParameterHidingField=disabled
org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=warning
org.eclipse.jdt.core.compiler.problem.suppressWarnings=enabled
@ -51,16 +55,20 @@ org.eclipse.jdt.core.compiler.problem.unnecessaryElse=ignore
org.eclipse.jdt.core.compiler.problem.unnecessaryTypeCheck=ignore
org.eclipse.jdt.core.compiler.problem.unqualifiedFieldAccess=ignore
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=ignore
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionExemptExceptionAndThrowable=enabled
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionIncludeDocCommentReference=enabled
org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionWhenOverriding=disabled
org.eclipse.jdt.core.compiler.problem.unusedImport=warning
org.eclipse.jdt.core.compiler.problem.unusedLabel=warning
org.eclipse.jdt.core.compiler.problem.unusedLocal=warning
org.eclipse.jdt.core.compiler.problem.unusedParameter=ignore
org.eclipse.jdt.core.compiler.problem.unusedParameterIncludeDocCommentReference=enabled
org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=disabled
org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled
org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning
org.eclipse.jdt.core.compiler.problem.unusedWarningToken=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=16
@ -104,11 +112,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -134,7 +140,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

1
com.ibm.wala.core.testdata/META-INF/MANIFEST.MF
View File

@ -4,3 +4,4 @@ Bundle-Name: Testdata Plug-in
Bundle-SymbolicName: com.ibm.wala.core.testdata
Bundle-Version: 1.0.0
Bundle-Vendor: IBM
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

3
com.ibm.wala.core.testdata/src/demandpa/TestException.java
View File

@ -50,8 +50,7 @@ public class TestException {
}
}
public static void foo(@SuppressWarnings("unused")
Object o) throws IllegalAccessException {
public static void foo(Object o) throws IllegalAccessException {
throw new IllegalAccessException();
}
}

3
com.ibm.wala.core.testdata/src/demandpa/TestOnTheFlyCS.java
View File

@ -40,8 +40,7 @@ package demandpa;
public class TestOnTheFlyCS {
static class C1 {
void doSomething(@SuppressWarnings("unused")
Object o) {
void doSomething(Object o) {
}
}

6
com.ibm.wala.core.testdata/src/demandpa/TestUtil.java
View File

@ -46,12 +46,10 @@ package demandpa;
*/
public class TestUtil {
public static void makeVarUsed(@SuppressWarnings("unused")
Object o) {
public static void makeVarUsed(Object o) {
}
public static void testThisVar(@SuppressWarnings("unused")
Object o) {
public static void testThisVar(Object o) {
}
}

1
com.ibm.wala.core.testdata/src/reflection/Reflect10.java
View File

@ -7,7 +7,6 @@ import java.lang.reflect.Method;
* Test of Method.invoke
*/
public class Reflect10 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException, SecurityException, NoSuchMethodException {
Class c = Class.forName("java.lang.Integer");

1
com.ibm.wala.core.testdata/src/reflection/Reflect11.java
View File

@ -7,7 +7,6 @@ import java.lang.reflect.Method;
* Test of Method.invoke
*/
public class Reflect11 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException, SecurityException, NoSuchMethodException {
Class c = Class.forName("java.lang.Integer");

1
com.ibm.wala.core.testdata/src/reflection/Reflect12.java
View File

@ -7,7 +7,6 @@ import java.lang.reflect.Method;
* Test of Method.invoke
*/
public class Reflect12 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException, SecurityException, NoSuchMethodException {
Class c = Class.forName("reflection.Helper");

1
com.ibm.wala.core.testdata/src/reflection/Reflect13.java
View File

@ -7,7 +7,6 @@ import java.lang.reflect.Method;
* Test of Method.invoke
*/
public class Reflect13 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException, SecurityException, NoSuchMethodException {
Class c = Class.forName("reflection.Helper");

1
com.ibm.wala.core.testdata/src/reflection/Reflect14.java
View File

@ -8,7 +8,6 @@ import java.lang.reflect.Modifier;
* Test of Method.invoke
*/
public class Reflect14 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException, SecurityException, NoSuchMethodException {
Class c = Class.forName("reflection.Helper");

1
com.ibm.wala.core.testdata/src/reflection/Reflect15.java
View File

@ -7,7 +7,6 @@ import java.lang.reflect.InvocationTargetException;
* Test of Class.getConstructors().
*/
public class Reflect15 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException {
Class c = Class.forName("reflection.Helper");

1
com.ibm.wala.core.testdata/src/reflection/Reflect22.java
View File

@ -8,7 +8,6 @@ import java.lang.reflect.InvocationTargetException;
* Test of Constructor.newInstance
*/
public class Reflect22 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, SecurityException,
NoSuchMethodException, IllegalAccessException, InstantiationException,
IllegalArgumentException, InvocationTargetException {

1
com.ibm.wala.core.testdata/src/reflection/Reflect23.java
View File

@ -9,7 +9,6 @@ import java.lang.reflect.Modifier;
* Test of Constructor.newInstance
*/
public class Reflect23 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, SecurityException,
NoSuchMethodException, IllegalAccessException, InstantiationException,
IllegalArgumentException, InvocationTargetException {

1
com.ibm.wala.core.testdata/src/reflection/Reflect8.java
View File

@ -7,7 +7,6 @@ import java.lang.reflect.InvocationTargetException;
* Test of Class.getConstructors().
*/
public class Reflect8 {
@SuppressWarnings("unchecked")
public static void main(String[] args) throws ClassNotFoundException, IllegalArgumentException, InstantiationException,
IllegalAccessException, InvocationTargetException {
Class c = Class.forName("java.lang.Integer");

4
com.ibm.wala.core.tests/.classpath
View File

@ -1,8 +1,8 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="dat"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.core.tests/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:05 EDT 2008
#Mon Dec 01 14:24:21 EST 2008
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
@ -60,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=16
@ -104,11 +104,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -134,7 +132,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

1
com.ibm.wala.core.tests/META-INF/MANIFEST.MF
View File

@ -21,3 +21,4 @@ Export-Package: com.ibm.wala.core.tests.basic,
com.ibm.wala.examples.drivers,
com.ibm.wala.examples.properties,
com.ibm.wala.demandpa.driver
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

1
com.ibm.wala.core.tests/src/com/ibm/wala/demandpa/driver/DemandCastChecker.java
View File

@ -200,7 +200,6 @@ public class DemandCastChecker {
return Pair.make(retCG, retPA);
}
@SuppressWarnings("unused")
private static RefinementPolicyFactory chooseRefinePolicyFactory(ClassHierarchy cha) {
if (true) {
return new TunedRefinementPolicy.Factory(cha);

4
com.ibm.wala.core/.classpath
View File

@ -1,9 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="dat"/>
<classpathentry kind="src" path="lib"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.core/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:07 EDT 2008
#Mon Dec 01 14:19:16 EST 2008
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
@ -73,7 +73,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=16
@ -117,11 +117,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -147,7 +145,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

3
com.ibm.wala.core/META-INF/MANIFEST.MF
View File

@ -17,7 +17,7 @@ Require-Bundle: com.ibm.wala.shrike;visibility:=reexport,
org.eclipse.pde.core,
org.eclipse.pde.runtime,
org.eclipse.pde.ui
Eclipse-LazyStart: true
Bundle-ActivationPolicy: lazy
Export-Package: .,
com.ibm.wala.accessPath,
com.ibm.wala.analysis.pointers,
@ -87,3 +87,4 @@ Export-Package: .,
com.ibm.wala.util.tables,
com.ibm.wala.util.warnings,
com.ibm.wala.viz
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

4
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/PartiallyCollapsedSupergraph.java
View File

@ -111,7 +111,6 @@ public class PartiallyCollapsedSupergraph extends AbstractGraph<Object> implemen
* @param noCollapse
* set of nodes in the call graph which cannot be collapsed
*/
@SuppressWarnings("unchecked")
public PartiallyCollapsedSupergraph(CallGraph cg, Collection<CGNode> noCollapse) {
this(cg, noCollapse, IndiscriminateFilter.<CGNode>singleton());
}
@ -236,7 +235,6 @@ public class PartiallyCollapsedSupergraph extends AbstractGraph<Object> implemen
}
}
@SuppressWarnings("unchecked")
public Iterator<Object> getCalledNodes(Object n) {
return new FilterIterator<Object>(edgeManager.getSuccNodes(n), isEntry);
}
@ -480,7 +478,6 @@ public class PartiallyCollapsedSupergraph extends AbstractGraph<Object> implemen
/*
* @see com.ibm.wala.util.graph.EdgeManager#getPredNodeCount(java.lang.Object)
*/
@SuppressWarnings("unchecked")
public int getPredNodeCount(Object N) {
Collection c = Iterator2Collection.toCollection(getPredNodes(N));
return c.size();
@ -604,7 +601,6 @@ public class PartiallyCollapsedSupergraph extends AbstractGraph<Object> implemen
* @see com.ibm.wala.util.graph.EdgeManager#getSuccNodeCount(java.lang.Object)
*/
@SuppressWarnings("unchecked")
public int getSuccNodeCount(Object N) {
Collection c = Iterator2Collection.toCollection(getSuccNodes(N));
return c.size();

1
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
View File

@ -1020,7 +1020,6 @@ public class TabulationSolver<T, P, F> {
super(100);
}
@SuppressWarnings("unchecked")
@Override
protected boolean compareElements(PathEdge<T> p1, PathEdge<T> p2) {
return problem.getDomain().hasPriorityOver(p1, p2);

2
com.ibm.wala.core/src/com/ibm/wala/demandpa/genericutil/ImmutableStack.java
View File

@ -92,7 +92,6 @@ public class ImmutableStack<T> implements Iterable<T> {
// return Util.hashArray(this.entries);
}
@SuppressWarnings("unchecked")
public ImmutableStack<T> push(T entry) {
assert entry != null;
if (MAX_SIZE == 0) {
@ -127,7 +126,6 @@ public class ImmutableStack<T> implements Iterable<T> {
return entries[entries.length - 1];
}
@SuppressWarnings("unchecked")
public ImmutableStack<T> pop() {
assert entries.length != 0;
int size = entries.length - 1;

2
com.ibm.wala.core/src/com/ibm/wala/eclipse/util/EclipseProjectPath.java
View File

@ -131,7 +131,6 @@ public class EclipseProjectPath {
/**
* Figure out what a classpath entry means and add it to the appropriate set of modules
*/
@SuppressWarnings("restriction")
private void resolveClasspathEntry(IClasspathEntry entry, Loader loader) throws JavaModelException, IOException {
IClasspathEntry e = JavaCore.getResolvedClasspathEntry(entry);
if (alreadyResolved.contains(e)) {
@ -200,7 +199,6 @@ public class EclipseProjectPath {
resolveBundleDescriptionClassPath(bd, Loader.APPLICATION);
}
@SuppressWarnings("restriction")
private void resolveBundleDescriptionClassPath(BundleDescription bd, Loader loader) throws CoreException, IOException {
assert bd != null;
if (alreadyProcessed(bd)) {

1
com.ibm.wala.core/src/com/ibm/wala/fixedpoint/impl/GeneralStatement.java
View File

@ -33,7 +33,6 @@ public class GeneralStatement<T extends IVariable> extends AbstractStatement<T,
*
* @return true if the lhs value changed. false otherwise
*/
@SuppressWarnings("unchecked")
public byte evaluate() {
return operator.evaluate(lhs, rhs);
}

3
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/AnalysisCache.java
View File

@ -30,10 +30,8 @@ public class AnalysisCache {
private final SSACache ssaCache;
@SuppressWarnings("deprecation")
private final CFGCache cfgCache;
@SuppressWarnings("deprecation")
public AnalysisCache(IRFactory<IMethod> irFactory) {
super();
this.irFactory = irFactory;
@ -46,7 +44,6 @@ public class AnalysisCache {
this(new DefaultIRFactory());
}
@SuppressWarnings("deprecation")
public void invalidate(IMethod method, Context C) {
ssaCache.invalidate(method, C);
cfgCache.invalidate(method, C);

1
com.ibm.wala.core/src/com/ibm/wala/ipa/modref/GenReach.java
View File

@ -34,6 +34,7 @@ import com.ibm.wala.util.intset.OrdinalSetMapping;
*/
public class GenReach<T, L> extends BitVectorFramework<T, L> {
@SuppressWarnings("unchecked")
public GenReach(Graph<T> flowGraph, Map<T, Collection<L>> gen) {
super(flowGraph, new GenFunctions<T, L>(gen), makeDomain(gen));
// ugly but necessary, in order to avoid computing the domain twice.

1
com.ibm.wala.core/src/com/ibm/wala/ssa/IR.java
View File

@ -236,7 +236,6 @@ public abstract class IR {
abstract Iterator<? extends SSAInstruction> getBlockIterator(BasicBlock b);
@SuppressWarnings("unchecked")
TwoLevelIterator() {
currentBlockIndex = 0;
currentBlockIterator = cfg.getNode(0).iteratePhis();

1
com.ibm.wala.core/src/com/ibm/wala/util/collections/FilterIterator.java
View File

@ -58,7 +58,6 @@ public class FilterIterator<T> implements java.util.Iterator<T> {
done = true;
}
@SuppressWarnings("unchecked")
public T next() throws NoSuchElementException {
if (done) {
throw new java.util.NoSuchElementException();

1
com.ibm.wala.core/src/com/ibm/wala/util/graph/dominators/Dominators.java
View File

@ -271,7 +271,6 @@ public abstract class Dominators<T> {
/**
* This is the heart of the algorithm. See sources for details.
*/
@SuppressWarnings("unchecked")
private void step2() {
if (DEBUG) {
System.out.println(" ******* Beginning STEP 2 *******\n");

1
com.ibm.wala.core/src/com/ibm/wala/util/graph/dominators/GenericDominators.java
View File

@ -29,7 +29,6 @@ import com.ibm.wala.util.graph.Graph;
public class GenericDominators<T> extends Dominators<T> {
@SuppressWarnings("unchecked")
public GenericDominators(Graph<T> G, T root)
throws IllegalArgumentException
{

1
com.ibm.wala.core/src/com/ibm/wala/util/graph/dominators/NumberedDominators.java
View File

@ -26,7 +26,6 @@ import com.ibm.wala.util.graph.NumberedGraph;
public class NumberedDominators<T> extends Dominators<T> {
@SuppressWarnings("unchecked")
public NumberedDominators(NumberedGraph<T> G, T root) throws IllegalArgumentException {
super(G, root);

2
com.ibm.wala.core/src/com/ibm/wala/util/graph/traverse/NumberedDFSFinishTimeIterator.java
View File

@ -44,7 +44,6 @@ public class NumberedDFSFinishTimeIterator<T> extends DFSFinishTimeIterator<T> i
*
* @param G the graph whose nodes to enumerate
*/
@SuppressWarnings("unchecked")
NumberedDFSFinishTimeIterator(NumberedGraph<T> G, T N) {
this.G = G;
pendingChildren = new Iterator[G.getMaxNumber() + 1];
@ -59,7 +58,6 @@ public class NumberedDFSFinishTimeIterator<T> extends DFSFinishTimeIterator<T> i
* @param G the graph whose nodes to enumerate
* @param nodes the set of nodes from which to start searching
*/
@SuppressWarnings("unchecked")
NumberedDFSFinishTimeIterator(NumberedGraph<T> G, Iterator<? extends T> nodes) {
this.G = G;
pendingChildren = new Iterator[G.getMaxNumber() + 1];

2
com.ibm.wala.core/src/com/ibm/wala/util/graph/traverse/SCCIterator.java
View File

@ -42,7 +42,7 @@ public class SCCIterator<T> implements Iterator<Set<T>> {
* The graph over which to construct SCCs
* @throws NullPointerException if G is null
*/
@SuppressWarnings({ "unchecked", "cast" })
@SuppressWarnings({ "cast" })
public SCCIterator(Graph<T> G) throws NullPointerException {
this(G, (Iterator<T>) G.iterator());
}

4
com.ibm.wala.j2ee/.classpath
View File

@ -1,9 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="src" path="dat"/>
<classpathentry kind="src" path="lib"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.j2ee/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:24:35 EST 2008
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
@ -60,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=16
@ -104,11 +104,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -134,7 +132,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

1
com.ibm.wala.j2ee/META-INF/MANIFEST.MF
View File

@ -18,3 +18,4 @@ Require-Bundle: com.ibm.wala.core;visibility:=reexport,
org.eclipse.emf.ecore.xmi,
com.ibm.icu;visibility:=reexport,
javax.servlet
Bundle-RequiredExecutionEnvironment: JavaSE-1.6

2
com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/AppClientEntrypoints.java
View File

@ -93,7 +93,6 @@ public class AppClientEntrypoints implements Iterable<Entrypoint> {
* @param loader
* governing class loader
*/
@SuppressWarnings("restriction")
private void addEntrypointsRecursive(TopLevelArchiveModule T, ClassLoaderReference loader) {
if (T.getType() == TopLevelArchiveModule.APPLICATION_CLIENT_FILE) {
addEntrypoints((ApplicationClientFile) T.materializeArchive());
@ -110,7 +109,6 @@ public class AppClientEntrypoints implements Iterable<Entrypoint> {
}
}
@SuppressWarnings("restriction")
private void addEntrypoints(ApplicationClientFile file) {
ArchiveManifest manifest = file.getManifest();
String mainClass = manifest.getMainClass();

4
com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/DeploymentMetaDataImpl.java
View File

@ -136,7 +136,7 @@ public class DeploymentMetaDataImpl implements DeploymentMetaData {
* @param scope
* the analysis scope which defines the EJB jar files to analyze
*/
@SuppressWarnings({ "restriction", "unchecked" })
@SuppressWarnings({ "unchecked" })
public DeploymentMetaDataImpl(AnalysisScope scope) {
ClassLoaderReference loader = scope.getApplicationLoader();
@ -163,7 +163,7 @@ public class DeploymentMetaDataImpl implements DeploymentMetaData {
* @param archive
* WCCM object which holds the ejb jarfile
*/
@SuppressWarnings({ "restriction", "unchecked" })
@SuppressWarnings({ "unchecked" })
private void processEJBJarFile(ClassLoaderReference loader, EJBJarFile archive) {
// extract the deployment descriptor
EJBJar DD = null;

4
com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/EJBEntrypoints.java
View File

@ -111,7 +111,7 @@ public class EJBEntrypoints implements Iterable<Entrypoint>, EJBConstants {
* @param scope
* representation of the analysis scope.
*/
@SuppressWarnings({ "restriction", "unchecked" })
@SuppressWarnings({ "unchecked" })
public EJBEntrypoints(IClassHierarchy cha, J2EEAnalysisScope scope, DeploymentMetaData deployment, boolean justMDBs,
J2EEClassTargetSelector classTargetSelector) {
this.cha = cha;
@ -163,7 +163,7 @@ public class EJBEntrypoints implements Iterable<Entrypoint>, EJBConstants {
* @param archive
* WCCM representation of EJB jar file.
*/
@SuppressWarnings({ "restriction", "unchecked" })
@SuppressWarnings({ "unchecked" })
private void addEntrypointsForEJBJarFile(J2EEAnalysisScope scope, ClassLoaderReference loader, Archive archive) {
// extract the deployment descriptor
EJBJar DD = ((EJBJarFile) archive).getDeploymentDescriptor();

1
com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/J2EEUtil.java
View File

@ -62,7 +62,6 @@ public class J2EEUtil {
* @param M the module to analyze
* @return Archive, or null if no WCCM conversion is possible
*/
@SuppressWarnings("restriction")
public static Archive getArchive(Module M) {
CommonarchiveFactory factory = CommonarchiveFactoryImpl.getActiveFactory();
try {

2
com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/TransactionUtil.java
View File

@ -49,7 +49,7 @@ public class TransactionUtil {
* Create a set of objects to represent transaction entrypoints
* defined in this module.
*/
@SuppressWarnings({ "restriction", "unchecked" })
@SuppressWarnings({ "unchecked" })
public static Set<DeploymentDeclaredTransaction> createDeclaredTransactionEntries(Archive A, ClassLoaderReference loader) {
if (DEBUG) {

9
com.ibm.wala.j2ee/src/com/ibm/wala/j2ee/util/TopLevelArchiveModule.java
View File

@ -79,7 +79,6 @@ public class TopLevelArchiveModule implements Module {
* @param A an ARCHIVE
* @return one of EAR_FILE, JAR_FILE, WAR_FILE, or APPLICATION_CLIENT_FILE
*/
@SuppressWarnings("restriction")
public static byte getTypeCode(Archive A) {
if (A instanceof EARFile) {
return EAR_FILE;
@ -97,7 +96,6 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see java.lang.Object#toString()
*/
@SuppressWarnings("restriction")
public String toString() {
return "ArchiveModule:" + materializeArchive().getName();
}
@ -112,7 +110,7 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see com.ibm.wala.classLoader.Module#getEntries()
*/
@SuppressWarnings({ "restriction", "unchecked" })
@SuppressWarnings({ "unchecked" })
public Iterator<ModuleEntry> getEntries() {
if (DEBUG) {
Trace.println("ArchiveModule.getEntries(): " + this);
@ -170,7 +168,6 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see com.ibm.wala.classLoader.ModuleEntry#getName()
*/
@SuppressWarnings("restriction")
public String getName() {
return F.getURI();
}
@ -178,7 +175,6 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see com.ibm.wala.classLoader.ModuleEntry#isClassFile()
*/
@SuppressWarnings("restriction")
public boolean isClassFile() {
return FileSuffixes.isClassFile(F.getName());
}
@ -186,7 +182,6 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see com.ibm.wala.classLoader.ModuleEntry#getInputStream()
*/
@SuppressWarnings("restriction")
public InputStream getInputStream() {
try {
return F.getInputStream();
@ -211,7 +206,6 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see com.ibm.wala.classLoader.ModuleEntry#isModuleFile()
*/
@SuppressWarnings("restriction")
public boolean isModuleFile() {
return F.isArchive();
}
@ -219,7 +213,6 @@ public class TopLevelArchiveModule implements Module {
/* (non-Javadoc)
* @see com.ibm.wala.classLoader.ModuleEntry#asModule()
*/
@SuppressWarnings("restriction")
public Module asModule() {
if (Assertions.verifyAssertions) {
Assertions._assert(isModuleFile());

14
com.ibm.wala.shrike/.classpath
View File

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="output" path="bin"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/>
</classpath>

11
com.ibm.wala.shrike/.settings/org.eclipse.jdt.core.prefs
View File

@ -1,10 +1,10 @@
#Thu Jul 03 14:59:06 EDT 2008
#Mon Dec 01 14:25:51 EST 2008
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
@ -72,7 +72,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=16
@ -116,11 +116,9 @@ org.eclipse.jdt.core.formatter.brace_position_for_enum_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_method_declaration=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line
org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line
org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_block_comment=false
org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
org.eclipse.jdt.core.formatter.comment.format_block_comments=true
org.eclipse.jdt.core.formatter.comment.format_comments=true
org.eclipse.jdt.core.formatter.comment.format_header=false
org.eclipse.jdt.core.formatter.comment.format_html=true
org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
@ -146,7 +144,6 @@ org.eclipse.jdt.core.formatter.indent_statements_compare_to_body=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_cases=true
org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
org.eclipse.jdt.core.formatter.indentation.size=4
org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
org.eclipse.jdt.core.formatter.insert_new_line_before_catch_in_try_statement=do not insert

3
com.ibm.wala.shrike/META-INF/MANIFEST.MF
View File

@ -4,7 +4,7 @@ Bundle-Name: %pluginName
Bundle-SymbolicName: com.ibm.wala.shrike
Bundle-Version: 1.1.3.qualifier
Bundle-Vendor: %providerName
Eclipse-LazyStart: true
Bundle-ActivationPolicy: lazy
Bundle-Localization: plugin
Export-Package: com.ibm.wala.annotations,
com.ibm.wala.shrike.bench,
@ -17,3 +17,4 @@ Export-Package: com.ibm.wala.annotations,
com.ibm.wala.shrikeBT.shrikeCT.tools,
com.ibm.wala.shrikeBT.tools,
com.ibm.wala.shrikeCT
Bundle-RequiredExecutionEnvironment: JavaSE-1.6