Реализация #3271: Диагностика двойных отрицаний #3308
Conversation
WalkthroughВнесены изменения в проект, касающиеся улучшения диагностики и обработки деревьев выражений в коде BSL. Добавлена диагностическая проверка для двойных отрицаний, включающая новый файл документации и соответствующие тесты. Переработаны классы для построения и посещения деревьев выражений, с добавлением новых методов и корректировками существующих. Changes
Assessment against linked issues
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media? TipsChatThere are 3 ways to chat with CodeRabbit:
Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments. CodeRabbit Commands (invoked as PR comments)
Additionally, you can add CodeRabbit Configration File (
|
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?s=60&v=4){kind=small}
There was a problem hiding this comment.
Actionable comments posted: 1
Outside diff range and nitpick comments (1)
src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java (1)
42-42: Комментарий к классуExpressionTreeBuildingVisitorдолжен быть переведен на английский язык, чтобы соответствовать общим стандартам документации проекта.
Review details
Configuration used: CodeRabbit UI
Review profile: CHILL
Files ignored due to path filters (2)
src/main/resources/com/github/_1c_syntax/bsl/languageserver/configuration/parameters-schema.jsonis excluded by!**/*.jsonsrc/main/resources/com/github/_1c_syntax/bsl/languageserver/configuration/schema.jsonis excluded by!**/*.json
Files selected for processing (17)
- docs/diagnostics/DoubleNegatives.md (1 hunks)
- docs/en/diagnostics/DoubleNegatives.md (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractExpressionTreeDiagnostic.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/IdenticalExpressionsDiagnostic.java (4 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BinaryOperationNode.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BslExpression.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BslOperationNode.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java (6 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeVisitor.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/TerminalSymbolNode.java (1 hunks)
- src/main/resources/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic_en.properties (1 hunks)
- src/main/resources/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic_ru.properties (1 hunks)
- src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnosticTest.java (1 hunks)
- src/test/java/com/github/_1c_syntax/bsl/languageserver/utils/ExpressionParseTreeRewriterTest.java (3 hunks)
- src/test/java/com/github/_1c_syntax/bsl/languageserver/utils/ExpressionTreeComparersTest.java (2 hunks)
- src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (1 hunks)
Files skipped from review due to trivial changes (5)
- docs/diagnostics/DoubleNegatives.md
- docs/en/diagnostics/DoubleNegatives.md
- src/main/resources/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic_en.properties
- src/main/resources/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic_ru.properties
- src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnosticTest.java
Additional comments not posted (27)
src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BslOperationNode.java (1)
39-39: Изменение конструктораBslOperationNodeсоответствует новой структуре суперкласса. Убедитесь, что все экземпляры этого класса и его подклассов корректно обновлены для передачи нового параметра.Verification successful
Изменение конструктора
BslOperationNodeбыло корректно применено в подклассахUnaryOperationNodeиBinaryOperationNode. Все вызовы конструктора используют новую сигнатуру.
UnaryOperationNode.java:super(ExpressionNodeType.UNARY_OP, operator, operationContext);BinaryOperationNode.java:super(ExpressionNodeType.BINARY_OP, operator, actualSourceCode);Scripts executed
The following scripts were executed for the analysis:
Script:
#!/bin/bash # Описание: Проверка использования конструктора `BslOperationNode` во всем проекте. # Тест: Поиск использования конструктора. Ожидаем: только вызовы с новой сигнатурой. rg --type java $'new BslOperationNode'Length of output: 39
Script:
#!/bin/bash # Описание: Проверка использования класса `BslOperationNode` во всем проекте. # Тест: Поиск использования класса. Ожидаем: найти все упоминания класса. rg --type java 'BslOperationNode'Length of output: 1107
Script:
#!/bin/bash # Описание: Проверка использования конструктора `BslOperationNode` в подклассах. # Тест: Поиск использования конструктора в подклассах. Ожидаем: найти вызовы конструктора с новой сигнатурой. rg --type java 'super(' src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BinaryOperationNode.java src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/UnaryOperationNode.javaLength of output: 289
Script:
#!/bin/bash # Описание: Проверка использования конструктора `BslOperationNode` в подклассах. # Тест: Поиск использования конструктора в подклассах. Ожидаем: найти вызовы конструктора с новой сигнатурой. rg --type java 'super\(' src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BinaryOperationNode.java src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/UnaryOperationNode.javaLength of output: 565
src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (1)
1-41: Тестовые случаи в файлеDoubleNegativesDiagnostic.bslкажутся всесторонними и предназначены для активации диагностики в различных условиях. Убедитесь, что они соответствуют предполагаемому поведению диагностики.src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BslExpression.java (1)
28-42: Добавление поляparentи аннотаций@Setterи@ToStringв классBslExpressionсоответствует улучшению структуры дерева выражений. Убедитесь, что изменения не влияют на другие части системы неожиданным образом.Verification successful
Использование поля
parentв классеBslExpressionв файлеDoubleNegativesDiagnostic.javaкорректно и соответствует его назначению. Изменения не вызывают побочных эффектов.
src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaScripts executed
The following scripts were executed for the analysis:
Script:
#!/bin/bash # Описание: Проверка влияния изменений в `BslExpression` на другие части системы. # Тест: Поиск использования поля `parent`. Ожидаем: корректное использование без побочных эффектов. rg --type java $'parent'Length of output: 20245
Script:
#!/bin/bash # Extract and review the relevant code snippets where `parent` is used in `DoubleNegativesDiagnostic.java`. # Search for the usage of `parent` in `DoubleNegativesDiagnostic.java`. rg --type java --context 5 'parent' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 1149
src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/TerminalSymbolNode.java (1)
33-33: Изменение конструктораTerminalSymbolNodeсоответствует новой структуре. Убедитесь, что все экземпляры этого класса корректно обновлены.Verification successful
Конструктор
TerminalSymbolNodeиспользуется с новой сигнатурой во всех найденных случаях.
src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/TerminalSymbolNode.java: три вызова конструктора с двумя параметрами.Scripts executed
The following scripts were executed for the analysis:
Script:
#!/bin/bash # Описание: Проверка использования конструктора `TerminalSymbolNode` во всем проекте. # Тест: Поиск использования конструктора. Ожидаем: только вызовы с новой сигнатурой. rg --type java $'new TerminalSymbolNode'Length of output: 565
src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/BinaryOperationNode.java (2)
29-29: Добавлены аннотации Lombok для автоматической генерации методов. Это улучшает читаемость и поддерживаемость кода.
33-34: Поляleftиrightтеперь объявлены какprivate final, что улучшает инкапсуляцию и обеспечивает неизменяемость, повышая надежность кода.src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeVisitor.java (5)
50-52: МетодvisitTopLevelExpressionкорректно делегирует вызов методуvisit, что является хорошей практикой проектирования.
54-57: МетодvisitAbstractCallкорректно реализует паттерн посетитель, обходя все аргументы вызова.
60-62: МетодvisitUnaryOperationправильно реализует паттерн посетитель для унарных операций.
64-67: МетодvisitBinaryOperationэффективно использует паттерн посетитель, обрабатывая обе стороны бинарной операции.
69-73: МетодvisitTernaryOperatorтщательно реализует паттерн посетитель, обходя все компоненты тернарной операции.src/test/java/com/github/_1c_syntax/bsl/languageserver/utils/ExpressionTreeComparersTest.java (1)
75-75: МетодgetExpressionTreeтеперь используетExpressionTreeBuildingVisitor, что соответствует общей стратегии рефакторинга и улучшает согласованность.src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractExpressionTreeDiagnostic.java (3)
46-54: МетодgetDiagnosticsэффективно инкапсулирует логику диагностики, устанавливая контекст документа, очищая предыдущие диагностики, строя дерево выражений и возвращая диагностики.
67-69: МетодonExpressionEnterпозволяет оптимизировать производительность, предоставляя раннее принятие решений о необходимости построения дерева выражений.
74-90: ПеречислениеExpressionVisitorDecisionчетко определяет решения, которые можно принимать при входе в выражение, управляя потоком управления в процессе диагностики.src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java (4)
36-43: Проверьте, что все теги диагностики соответствуют вашим требованиям. В частности,DiagnosticTag.BADPRACTICEможет быть не совсем точным для данной диагностики, если она нацелена на улучшение читаемости, а не на указание на плохие практики кодирования.
52-73: Логика в методеvisitBinaryOperationкажется корректной, но стоит убедиться, что все случаи двойного отрицания корректно обрабатываются. В частности, проверьте, что логика в строках 67-71 адекватно обрабатывает все возможные сценарии, связанные с бинарными операциями и литералами.
91-97: МетодisBooleanLiteralкорректно определяет, является ли узел булевым литералом. Однако, убедитесь, что контекстConstValueContextвсегда будет содержать только булевы литералы, и нет случаев, когда это предположение нарушается.
103-108: МетодaddDiagnosticиспользуетTrees.getTokens, который может быть неэффективен, если вызывается часто. Рассмотрите возможность кэширования результатов или оптимизации вызовов, чтобы уменьшить потенциальное влияние на производительность.
[PERFORMANCE]src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/IdenticalExpressionsDiagnostic.java (4)
37-37: Проверьте, что тип диагностики (DiagnosticType.ERROR) корректно отражает натуру проблем, которые выявляет данная диагностика. Если диагностика не связана с ошибками выполнения, возможно, стоит использовать другой тип, например,DiagnosticType.CODE_SMELL.
101-104: МетодonExpressionEnterиспользует кастомную логику для определения, следует ли пропускать обработку выражения. Убедитесь, что методsufficientSizeкорректно реализован и не приводит к пропуску важных выражений.
106-118: МетодvisitTopLevelExpressionиспользуетTransitiveOperationsIgnoringComparerдля сравнения операций. Убедитесь, что логика сравнения корректно обрабатывает все случаи и не приводит к ложным срабатываниям или пропускам.
120-135: В методеvisitBinaryOperationиспользуется фильтрация операций по типу. Убедитесь, что все исключаемые операции (DEREFERENCE,INDEX_ACCESS) действительно не должны обрабатываться в рамках данной диагностики.src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java (2)
65-69: МетодbuildExpressionTreeпредоставляет публичный статический интерфейс для построения деревьев выражений. Убедитесь, что этот метод используется во всех местах, где требуется построение деревьев выражений, чтобы избежать дублирования логики.
195-208: МетодprocessOperationиспользует приоритет операций для построения дерева. Убедитесь, что логика сравнения приоритетов корректна и не приводит к ошибкам в структуре дерева.src/test/java/com/github/_1c_syntax/bsl/languageserver/utils/ExpressionParseTreeRewriterTest.java (2)
149-162: ТестbooleanNotPriorityпроверяет приоритет оператораNOT. Убедитесь, что тест покрывает все возможные случаи использования этого оператора, включая вложенные и сложные выражения.
335-352: ТестnotOperatorPriorityпроверяет корректность приоритета оператораNOTв сложных выражениях. Убедитесь, что тест адекватно отражает все потенциальные случаи использования и не пропускает краевые случаи.
| @Override | ||
| protected ExpressionVisitorDecision onExpressionEnter(BSLParser.ExpressionContext ctx) { | ||
| return super.onExpressionEnter(ctx); | ||
| } |
There was a problem hiding this comment.
Метод onExpressionEnter переопределяется только для вызова родительской реализации. Если дополнительная логика обработки выражений не требуется, можно рассмотреть возможность удаления этого переопределения для упрощения кода.
There was a problem hiding this comment.
Actionable comments posted: 0
Review details
Configuration used: CodeRabbit UI
Review profile: CHILL
Files selected for processing (4)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractExpressionTreeDiagnostic.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/IdenticalExpressionsDiagnostic.java (5 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java (6 hunks)
Files skipped from review as they are similar to previous changes (4)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractExpressionTreeDiagnostic.java
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/IdenticalExpressionsDiagnostic.java
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java
|
/rebase |
There was a problem hiding this comment.
Actionable comments posted: 2
Review details
Configuration used: CodeRabbit UI
Review profile: CHILL
Files selected for processing (1)
- src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (1 hunks)
Additional comments not posted (6)
src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (6)
33-34: Отрицание с неравенством нелитералу.Строки 33 и 34 демонстрируют случаи с отрицанием и неравенством нелитералу, которые должны срабатывать. Это важные тесты для проверки способности диагностики распознавать менее очевидные случаи двойных отрицаний.
40-42: Прямое двойное отрицание.Строки 40-42 содержат примеры прямого двойного отрицания. Необходимо убедиться, что диагностика корректно идентифицирует и обрабатывает такие случаи, особенно в контексте сложных логических выражений.
23-25: Сложные условия с двойными отрицаниями.Строки 23-25 содержат сложные условные выражения с использованием двойных отрицаний. Эти случаи особенно важны для проверки, так как они влияют на точность и эффективность диагностики. Убедитесь, что диагностика адекватно обрабатывает такие случаи.
8-18: Различные случаи использования двойных отрицаний.Примеры от 8 по 18 строки демонстрируют различные сценарии использования двойных отрицаний. Важно убедиться, что диагностика корректно срабатывает в каждом случае. Особое внимание следует уделить строкам, где указано "не срабатывает", чтобы подтвердить, что это ожидаемое поведение.
Verification successful
Подтвердите корректность работы диагностики для двойных отрицаний
Имплементация класса
DoubleNegativesDiagnosticпоказывает, что диагностика срабатывает для случаев, когда оператором являетсяNOT_EQUALили один из операндов является булевым литералом. Код также проверяет наличие родительского узла с оператором отрицания. Это подтверждает, что диагностика должна корректно срабатывать для указанных случаев.
- Файл:
src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java- Методы:
visitBinaryOperation,visitUnaryOperation,isBooleanLiteral,isNegationOperator,addDiagnosticScripts executed
The following scripts were executed for the analysis:
Script:
#!/bin/bash # Description: Verify that diagnostic triggers correctly for the lines where it is supposed to trigger and does not trigger where indicated. # Test: Manually review the output of the diagnostic for each case. rg --type bsl $'DoubleNegativesDiagnostic'Length of output: 69
Script:
#!/bin/bash # Locate files in the diagnostics directory to identify the correct file type or extension. fd . src/test/resources/diagnosticsLength of output: 13095
Script:
#!/bin/bash # Search for the DoubleNegativesDiagnostic within .bsl files. rg 'DoubleNegativesDiagnostic' --glob '*.bsl'Length of output: 45
Script:
#!/bin/bash # Search for the implementation of the DoubleNegativesDiagnostic function in the codebase. ast-grep --lang bsl --pattern 'function DoubleNegativesDiagnostic($$) { $$ }'Length of output: 186
Script:
#!/bin/bash # Search for the implementation of the DoubleNegativesDiagnostic function in .bsl files. rg 'function DoubleNegativesDiagnostic' --glob '*.bsl'Length of output: 56
Script:
#!/bin/bash # Search for any references to DoubleNegativesDiagnostic in the codebase. rg 'DoubleNegativesDiagnostic'Length of output: 692
Script:
#!/bin/bash # Extract the implementation of DoubleNegativesDiagnostic from the identified file. sed -n '/public class DoubleNegativesDiagnostic extends AbstractExpressionTreeDiagnostic/,/}/p' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 515
Script:
#!/bin/bash # Extract the complete implementation of DoubleNegativesDiagnostic from the identified file. sed -n '/public class DoubleNegativesDiagnostic extends AbstractExpressionTreeDiagnostic/,/^}/p' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 2631
44-45: Проверка записи без использования двойных отрицаний.Строки 44 и 45 кажутся не связанными с темой двойных отрицаний, но важно проверить, не влияют ли изменения диагностики на другие части кода, особенно при работе с объектами и методами.
Verification successful
Изменения диагностики не влияют на обработку объектов и вызовы методов.
Методы
visitBinaryOperationиvisitUnaryOperationв классеDoubleNegativesDiagnosticкасаются только логики диагностики двойных отрицаний и не вмешиваются в обработку объектов или вызовы методов в других частях кода.
src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaScripts executed
The following scripts were executed for the analysis:
Script:
#!/bin/bash # Description: Verify that the changes in diagnostic do not affect unrelated parts of the code, particularly object handling and method calls. # Test: Review the behavior of these lines after diagnostic changes. rg --type bsl $'DoubleNegativesDiagnostic'Length of output: 69
Script:
#!/bin/bash # Description: Verify that the changes in diagnostic do not affect unrelated parts of the code, particularly object handling and method calls. # Test: Review the behavior of these lines after diagnostic changes. rg 'DoubleNegativesDiagnostic'Length of output: 692
Script:
#!/bin/bash # Description: Retrieve the implementation of DoubleNegativesDiagnostic. ast-grep --lang java --pattern $'class DoubleNegativesDiagnostic extends $_ { $$$ }' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 185
Script:
#!/bin/bash # Description: Retrieve the implementation of DoubleNegativesDiagnostic. rg 'class DoubleNegativesDiagnostic' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 218
Script:
#!/bin/bash # Description: Retrieve the full implementation of DoubleNegativesDiagnostic. rg -A 50 'public class DoubleNegativesDiagnostic extends AbstractExpressionTreeDiagnostic' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 1818
27-29: Популярные кодовые конструкции с отрицаниями.В строках 27-29 используется популярная конструкция с отрицанием, которая, как указано, не должна срабатывать. Это важно для предотвращения ложных срабатываний на широко используемые и принятые практики.
Verification successful
Подтверждено: Диагностика
DoubleNegativesDiagnosticдействительно не срабатывает на популярные конструкции кода, как указано в комментарии. Тестовые примеры в файлеDoubleNegativesDiagnostic.bslохватывают различные случаи использования отрицаний, включая те, которые не должны срабатывать.
src/test/resources/diagnostics/DoubleNegativesDiagnostic.bslScripts executed
The following scripts were executed for the analysis:
Script:
#!/bin/bash # Description: Verify that the diagnostic does not trigger on popular code constructs as intended. # Test: Check for false positives in commonly used constructs. rg --type bsl $'DoubleNegativesDiagnostic'Length of output: 69
Script:
#!/bin/bash # Locate all files and search for the DoubleNegativesDiagnostic pattern fd -e bsl | xargs rg 'DoubleNegativesDiagnostic'Length of output: 48
Script:
#!/bin/bash # Search for the term DoubleNegativesDiagnostic in all files to locate its definition or usage. rg 'DoubleNegativesDiagnostic'Length of output: 692
Script:
#!/bin/bash # Extract the implementation of DoubleNegativesDiagnostic from the source file. ast-grep --lang java --pattern $'class DoubleNegativesDiagnostic extends AbstractExpressionTreeDiagnostic { $$$ }' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.javaLength of output: 215
Script:
#!/bin/bash # Search for the implementation of DoubleNegativesDiagnostic in the source file. rg 'class DoubleNegativesDiagnostic' src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java -A 50Length of output: 1770
Script:
#!/bin/bash # Search for test cases in DoubleNegativesDiagnosticTest. rg 'DoubleNegativesDiagnostic' src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnosticTest.java -A 50Length of output: 872
Script:
#!/bin/bash # Search for test resources related to DoubleNegativesDiagnostic in the src/test/resources directory. fd -e bsl --search-path src/test/resourcesLength of output: 19029
Script:
#!/bin/bash # View the contents of DoubleNegativesDiagnostic.bsl. cat src/test/resources/diagnostics/DoubleNegativesDiagnostic.bslLength of output: 1568
There was a problem hiding this comment.
Actionable comments posted: 0
Review details
Configuration used: CodeRabbit UI
Review profile: CHILL
Files selected for processing (5)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractExpressionTreeDiagnostic.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java (1 hunks)
- src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java (7 hunks)
- src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnosticTest.java (1 hunks)
- src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (1 hunks)
Additional context used
Learnings (3)
src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (2)
Learnt from: nixel2007 PR: 1c-syntax/bsl-language-server#3308 File: src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl:20-21 Timestamp: 2024-07-04T19:35:26.747Z Learning: The file `DoubleNegativesDiagnostic.bsl` is a test resource intended to demonstrate the functionality of the DoubleNegatives diagnostic.Learnt from: nixel2007 PR: 1c-syntax/bsl-language-server#3308 File: src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl:2-4 Timestamp: 2024-07-04T19:35:42.937Z Learning: Test resources in the repository may contain code that intentionally triggers diagnostics to demonstrate their functionality.src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnosticTest.java (2)
Learnt from: nixel2007 PR: 1c-syntax/bsl-language-server#3308 File: src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl:2-4 Timestamp: 2024-07-04T19:35:42.937Z Learning: Test resources in the repository may contain code that intentionally triggers diagnostics to demonstrate their functionality.Learnt from: nixel2007 PR: 1c-syntax/bsl-language-server#3308 File: src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl:20-21 Timestamp: 2024-07-04T19:35:26.747Z Learning: The file `DoubleNegativesDiagnostic.bsl` is a test resource intended to demonstrate the functionality of the DoubleNegatives diagnostic.src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java (2)
Learnt from: nixel2007 PR: 1c-syntax/bsl-language-server#3308 File: src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl:20-21 Timestamp: 2024-07-04T19:35:26.747Z Learning: The file `DoubleNegativesDiagnostic.bsl` is a test resource intended to demonstrate the functionality of the DoubleNegatives diagnostic.Learnt from: nixel2007 PR: 1c-syntax/bsl-language-server#3308 File: src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl:2-4 Timestamp: 2024-07-04T19:35:42.937Z Learning: Test resources in the repository may contain code that intentionally triggers diagnostics to demonstrate their functionality.
Additional comments not posted (19)
src/test/resources/diagnostics/DoubleNegativesDiagnostic.bsl (2)
2-4: Ресурс для тестов: Условие с двойным отрицанием.Этот код предназначен для проверки диагностики двойных отрицаний.
16-17: Ресурс для тестов: Условие в цикле с двойным отрицанием.Этот код предназначен для проверки диагностики двойных отрицаний.
src/test/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnosticTest.java (2)
31-34: Класс тестирования DoubleNegativesDiagnostic.Класс правильно наследует
AbstractDiagnosticTestи инициализирует тесты дляDoubleNegativesDiagnostic.
36-56: Метод тестирования диагностики.Метод тестирует диагностику на различных сценариях двойных отрицаний и проверяет ожидаемые результаты.
src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/DoubleNegativesDiagnostic.java (5)
1-43: Класс DoubleNegativesDiagnostic.Класс правильно наследует
AbstractExpressionTreeDiagnosticи определяет метаданные диагностики.
46-66: Метод visitBinaryOperation.Метод корректно обрабатывает бинарные операции и проверяет наличие двойных отрицаний.
68-81: Метод visitUnaryOperation.Метод корректно обрабатывает унарные операции и проверяет наличие двойных отрицаний.
83-86: Метод isNegationOperator.Метод правильно определяет, является ли родительский узел оператором отрицания.
88-114: Методы addDiagnostic.Методы корректно добавляют диагностику для бинарных и унарных операций.
src/main/java/com/github/_1c_syntax/bsl/languageserver/diagnostics/AbstractExpressionTreeDiagnostic.java (5)
1-43: Класс AbstractExpressionTreeDiagnostic.Класс предоставляет основные методы и функциональность для диагностики на основе деревьев выражений.
47-56: Метод getDiagnostics.Метод корректно инициализирует контекст документа и строит дерево выражений.
58-71: Метод onExpressionEnter.Метод предоставляет стратегию для входа в выражение и определения необходимости построения дерева выражений.
73-92: Перечисление ExpressionVisitorDecision.Перечисление определяет возможные действия при входе в выражение.
94-121: Класс ExpressionTreeBuilder.Класс корректно строит дерево выражений и вызывает методы для обработки верхнеуровневых выражений.
src/main/java/com/github/_1c_syntax/bsl/languageserver/utils/expressiontree/ExpressionTreeBuildingVisitor.java (5)
65-69: Хорошо!Метод
buildExpressionTreeправильно реализует фабричный метод для создания и инициации построения дерева выражений.
195-195: Хорошо!Метод
visitOperationкорректно обрабатывает операции, обеспечивая правильный приоритет операторов.
202-209: Хорошо!Метод
hasHigherPriorityOperatorsInFlyкорректно сравнивает приоритет текущего оператора с операторами в стеке.
380-380: Хорошо!Метод
makeSubexpressionкорректно делегирует построение подвыражения методуbuildExpressionTree.
405-414: Хорошо!Метод
buildOperationкорректно обрабатывает построение операций и устанавливает родительские узлы.
|
| if (node.getOperator() == BslOperator.NOT && | ||
| node.getParent() != null && | ||
| node.getParent().getNodeType() == ExpressionNodeType.UNARY_OP) { |
There was a problem hiding this comment.
&& стоит слева поставить при переносе
|
Спасибо! |
Описание
Связанные задачи
Closes #3271
#3271
Чеклист
Общие
gradlew precommit)Для диагностик
Дополнительно