В статье рассматривается подход, обеспечивающий произво- дительность и модульность вывода контрактов для библиотек Java. Методы библиотеки независимо друг от друга индексиру- ются в один проход. В построенных индексах в компактной фор- ме содержатся уравнения, необходимые для вывода контрактов. При выводе контрактов для набора зависимых библиотек, по ин- дексам строится и решается система уравнений. Построение и решение системы не требовательно к ресурсам, на порядок быст- рее, чем индексация библиотек, и не является узким местом.
−24
