formal proof that findClass recursion finishes (IDEADEV-38426)
commit35d7946e244d14d9c0ec9e01a44cca7c8bd84944
authorPeter Gromov <peter@jetbrains.com>
Thu, 16 Jul 2009 15:26:17 +0000 (16 19:26 +0400)
committerPeter Gromov <peter@jetbrains.com>
Thu, 16 Jul 2009 15:26:17 +0000 (16 19:26 +0400)
tree5146dd47f01e91fcdde791772d0815b365985507
parent3e4faf5f6a45ca1ff5d6c972b06d25e53dcd2918
formal proof that findClass recursion finishes (IDEADEV-38426)
source/com/intellij/psi/impl/JavaPsiFacadeImpl.java