Package org.sonar.python.semantic.v2.types

Class ProgramStateTypeInferenceVisitor

java.lang.Object

org.sonar.plugins.python.api.tree.BaseTreeVisitor

org.sonar.python.semantic.v2.types.TrivialTypePropagationVisitor

org.sonar.python.semantic.v2.types.ProgramStateTypeInferenceVisitor

All Implemented Interfaces:

TreeVisitor

public class ProgramStateTypeInferenceVisitor
extends TrivialTypePropagationVisitor

Used in FlowSensitiveTypeInference to update name types based on program state

Constructor Summary

Constructors

Constructor	Description
ProgramStateTypeInferenceVisitor(TypeInferenceProgramState state, TypeTable typeTable)

Method Summary

Modifier and Type	Method	Description
void	visitFunctionDef(FunctionDef pyFunctionDefTree)
void	visitName(Name name)
void	visitQualifiedExpression(QualifiedExpression qualifiedExpression)

Methods inherited from class org.sonar.python.semantic.v2.types.TrivialTypePropagationVisitor

visitBinaryExpression, visitUnaryExpression

Methods inherited from class org.sonar.plugins.python.api.tree.BaseTreeVisitor

scan, scan, visitAliasedName, visitAnnotatedAssignment, visitArgumentList, visitAsPattern, visitAssertStatement, visitAssignmentExpression, visitAssignmentStatement, visitAwaitExpression, visitBreakStatement, visitCallExpression, visitCapturePattern, visitCaseBlock, visitClassDef, visitClassPattern, visitCompoundAssignment, visitComprehensionFor, visitComprehensionIf, visitConditionalExpression, visitContinueStatement, visitDecorator, visitDelStatement, visitDictCompExpression, visitDictionaryLiteral, visitDottedName, visitDoubleStarPattern, visitEllipsis, visitElseClause, visitExceptClause, visitExecStatement, visitExpressionList, visitExpressionStatement, visitFileInput, visitFinallyClause, visitFormatSpecifier, visitFormattedExpression, visitForStatement, visitGlobalStatement, visitGroupPattern, visitGuard, visitIfStatement, visitImportFrom, visitImportName, visitKeyValuePair, visitKeyValuePattern, visitKeywordPattern, visitLambda, visitListLiteral, visitLiteralPattern, visitMappingPattern, visitMatchStatement, visitNone, visitNonlocalStatement, visitNumericLiteral, visitOrPattern, visitParameter, visitParameterList, visitParenthesizedExpression, visitPassStatement, visitPrintStatement, visitPyListOrSetCompExpression, visitRaiseStatement, visitRegularArgument, visitRepr, visitReturnStatement, visitSequencePattern, visitSetLiteral, visitSliceExpression, visitSliceItem, visitSliceList, visitStarPattern, visitStatementList, visitStringElement, visitStringLiteral, visitSubscriptionExpression, visitToken, visitTryStatement, visitTuple, visitTupleParameter, visitTypeAliasStatement, visitTypeAnnotation, visitTypeParam, visitTypeParams, visitUnpackingExpression, visitValuePattern, visitWhileStatement, visitWildcardPattern, visitWithItem, visitWithStatement, visitYieldExpression, visitYieldStatement

Methods inherited from class java.lang.Object

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

Constructor Details

ProgramStateTypeInferenceVisitor

public ProgramStateTypeInferenceVisitor(TypeInferenceProgramState state,
 TypeTable typeTable)

Method Details

visitName

public void visitName(Name name)

Specified by:

visitName in interface TreeVisitor

Overrides:

visitName in class BaseTreeVisitor

visitFunctionDef

public void visitFunctionDef(FunctionDef pyFunctionDefTree)

Specified by:

visitFunctionDef in interface TreeVisitor

Overrides:

visitFunctionDef in class BaseTreeVisitor

visitQualifiedExpression

public void visitQualifiedExpression(QualifiedExpression qualifiedExpression)

Specified by:

visitQualifiedExpression in interface TreeVisitor

Overrides:

visitQualifiedExpression in class BaseTreeVisitor