Commit Graph

230 Commits

Author SHA1 Message Date
sjfink c20ec6e81a remove unnecessary casts
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1235 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-03 21:43:09 +00:00
sjfink cbd2206cfd delete a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1234 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 21:50:56 +00:00
sjfink 8e52444761 make many fields final
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1232 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 21:38:35 +00:00
sjfink 56f4bec3ea 1) change implementation of CGNode hierarchy to avoid type parameters.
2) nuke BasicEntrypoints
3) tweak interface to InstanceKeyFactory for constants
4) refactoring for HeadlessWALA application

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1227 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 18:50:24 +00:00
sjfink 576251be0c 1) adjust somewhat to recent API changes.
2) fix equals() bug in Statement
3) general cleanups

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1223 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 14:06:13 +00:00
dolby-oss 0ed8d96d55 Changes to allow cross-language call graphs. The three biggest changes are as follows:
1) The visitors nested in the SSAPropagationCallGraph have become static classes so that they can be reused in a delegation pattern for the cross-language call graph builder.
2) The ClassHierarchy is now encapsulated behind an IClassHierarchy interface to allow for a CrossLanguageClassHierarchy that delegates to a set of child hierarchies, one for each language.  The internals of the ClassHierarchy are almost entirely unchanged
3) There is now a new Language interface in com.ibm.wala.classLoader, and all IClassLoader objects have to know what language they load for.  This language object now encapsulates a few language-specific options that were previously hacked into the AnalysisOptions object.


git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1212 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:26:18 +00:00
sjfink 9c58d8e2a8 change some Iterators in API to Collections
remove some unnecessary WarningSet parameters

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1208 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-31 02:38:49 +00:00
sjfink 6f2273f48a eliminate some use of raw types
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1205 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 20:52:51 +00:00
sjfink 76aa5bb0ba update comment default
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1203 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 19:28:04 +00:00
sjfink ea3caa1e8a mostly clean up old comments.
also rename InferGraphRootsImpl to InferGraphRoots

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1200 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 19:05:23 +00:00
sjfink fdb7a17af3 add @Overrides annotations and nuke unnecessary casts
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1197 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-30 15:16:05 +00:00
sjfink cb57deb039 add some @NonNull annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1192 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-29 17:45:34 +00:00
sjfink 4006f2c6ff changes to search implementation and API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1189 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-29 17:14:11 +00:00
sjfink 766748b940 more annotations support
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1188 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-29 13:39:14 +00:00
sjfink 0d83415651 small bug fix in toString()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1186 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-29 13:13:03 +00:00
sjfink 9ba9b164df some annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1184 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-28 00:11:02 +00:00
schandra_sf 24d1b5f63c Just intconstant(0) for now.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1182 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-27 23:22:33 +00:00
schandra_sf 435ef30fd6 made constructor protected (was private)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-27 19:36:56 +00:00
sjfink af153ec7ff misc cleanup and refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1179 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 19:33:39 +00:00
sjfink b197fe7b8c bug fix in searching.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1178 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 19:32:19 +00:00
sjfink bc67070903 small API cleanups
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1169 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 14:11:10 +00:00
sjfink 3a07a1a1f7 misc. cleanups and refactoring
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1168 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:43:11 +00:00
sjfink 59822957c9 bug fix in getField()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1164 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:04 +00:00
sjfink 42e43625cd more argument checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1163 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-22 02:26:58 +00:00
loginov 85ad6cd850 Added getter for currentHops. Can be used for checking the
max number of hops (from root) actually taken by the search.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1161 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 21:26:50 +00:00
loginov 8fa7138418 Added convenience method format(String, Object...).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 21:24:06 +00:00
loginov b49c1314db processExit() no longer assumes that null return successor
can only happen for fakeRootMethod.

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1159 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 21:22:32 +00:00
sjfink bcf4329024 delegate hashCode() and equals()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1158 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 16:19:55 +00:00
sjfink 21225dc6ea some verbose messages for temp. debugging
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1157 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 16:19:37 +00:00
sjfink f2f40b3d4e more argument checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1154 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 16:04:27 +00:00
schandra_sf 8b9f6df8fe made constructor protected (was private)
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1153 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-20 17:46:24 +00:00
sjfink 7a5b1b8915 misc. cleanups and refactorings
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-18 17:30:59 +00:00
sjfink b5e513cf3e more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1148 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 20:27:28 +00:00
sjfink f320c06ba9 promote some basic eclipse functions into wala.core
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1144 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 14:12:05 +00:00
sjfink d0cd43898f small cleanups for TypeInference
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1140 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 19:31:57 +00:00
sjfink 81a5de4366 mark a method deprecated
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1138 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 19:23:50 +00:00
sjfink 2d7c2240de more hardening against malicious inputs
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1137 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 18:58:43 +00:00
sjfink 2abd04766b generalizations from alexey
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1134 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 02:34:01 +00:00
sjfink b0598a95f4 more argument checking
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1133 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 19:35:57 +00:00
sjfink 48220c4e90 delete Entrypoints interface.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1131 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:45:23 +00:00
sjfink 4acf542744 validate some arguments; throw IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1119 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 03:15:05 +00:00
sjfink 87fa9750f3 feature 1718935: make Entrypoints implement Iterable
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1115 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 21:30:53 +00:00
sjfink 83ee60fe7e tweak propagation of exceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1113 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 20:20:21 +00:00
sjfink 46eeca59af Feature 1718799: refactor ShrikeUtil.makeMethodReference and makeFieldReference
into MethodReference and FieldReference findOrCreate()s

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1112 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:53:49 +00:00
sjfink 29a7b9c35d feature 1717405: cleanup MemberReference.getDeclaringClass() API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1107 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:30:49 +00:00
sjfink aa6ebda83b feature 1717405: rename getFieldReference() to getReference()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1104 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:01:14 +00:00
sjfink 88b11f3596 fix some problems with getting files from Plugins
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1103 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 16:46:40 +00:00
sjfink 66c94ec42d add a comment
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1101 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 16:42:41 +00:00
dolby-oss aef9a11b3d fix special case in which primitive types could not be used as entrypoint parameters
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1099 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-11 15:16:39 +00:00
sjfink ed509d5910 throw IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1098 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-08 21:49:58 +00:00