jrm ad3e32d935 Fix resource leak false positive with the resource wrapper java.io.DataInputStream ... Summary:public The code: DataInputStream in = new DataInputStream(new BufferedInputStream(new FileInputStream(file))); creates a resource with `FileInputStream()` and wraps it twice as a field of `BufferedInputStream` and then as a field of `DataInputStream`. Then calling: in.close(); needs to go down the wrappers hierachy: `DataInputStream.close()` -> `FilterInputStream.close()` which then calls `BufferedInputStream.close()` -> `FilterInputStream.close()` -> `FileInputStream.close()`. Going down the wrapper was not working before because `FilterInputStream.close()` was only going further when the type of field `in` was `FileInputStream` wheras it should also continue when the type of the field is any subtype of `FilterInputStream`, e.g. `DataInputStream` and `BufferedInputStream` like in the test example. This diff fixes this last aspect. Reviewed By: sblackshear Differential Revision: D3174822 fb-gh-sync-id: 3adbb7e fbshipit-source-id: 3adbb7e		9 years ago
..
c	Fixed problem with null pointer dereference in c library models.	9 years ago
cpp	Fix detection of gcc version in models	9 years ago
java	Fix resource leak false positive with the resource wrapper java.io.DataInputStream	9 years ago
objc	Additional modeling of NS collections	9 years ago
Makefile.in	do not use ocamlbuild -clean, do not print rm commands	9 years ago
build.pl	initial synchronization	10 years ago