7 Commits

Include renames

Author	SHA1	Message	Date
anna	b4f660521a	infer nullity: skip () and type casts correctly (IDEA-64419)	2011-01-20 18:51:34 +01:00
anna	1c515125bb	infer nullity: check for switch conditions (IDEA-61451)	2010-12-13 20:57:59 +03:00
anna	c191be3cc3	nullity: skip assert statements for local vars - should be possible to detect from usages; use in prams nullification (IDEA-60705)	2010-11-11 14:17:58 +03:00
anna	76c393a145	nullity: check if possible to detect NotNull return value from conditional checks (IDEA-60693)	2010-11-11 14:17:57 +03:00
anna	26738d0e50	nullity: foreach params processing (IDEA-59825)	2010-10-22 21:52:24 +04:00
anna	f71ed79b46	check ref in foreach iterated value (IDEA-59874)	2010-10-22 11:21:42 +04:00
anna	0f1d1622f7	nullity: initial tests	2010-09-06 12:07:26 +04:00