Class RegionVariableSymbolComputer

java.lang.Object

org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<ParseTree>

com.github._1c_syntax.bsl.parser.BSLParserBaseVisitor<ParseTree>

com.github._1c_syntax.bsl.languageserver.context.computer.VariableSymbolComputer

com.github._1c_syntax.bsl.languageserver.context.computer.RegionVariableSymbolComputer

All Implemented Interfaces:

Computer<List<VariableSymbol>>, BSLParserVisitor<ParseTree>, ParseTreeVisitor<ParseTree>

public final class RegionVariableSymbolComputer
extends VariableSymbolComputer

Вычислитель символов переменных и регионов за один обход AST.

И сбор переменных (VariableSymbolComputer), и сбор регионов обходили всё дерево вглубь (методы — вместе с телами), и при перестроении дерева символов на каждый keystroke это были два отдельных полных обхода 48k-строчного модуля (по профилю набора текста на больших модулях обход визиторами — заметная доля стоимости перестроения). Наборы перекрытых узлов у них не пересекаются (директивы #Область/#КонецОбласти против объявлений переменных/параметров/lvalue/ циклов), поэтому сбор регионов добавляется поверх обхода переменных, и два полных обхода схлопываются в один.

VariableSymbolComputer остаётся самостоятельным (используется отдельно), а этот класс лишь расширяет его сбором регионов в том же visitFile. В этом же обходе отслеживаются ветки препроцессора у объявлений методов. Их условия сохраняются в символьном дереве без ссылок на AST и остаются доступны диагностике и выводу типов после выгрузки текста документа.

Constructor Summary

Constructors

Constructor	Description
RegionVariableSymbolComputer(DocumentContext documentContext, ModuleSymbol module, List<? extends MethodSymbol> methods, SelfMemberClassifier selfMemberClassifier)

Method Summary

Modifier and Type	Method	Description
List<VariableSymbol>	compute()	Выполнить вычисление данных.
Map<Range, Set<ExecutionContext>>	getMethodConditions()	Получить снимок условий объявлений, собранных во время compute().
List<RegionSymbol>	getRegions()	Собранные за тот же обход регионы.
ParseTree	visitPreprocessor(BSLParser.PreprocessorContext ctx)
ParseTree	visitRegionEnd(BSLParser.RegionEndContext ctx)
ParseTree	visitRegionStart(BSLParser.RegionStartContext ctx)
ParseTree	visitSubName(BSLParser.SubNameContext ctx)

Methods inherited from class VariableSymbolComputer

getLoopVariables, visitForEachStatement, visitForStatement, visitLValue, visitModuleVarDeclaration, visitParam, visitSub, visitSubVarDeclaration

Methods inherited from class BSLParserBaseVisitor

visitAcceptor, visitAccessCall, visitAccessIndex, visitAccessProperty, visitAddHandlerStatement, visitAnnotation, visitAnnotationName, visitAnnotationParam, visitAnnotationParamName, visitAnnotationParams, visitAnnotationParamValue, visitAssignment, visitBoolOperation, visitBreakStatement, visitCallParam, visitCallParamList, visitCallStatement, visitCodeBlock, visitCompareOperation, visitCompilerDirective, visitCompilerDirectiveSymbol, visitComplexIdentifier, visitCompoundStatement, visitConstValue, visitContinueStatement, visitDefaultValue, visitDoCall, visitElseBranch, visitElsifBranch, visitEvent, visitExceptCodeBlock, visitExecuteStatement, visitExpression, visitFile, visitFileCodeBlock, visitFileCodeBlockBeforeSub, visitFuncDeclaration, visitFunction, visitGlobalMethodCall, visitGotoStatement, visitHandler, visitIfBranch, visitIfStatement, visitIncompleteAccess, visitLabel, visitLabelName, visitMember, visitMethodCall, visitMethodName, visitModifier, visitModuleAnnotations, visitModuleVar, visitModuleVars, visitModuleVarsList, visitMultilineString, visitNewExpression, visitNumeric, visitOperation, visitParamList, visitPreproc_boolOperation, visitPreproc_else, visitPreproc_elsif, visitPreproc_endif, visitPreproc_expression, visitPreproc_if, visitPreproc_logicalExpression, visitPreproc_logicalOperand, visitPreproc_native, visitPreproc_stack, visitPreproc_symbol, visitPreproc_unknownSymbol, visitProcDeclaration, visitProcedure, visitRaiseStatement, visitRegionName, visitRemoveHandlerStatement, visitReturnStatement, visitShebang, visitStatement, visitString, visitSubCodeBlock, visitSubs, visitSubVar, visitSubVars, visitSubVarsList, visitTernaryOperator, visitTryCodeBlock, visitTryStatement, visitTypeName, visitUnaryModifier, visitUse, visitUsedLib, visitVar_name, visitWaitExpression, visitWaitStatement, visitWhileStatement

Methods inherited from class AbstractParseTreeVisitor

aggregateResult, defaultResult, shouldVisitNextChild, visit, visitChildren, visitErrorNode, visitTerminal

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface ParseTreeVisitor

visit, visitChildren, visitErrorNode, visitTerminal

Constructor Details

RegionVariableSymbolComputer

public RegionVariableSymbolComputer(DocumentContext documentContext,
 ModuleSymbol module,
 List<? extends MethodSymbol> methods,
 SelfMemberClassifier selfMemberClassifier)

Method Details

compute

public List<VariableSymbol> compute()

Description copied from interface: Computer

Выполнить вычисление данных.

Specified by:

compute in interface Computer<List<VariableSymbol>>

Overrides:

compute in class VariableSymbolComputer

Returns:

Вычисленные данные

getRegions

public List<RegionSymbol> getRegions()

Собранные за тот же обход регионы. Вызывать после compute().

Returns:

список символов регионов модуля.

getMethodConditions

public Map<Range, Set<ExecutionContext>> getMethodConditions()

Получить снимок условий объявлений, собранных во время compute().

Ключ — диапазон имени метода. Безусловные объявления не включаются в карту; пустое множество обозначает недостижимую ветку, null — неизвестное условие. Снимок сохраняется в символьном дереве и не удерживает AST. Вызывать после завершения обхода; ключи-диапазоны изменять нельзя.

Returns:

неизменяемая карта с неизменяемыми множествами либо значениями null.

visitPreprocessor

public ParseTree visitPreprocessor(BSLParser.PreprocessorContext ctx)

Specified by:

visitPreprocessor in interface BSLParserVisitor<ParseTree>

Overrides:

visitPreprocessor in class BSLParserBaseVisitor<ParseTree>

visitSubName

public ParseTree visitSubName(BSLParser.SubNameContext ctx)

Specified by:

visitSubName in interface BSLParserVisitor<ParseTree>

Overrides:

visitSubName in class BSLParserBaseVisitor<ParseTree>

visitRegionStart

public ParseTree visitRegionStart(BSLParser.RegionStartContext ctx)

Specified by:

visitRegionStart in interface BSLParserVisitor<ParseTree>

Overrides:

visitRegionStart in class BSLParserBaseVisitor<ParseTree>

visitRegionEnd

public ParseTree visitRegionEnd(BSLParser.RegionEndContext ctx)

Specified by:

visitRegionEnd in interface BSLParserVisitor<ParseTree>

Overrides:

visitRegionEnd in class BSLParserBaseVisitor<ParseTree>