Ben Liblit
5d5fa18b5f
Replace source directories rather than appending to them
...
I was confused about the differences among:
srcDir 'foo'
srcDirs ['foo']
srcDirs = ['foo']
As it turns out, the first two append to the set of source
directories, while the last replaces this set entirely. I generally
want replacement, since WALA's current directory layout never matches
Gradle's assumed defaults.
2018-04-18 11:29:25 -05:00
Ben Liblit
04d9397a1d
Tweak classpath for some Javadoc build tasks
...
This comes up when the Javadoc comments refer to classes in other
subprojects that the corresponding Java code did not actually depend
upon.
2018-04-18 11:29:25 -05:00
Ben Liblit
377d7586ef
Consistently use simple sorted order for dependencies
...
This isn't even sorting by library or subproject name. It's just a
dumb textual sort of the contents of each line.
2018-04-18 11:29:25 -05:00
Ben Liblit
530d74929f
Many improvements to Gradle build support, including within Eclipse
2018-04-18 11:29:24 -05:00
Sungho Lee
50d0f7ee71
Change build.gradle files for proper format and delete all tests
2018-04-18 11:29:24 -05:00
Sungho Lee
4a31927b00
Gradle build scripts
2018-04-18 11:29:24 -05:00
Ben Liblit
99c2493e37
Revert "Build WALA using Gradle instead of Maven" ( #298 )
2018-04-18 12:15:56 -04:00
Ben Liblit
6639d8b93a
Bump version to 1.5.0-SNAPSHOT before merging with WALA master
...
This gives the WALA maintainers the option of doing future 1.4.5+
releases from of a pre-Gradle branch if these merged Gradle changes
turn out to be more disruptive than expected.
2018-04-17 15:32:01 -05:00
Ben Liblit
62d7980ea3
Fix various warnings produced by "./gradlew javadoc"
...
Three stubborn warnings remain, but this is progress!
2018-04-17 15:02:35 -05:00
Ben Liblit
365d17bf32
Simplify how we refer to existing tasks
2018-04-17 15:02:35 -05:00
Ben Liblit
d14d40ee3f
Tweak output dirs to match what Buildship puts into ".classpath"
2018-04-17 15:02:35 -05:00
Ben Liblit
efd3a6ab18
Let Buildship create new settings files when importing
...
These settings files currently are generated with an initial timestamp
comment line, which is not something we'd want to track in version
control. Fortunately, the contents of these files are entirely
mundane, so there should be no problem with having Buildship generate
them anew each time a developer imports WALA into Eclipse as an
existing Gradle project.
2018-04-17 15:02:35 -05:00
Ben Liblit
da27efec97
Have Buildship add Eclipse plugin (PDE) nature to some subprojects
...
Specifically, we need this for subprojects that build included plugins
for any of the "*_feature" subprojects.
2018-04-17 15:02:35 -05:00
Ben Liblit
be11083cd8
Exclude Eclipse ".project" and ".classpath" from version control
...
Apparently Buildship generates these when one uses Import -> Existing
Gradle Project:
<https://discuss.gradle.org/t/buildship-eclipse-plug-in-multiproject-builds/24030/5 >.
We can use the Gradle "eclipse" plugin if customizations are
necessary, but my impression is that the intent is to treat ".project"
and ".classpath" as generated files, not sources to be tracked in
source control.
2018-04-17 15:02:35 -05:00
Ben Liblit
db348b4ddd
Clean up some simple syntactic redundancy in dependency declarations
2018-04-17 15:02:35 -05:00
Ben Liblit
651f40c170
Replace source directories rather than appending to them
...
I was confused about the differences among:
srcDir 'foo'
srcDirs ['foo']
srcDirs = ['foo']
As it turns out, the first two append to the set of source
directories, while the last replaces this set entirely. I generally
want replacement, since WALA's current directory layout never matches
Gradle's assumed defaults.
2018-04-17 15:02:35 -05:00
Ben Liblit
a81d583cbf
Tweak classpath for some Javadoc build tasks
...
This comes up when the Javadoc comments refer to classes in other
subprojects that the corresponding Java code did not actually depend
upon.
2018-04-17 15:02:35 -05:00
Ben Liblit
aae1c2230a
Consistently use simple sorted order for dependencies
...
This isn't even sorting by library or subproject name. It's just a
dumb textual sort of the contents of each line.
2018-04-17 15:02:35 -05:00
Ben Liblit
401fbaf89a
Many improvements to Gradle build support, including within Eclipse
2018-04-17 15:02:35 -05:00
Sungho Lee
6dceb3d8ef
Change build.gradle files for proper format and delete all tests
2018-04-17 15:00:03 -05:00
Sungho Lee
04923544f0
Gradle build scripts
2018-04-17 15:00:03 -05:00
Ben Liblit
4bb4a3104a
WALA uses Git, so CVS ignore patterns are moot
2018-04-14 19:08:14 -05:00
Ben Liblit
6546d5d6a4
Resolve the last two Eclipse warnings about using raw types
...
Fixes bug #244 .
2018-04-13 12:53:33 -05:00
Julian Dolby
436d3165f7
rename getNumberOfParameters to getNumberOfPositionalParameters since the Python front end now supports keyword parameters
...
support variable names in IR for synthetic summaries
2018-04-12 19:09:25 -04:00
Julian Dolby
41d254d547
more type parameters for analysis engine
2018-04-10 16:00:44 -04:00
Julian Dolby
6cb72ad2b8
fixes to make PropagationGraph and friends easier to use in dataflow problems
2018-03-02 15:29:42 -05:00
Julian Dolby
e1def2ffb5
more generalization for reuse
2018-02-17 22:08:09 +01:00
Julian Dolby
be6bb3dc9a
a little more work on summaries
2018-02-14 18:54:21 -05:00
Julian Dolby
6c1d0d9cb6
more work for reuse
...
make synthetic code better support non-Java languages
2018-02-14 09:00:07 -05:00
Ben Liblit
81a6e67b4b
Remove "@param" Javadoc tags for parameters that no longer exist
2018-02-10 18:08:15 -08:00
Julian Dolby
c8cdaf8616
further refactoring to enable more reuse
...
eliminate all non-jva 8 compilation
2018-02-05 15:18:37 -08:00
Julian Dolby
0f3b6f5d7e
disable debugging properly
2018-01-25 15:18:17 -05:00
Julian Dolby
cd944a8f12
refactoring of CAst front end machinery to allow more reuse
2018-01-25 14:42:27 -05:00
Ben Liblit
372f0bd5d8
Fix several broken cross-references in Javadoc comments
2018-01-17 10:35:49 -08:00
Manu Sridharan
76faa4df2d
Fix bug with method lookup ( #276 )
...
The previous lookup logic would erroneously look in superclasses for a constructor with parameters.
Bug reported on [the mailing list](https://groups.google.com/forum/#!msg/wala-sourceforge-net/6m_VmDF-lZ0/erZIYQ68BwAJ;context-place=topic/wala-sourceforge-net/TjRzdDyljjY )
2017-12-23 16:38:26 -08:00
Julian Dolby
a19507312a
Merge pull request #274 from ponder-lab/upstream_master2
...
Fix Atom.startsWith() failure case.
2017-12-20 22:45:18 +00:00
Ben Liblit
4cf2dac911
Fix missing "#" when using "@link" to refer to same-class member
2017-12-19 16:53:56 -06:00
Ben Liblit
0d6d9f2b2e
Remove useless "@return" tags with no descriptive text
2017-12-19 16:53:56 -06:00
Ben Liblit
85ca6424b1
"@link" does not allow generic type parameters in method signatures
2017-12-19 16:53:56 -06:00
Ben Liblit
c50dd6302f
"<\tt>" is not how you close an HTML "<tt>" tag
2017-12-19 16:53:56 -06:00
Ben Liblit
4ad5322ebf
Add missing right curly brace at end of "{@link ...}"
2017-12-19 16:53:55 -06:00
Ben Liblit
9072560a22
HTML lists must not have free-floating text between list items
2017-12-19 16:53:55 -06:00
Ben Liblit
a7f00ffce8
"@param" parameter name must match the name of some formal parameter
2017-12-19 16:53:55 -06:00
Ben Liblit
ba71f45119
"@throws" should be followed by class name and space, not comma
2017-12-19 16:53:55 -06:00
Ben Liblit
ca23fc5b91
"@brief" is not a valid Javadoc tag
2017-12-19 16:53:55 -06:00
Ben Liblit
d8b041469f
"@returns" is not a valid Javadoc tag, but "@return" is
2017-12-19 16:53:55 -06:00
Ben Liblit
ce403cef2b
"@throw" is not a valid Javadoc tag, but "@throws" is
2017-12-19 16:53:55 -06:00
Ben Liblit
fa62aa03e6
"<verbatim>" is not a valid HTML tag; perhaps "<pre>" was intended?
2017-12-19 16:53:55 -06:00
Ben Liblit
6beaac98bd
"<bf>" is not a valid HTML tag, but "<b>" is
2017-12-19 16:53:55 -06:00
Ben Liblit
f60c164ec1
Escape "<" and ">" in Javadoc when not used as HTML tag syntax
2017-12-19 16:53:52 -06:00