Аннотация
Долгое время функциональное программирование на Java было невозможно. Однако в 8 версии Java языке появились лямбда-выражения. Благодаря поддержке стандартных библиотечных классов (Stream, Optional и т.д.) на Java стало возможно описывать преобразования над данными в функциональном стиле.
Java - достаточно старый язык, на нем написано большое количество императивного кода. Для того, чтобы воспользоваться преимуществами нового подхода, требуется выполнить нетривиальный рефакторинг, что в случае осуществления человеком может быть весьма утомительным, легко совершить ошибку.
К счастью, для достаточно большого количества ситуаций данный рефакторинг можно безопасно осуществить автоматически.
На основе IntelliJ Idea был разработан программный инструмент, который позволяет обнаружить места, где возможно автоматическое преобразование императивного кода в эквивалентный с использованием Stream API, а также автоматическое исправление, которое позволяет произвести замену. Рефакторинг пользуется средствами IntelliJ Idea для анализа Java
кода, а также интегрируется в саму IDE.
Одним из основных критериев корректности работы алгоритма является безопасность данного преобразования. Пользователь не может доверять инструменту, если преобразование может изменять семантику кода.
В данной статье рассматриваются различные ограничения, которые накладываются на шаблоны кода, для того, чтобы преобразование без искажения семантики было возможно. Данный рефакторинг был протестирован на различных библиотеках, для проверки сохранения семантики, путем проверки результатов тестирования до и после применения рефакторинга.
В данной статье не будет обсуждаться влияние использования Stream API на
производительность приложения
Java - достаточно старый язык, на нем написано большое количество императивного кода. Для того, чтобы воспользоваться преимуществами нового подхода, требуется выполнить нетривиальный рефакторинг, что в случае осуществления человеком может быть весьма утомительным, легко совершить ошибку.
К счастью, для достаточно большого количества ситуаций данный рефакторинг можно безопасно осуществить автоматически.
На основе IntelliJ Idea был разработан программный инструмент, который позволяет обнаружить места, где возможно автоматическое преобразование императивного кода в эквивалентный с использованием Stream API, а также автоматическое исправление, которое позволяет произвести замену. Рефакторинг пользуется средствами IntelliJ Idea для анализа Java
кода, а также интегрируется в саму IDE.
Одним из основных критериев корректности работы алгоритма является безопасность данного преобразования. Пользователь не может доверять инструменту, если преобразование может изменять семантику кода.
В данной статье рассматриваются различные ограничения, которые накладываются на шаблоны кода, для того, чтобы преобразование без искажения семантики было возможно. Данный рефакторинг был протестирован на различных библиотеках, для проверки сохранения семантики, путем проверки результатов тестирования до и после применения рефакторинга.
В данной статье не будет обсуждаться влияние использования Stream API на
производительность приложения
Язык оригинала | русский |
---|---|
Страницы (с-по) | 49-60 |
Число страниц | 12 |
Журнал | Вестник Новосибирского государственного университета. Серия: Информационные технологии |
Том | 17 |
Номер выпуска | 2 |
DOI | |
Состояние | Опубликовано - 2019 |