sjfink
e2174bbdde
check some parameters
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1183 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-28 00:09:44 +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
8e741a8149
misc cleanup and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1180 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 19:33:42 +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
rmfuhrer
16938f0f70
getLocalReadKey() is now aware that certain invoke instructions
...
have uses other than parameters and lexical uses (e.g. X10's
async invoke instruction, which has a separate use for the
"place expr").
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1177 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:41:47 +00:00
rmfuhrer
a95a541834
New API method added to identify the last lexical use, used
...
when invoke instruction references entities other than parameters
and lexical uses (e.g. the "place expr" in X10's async invoke).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1176 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:40:54 +00:00
rmfuhrer
b0dae9066a
Added toString() impl.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1175 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-25 16:39:08 +00:00
rmfuhrer
6ac22bc251
Fixed typo in fully-qualified class name specifying impl of
...
the source loader.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1171 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 22:55:58 +00:00
rmfuhrer
c5f773c230
Made protected the ctor flavor that takes args providing value
...
#'s for lexically-scoped reads/writes, so that derived classes
(e.g. X10's AsyncInvokeInstruction) can call super as needed.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1170 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 22:54:56 +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
afc1dc0a59
misc. cleanups and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1167 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:58 +00:00
sjfink
44e81fe29f
misc. cleanups and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1166 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:47 +00:00
sjfink
e2346dbd86
misc. cleanups and refactoring
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1165 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-23 13:42:40 +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
sjfink
637bdaf379
more argument checking
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1162 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-22 02:26:40 +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
74aaeac399
more argument checking
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1156 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 16:04:40 +00:00
sjfink
d6a14bae3e
more argument checking
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1155 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-21 16:04:32 +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
448741b9d3
misc. cleanups and refactorings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1151 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-18 17:30:49 +00:00
sjfink
ba4c5f36bd
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1150 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 20:27:37 +00:00
sjfink
d3c8d535c0
more IllegalArgumentExceptions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1149 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 20:27:33 +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
57477189ea
promote some basic eclipse functions into wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1147 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 14:12:25 +00:00
sjfink
3512d5e0aa
promote some basic eclipse functions into wala.core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1146 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 14:12:20 +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
mkogane
db4d2da065
added Byte case in getConstantValue of AbstractScope
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1142 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-17 02:41:25 +00:00
sjfink
a946870b21
small cleanups for TypeInference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1141 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 19:32:02 +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
c370805c48
small cleanups for TypeInference
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1139 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 19:31:47 +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
36dd8e9329
more hardening against malicious inputs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1136 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 18:58:31 +00:00
sjfink
ea6466127f
more hardening against malicious inputs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1135 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-16 18:58:28 +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
34d3470f01
delete Entrypoints interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1132 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:45:27 +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
e02ea7143c
delete Entrypoints interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1129 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:45:09 +00:00
sjfink
c205bc86f7
delete Entrypoints interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1128 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-15 17:45:03 +00:00