Commit Graph

9 Commits

Author SHA1 Message Date
Svetlana Isakova e15340bf3c use upper-case L in label name instead of lower-case 2012-12-18 16:00:27 +04:00
Svetlana Isakova 7a02cfcd25 order of declaration changed in tests 2012-05-28 12:09:45 +04:00
Svetlana Isakova edb529f68f added edge 'error' -> 'sink'
added 'getLocalDeclarations' method to pseudocode
2012-05-28 12:06:12 +04:00
Svetlana Isakova cc244fad94 KT-1191 Wrong detection of unused parameters
KT-1219 Incorrect 'unused value' error in closures
2012-02-24 12:09:02 +04:00
svtk 4bf3a61621 KT-575 Cannot ++ a class object member 2011-11-22 18:05:50 +04:00
svtk 2d6337fe93 KT-456 No check for obligatory return in getters 2011-11-09 12:22:08 +04:00
svtk 7d7d33b2ee KT-443 Write allowed to super.val 2011-11-07 19:49:32 +04:00
svtk 92a3fef06b Added 'sink' instruction to pseudocode 2011-11-03 18:29:34 +04:00
svtk eab7fdf4bc Added information about anonymous initializers to cfg & proper checks 2011-11-01 18:54:33 +04:00