msridhar1
59e46916ce
Generalize certain IR data structures to be less Java-specific. Generalize annotations code to allow for reading annotation parameters. Various other fixes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4290 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-28 17:03:27 +00:00
sjfink
6ff9063a18
suppress compiler warnings from raw types
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4288 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-12-09 19:03:21 +00:00
dolby-oss
e88a7992ba
start colors from 0 rather than 1
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4283 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-10-24 15:58:51 +00:00
sjfink
558f939887
bump up version to 2.0.0.qualifier
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4265 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-18 17:38:52 +00:00
dolby-oss
a44b8587b5
added copyInto
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4258 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-16 21:10:04 +00:00
dolby-oss
7a6af352b9
moved IR-independent visualization of graphs to util project
...
added DFS path find that finds all paths in sequence rather than just one
moved the WalaException out of warnings subpackage
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4257 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-16 16:51:11 +00:00
dolby-oss
646a030127
expose default comparator
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4251 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-08-09 20:12:01 +00:00
sjfink
af16c5d551
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4221 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:32:50 +00:00
sjfink
c5a5507103
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4220 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:27:43 +00:00
sjfink
5f7c86eebb
attempt to fix build breakage on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4219 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-19 21:14:29 +00:00
dolby-oss
1a70dd8f4d
refactor to allow custom ordering of nodes to color
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4216 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-11 19:50:39 +00:00
sjfink
46f2a33315
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4201 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 18:12:35 +00:00
sjfink
5181b6789f
add method isElementOf()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4199 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:38:40 +00:00
sjfink
17029a7110
support some migration from deprecated Filter to Predicate
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-07-01 14:32:41 +00:00
sjfink
7709561c74
patch from Josh Auerbach
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4185 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-20 19:30:08 +00:00
sjfink
03da73a30f
delete obsolete ExplicitEdge class
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4181 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-09 14:12:00 +00:00
dolby-oss
15c202f8e6
Welsh-Powell graph coloring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-06-01 21:47:15 +00:00
sjfink
d6a7828730
attempt to fix compile breakage with generics, manifesting under javac on Linux
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4152 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:16:08 +00:00
sjfink
ebe49342b3
remove unnecessary @SuppressWarning annotation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 14:06:39 +00:00
dolby-oss
4da02a9125
Changes to extend supported context sensitivity to CPA-style:
...
1) extend ContextSelector interface to allow it to specify parameters of interest
2) extend filtering mechanism at call sites to allow CPA-style filtering when requested by contexts
3) various related fixes and extensions:
a) removed redundant code to handle dispatch for JavaScript, so now it shares the core mechanism
b) tighten types for operators that take an array of args - now the array is T[] at the cost of a few array allocation methods
c) a bit more support for empty int sets
d) void function objects
e) bug fixes for lexical scoping support, and adaptation to work with core dispatch mechanism
f) example of CPA-style sensitivity to handle nastiness in a JavaScript for(.. in ...) loop
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-27 13:58:56 +00:00
sjfink
1858943369
a few more os queries, from Rodric
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4078 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-04-01 14:34:46 +00:00
sjfink
0fab9778c3
add a comment about a resource leak problem
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4074 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-03-18 12:46:14 +00:00
dolby-oss
1edb4436f7
utility empty set
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4062 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-17 15:02:19 +00:00
sjfink
6ac8089f74
simpler implementation of recursive delete
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4061 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-10 01:56:54 +00:00
sjfink
35c00c24c6
add a paranoid check for f.exists() in deleteContents()
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4059 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 14:22:05 +00:00
sjfink
df3f3bacd1
squash some compiler warnings. no intended semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-09 11:40:00 +00:00
sjfink
03517ec393
add quoteString call in attempt to avoid windows space bug
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4056 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 22:49:19 +00:00
sjfink
1b9e48ede5
reduce default sleep interval
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-07 21:16:08 +00:00
sjfink
0d5cc5940b
tweak a comment
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4054 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 23:00:10 +00:00
sjfink
ac77758d0d
tweak default buffer sizes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4053 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:55:28 +00:00
sjfink
c47f3488a0
add some generics. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4052 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-04 22:27:34 +00:00
sjfink
d32831b82a
suppress some compiler warnings. no semantic change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4051 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:40:50 +00:00
sjfink
a9e1ef2a4f
add a wildcard generic. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4050 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:24:26 +00:00
sjfink
7cc762c87b
fix some compiler warnings. no semantic changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4049 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:15:56 +00:00
sjfink
29b114928e
minor cleanups. no semantic change
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-03 15:00:56 +00:00
sjfink
c4082442f2
minor cleanups. no intended semantic changes.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4045 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-02-01 20:36:55 +00:00
sjfink
5025a68116
patch from Josh A., to support Eclipse plugin configuration stuff
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4044 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-28 13:14:53 +00:00
dolby-oss
5a042f3f69
tighten typing for NumberedGraph, using covariance as allowed as of java 1.5
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4042 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:46:53 +00:00
dolby-oss
1681a4222b
added simple factory method make(int[])
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4041 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-20 16:45:17 +00:00
sjfink
129ce380a4
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4040 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:57:35 +00:00
sjfink
5bd9c18b20
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4039 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:41:32 +00:00
sjfink
5e4e9f010e
migrate more stuff to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4035 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 22:20:30 +00:00
sjfink
d7d6b048b6
refactoring and moving the launcher utilities to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:31:29 +00:00
sjfink
6416445fe4
refactor to move stuff into wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4031 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 21:13:34 +00:00
sjfink
e8da3e3d8d
move some functionality to wala.util
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4030 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:56:35 +00:00
sjfink
3cfdabc85b
initial revision
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4029 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2011-01-17 20:24:29 +00:00