sjfink
|
a3b7564df6
|
more IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3326 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2009-03-17 14:15:40 +00:00 |
|
sjfink
|
1f67550d3c
|
add more checks for IllegalArgumentExceptions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1629 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-08-17 21:09:49 +00:00 |
|
sjfink
|
09723fdc2b
|
make some fields final
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1242 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-05 01:17:18 +00:00 |
|
sjfink
|
0119a40be4
|
make many fields final
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1233 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-06-01 21:39:03 +00:00 |
|
sjfink
|
60058dec8b
|
add @Overrides annotations and nuke unnecessary casts
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1198 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-30 15:42:59 +00:00 |
|
sjfink
|
3f1d0c4f58
|
harden against invalid arguments. annotate some methods as throws NPE.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1097 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-05-08 21:23:06 +00:00 |
|
sjfink
|
876a5225ec
|
check arguments to public methods
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1018 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-04-26 20:35:01 +00:00 |
|
sjfink
|
08e6f673ba
|
misc. bug fixes and annotations
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@578 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-15 18:31:14 +00:00 |
|
sjfink
|
f7551c352f
|
misc annotations and assertions
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@575 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2007-01-15 15:08:12 +00:00 |
|
sjfink
|
68270cad6f
|
mv stuff to trunk
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
|
2006-11-22 17:45:24 +00:00 |