4075f6e5b6
fixes for build issues
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1757 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-17 16:01:06 +00:00
0cb9c7e629
extensions to source java slicer
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1746 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-13 15:09:57 +00:00
55049dad72
Made the general util method public.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1743 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-09-11 15:40:31 +00:00
a193724b5f
adapt to wala.core IteratorPlusOne change and clean up some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1708 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:51:15 +00:00
2c3473b4ac
hide Pair constructor; misc. generics-related cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 23:20:00 +00:00
c18fc8dea0
adapt to new generics in wala core
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1698 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-31 21:50:08 +00:00
8d5172fbc8
fixed bounds of iteration over symbol table using getMaxValueNumber. Loops should be iterating all the way to the MaxValueNumber returned (i.e., <=).
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1653 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-22 15:33:46 +00:00
4401975206
fix for inserting casts for binary ops
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1621 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-14 16:10:58 +00:00
3be623a375
add primitive conversions where appropriate for binary ops
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1620 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-14 15:10:13 +00:00
79e48950d1
small cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1598 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-09 17:39:29 +00:00
6927a87adb
add factories and objects to allow slicer to be extended to handle multiple languages
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1596 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-08 12:01:45 +00:00
d830347245
make enclosing object keys usable by others
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1579 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-07 13:47:16 +00:00
f6185c6e98
merge code from loop unroller into standard CAstRewriter
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1559 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-08-01 15:37:10 +00:00
3026eda8a3
decouple IR caching from AnalysisOptions with a new AnalysisCache object
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1517 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-20 15:20:06 +00:00
e3c6eea00c
Added flavors of makeNode() that take Polyglot Positions to identify the position of the CAstNode to be created.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1512 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-19 22:18:27 +00:00
aa17ea8c7e
fixes for default values of null
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1484 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-16 15:10:33 +00:00
f979887706
remove unused import
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1477 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-15 19:20:42 +00:00
5b0969d6b6
Added new symbol class InternalCAstSymbol to make intent more
...
clear than using CAstSymbolImpl with extra boolean arg.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1470 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 22:46:10 +00:00
897717acd2
Exposed referenceFor*() methods so that clients can translate
...
Polyglot type-related objects to their WALA counterparts w/o
attempting to canonicalize them. See the JavaDoc for more info
on why this is necessary.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1463 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:48:22 +00:00
e28bbb74c1
Added some JavaDoc to IdentityMapper interface.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1462 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-13 15:46:55 +00:00
406d5297c1
Made doArrayRead() and doArrayWrite() public, per API change.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1454 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 22:50:28 +00:00
d9dad9f495
generalize hackish notion of 'internal' names
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1449 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-12 18:15:27 +00:00
797f7d445f
use Hash factories everywhere
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1434 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-11 21:07:19 +00:00
8aa15329d3
organize imports
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1393 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-09 15:49:07 +00:00
192f06a387
massive overhaul of Warnings management
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1384 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 22:08:34 +00:00
5d6eb70c5b
miscellaneous housekeeping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1365 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-07-06 03:07:24 +00:00
43c1c4bd4a
bug fixes and api changes for new assertion checking during ir generation
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1313 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-25 20:09:45 +00:00
45495d47c8
organize imports and format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1296 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-18 15:35:40 +00:00
ddba4bb04b
refactored new support for rewriting ASTs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1293 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-16 16:05:21 +00:00
0cc1e16847
* modified/added some classes in order to translate syntax trees in the Java2IRTranslator#translate() method.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1291 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-16 07:53:20 +00:00
f6edb9f1d3
misc. cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1280 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-15 14:01:32 +00:00
8bb4982f4e
add detail to diagnostic message
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1279 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-15 02:49:30 +00:00
604e1a742c
small cleanup patch (Java 5.0 iterator) from N. Kidd
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1266 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-07 14:16:22 +00:00
cb8692477b
support for cross-language call graphs
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1218 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-06-01 03:37:03 +00:00
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
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
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
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
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
49e8452ab0
feature 1717405: cleanup MemberReference.getDeclaringClass() API
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1111 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-05-14 17:31:16 +00:00
6743e8ace6
introduce some generics
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@996 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-24 14:11:00 +00:00
d35d43682c
adapt to type inference changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@986 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-19 13:49:02 +00:00
2768a33c39
refactor JavaSourceAnalysisEngine
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@983 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-18 15:51:14 +00:00
525b4394cc
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@975 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-17 17:33:35 +00:00
8acad2cdf6
reorganize eclipse dependencies
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@967 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-17 14:04:43 +00:00
c3c66d8e2b
just format
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@943 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-12 14:54:43 +00:00
bea163df41
use new boolean-typed constant values; handle uninitialized values for weird cases involving lexical scoping
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@921 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-04-04 13:03:33 +00:00
562f48a4ae
add context sensitive engine
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@909 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-29 21:09:41 +00:00
85151f7bb1
add context sensitive engine
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@908 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-29 18:27:42 +00:00
c73d24f5d6
change notion of position to whole method to include entire source range of body
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@900 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-27 19:58:13 +00:00
8ee55f98f1
minor cleanups
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@850 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 16:09:53 +00:00
66cd369ee7
Fix type inference for + operations that involve strings
...
skip synthetic code when trying to deal with enclosing types
fixes to invoke polyglot better so as to use its Unicode support
use constants directly when accessing fields said by polyglot to be constant
support static initializers
use exclusions file in the source analysis engine, if one is provided
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@840 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-03-12 02:06:00 +00:00
da7dea28cf
add exceptions from checkcast instructions
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@787 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-25 02:18:23 +00:00
30a7cc3fef
adapt to class hierarchy changes in CVS polyglot
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@781 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-21 13:03:54 +00:00
28b243929b
minor cleanups to squash Eclipse warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@762 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 22:41:44 +00:00
d93196166d
avoid some more polyglot assertion failures
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@760 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 17:22:20 +00:00
2af4e3b189
Made getTranslatorExtension() public so clients can see it and
...
get at the IdentityMapper.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@756 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:33:05 +00:00
275f9ab4c8
Collected various bits of code from PolyglotJava2CAstTranslator
...
that map Polyglot AST entities for types, methods, and fields
to the names of their WALA counterparts.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@755 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:31:46 +00:00
87d5abe577
Many changes to use the new PolyglotIdentityMapper to map
...
Polyglot AST entities for types, methods and fields to the
names of their WALA counterparts, in lieu of many redundant
bits of code strewn through this class.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@754 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:29:47 +00:00
9ab81816b6
Now maintains a PolyglotIdentityMapper to centralize the
...
mapping of Polyglot AST entities (types, fields, methods) to
their WALA counterparts.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@753 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:28:02 +00:00
7c8d738737
Added accessor method for the PolyglotIdentityMapper associated
...
with the translator.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@752 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:26:37 +00:00
678c795b80
Minor improvement to error message on unhandled node type.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@751 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:25:29 +00:00
d2b7dfd95d
createPass() now needs to pass a PolyglotIdentityMapper to
...
create a PolyglotJava2CAstTranslator. Accommodate promotion
of CAst from DOMO to WALA.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@750 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:24:50 +00:00
63064373c8
Changed range of fTypeMap to be IClass rather than JavaClass
...
(a) since that's all that was needed, and (b) so that derived
languages can store their IClass implementations there (e.g.
X10's X10AsyncObject).
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@749 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:23:13 +00:00
5679b67ed3
Abstracted predicate to determine whether a class has a
...
lexically enclosing scope into isPossiblyLexicalClass() so that, e.g., X10AsyncObject can
be marked as such.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@748 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 16:20:33 +00:00
8c0f9991eb
some minimal javadoc comments for new instruction classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@733 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-14 03:13:46 +00:00
06c5431ba0
fixes to handling of enclosing objects for inner classes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@703 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 18:19:13 +00:00
050388a5c1
squash remaining Eclipse warnings
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@698 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 15:33:10 +00:00
cb78e91b91
adapt to polyglot changes
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@693 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-09 00:26:52 +00:00
0cbace78e1
miscellaneous minor cleanups. eclipse build stuff. import statements.
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@678 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-08 19:07:47 +00:00
55e7a45e53
first cut at handling inner classes properly; moving around of code for analysis engines to make them provide a default way to build a call graph
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@657 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-07 18:51:19 +00:00
c4b9499bd2
Initial contribution of core script analysis code
...
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@618 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
2007-02-02 17:20:09 +00:00
dolby-oss
egeay
sjfink
yahave
rmfuhrer
tttate