[Fb-contrib-commit] SF.net SVN: fb-contrib:[1371] trunk/fb-contrib/htdocs/index.html

[<dbr...@us...>]

Revision: 1371
          http://fb-contrib.svn.sourceforge.net/fb-contrib/?rev=1371&view=rev
Author:   dbrosius
Date:     2009-10-15 03:36:23 +0000 (Thu, 15 Oct 2009)

Log Message:
-----------
new detector CVAA - by Bhaskar Maddala

Modified Paths:
--------------
    trunk/fb-contrib/htdocs/index.html

Modified: trunk/fb-contrib/htdocs/index.html
===================================================================
--- trunk/fb-contrib/htdocs/index.html	2009-10-15 03:34:37 UTC (rev 1370)
+++ trunk/fb-contrib/htdocs/index.html	2009-10-15 03:36:23 UTC (rev 1371)
@@ -69,6 +69,9 @@
 				symmetry. If a equals b, then b equals a. While it is usually wrong to allow
 				equals to compare different types, at the very least you should make sure that
 				each class knows about each other and is able to compare themselves with each other.</li>
+				<li><b>[CVAA] ContraVariant Array Assignment</b><br/>
+				Looks for contravariant array assignments. Since arrays are mutable data structures, their use 
+				must be restricted to covariant or invariant usage.</li>
 			</ul>
 		</div>
 		<hr/>


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.