• Главная
• Pchp
• CodeAnalysis
• FlowAnalysis
• AnalysisVisitor

C# Класс Pchp.CodeAnalysis.FlowAnalysis.AnalysisVisitor

Показать файл Открыть проект

Private Properties

Свойство	Тип	Описание
AnalysisVisitor	Pchp.CodeAnalysis.Semantics.Graph
AssertState	void
TraverseToBlock	void
VisitCondition	void

Открытые методы

Метод	Описание
VisitBinaryExpression ( BoundBinaryEx x ) : void
VisitCFG ( ControlFlowGraph x ) : void
VisitCFGBlock ( BoundBlock x ) : void
VisitCFGCaseBlock ( CaseBlock x ) : void
VisitCFGCatchBlock ( CatchBlock x ) : void
VisitCFGConditionalEdge ( ConditionalEdge x ) : void
VisitCFGExitBlock ( ExitBlock x ) : void
VisitCFGForeachEnumereeEdge ( ForeachEnumereeEdge x ) : void
VisitCFGForeachMoveNextEdge ( ForeachMoveNextEdge x ) : void
VisitCFGSimpleEdge ( SimpleEdge x ) : void
VisitCFGSwitchEdge ( SwitchEdge x ) : void
VisitCFGTryCatchEdge ( TryCatchEdge x ) : void
VisitInstanceOf ( BoundInstanceOfEx x ) : void
VisitUnaryExpression ( BoundUnaryEx x ) : void

Защищенные методы

Метод	Описание
HandleTraversableUse ( BoundExpression varuse ) : TypeRefMask	Handles use of variable as foreach iterator value.
SetVar ( string name, TypeRefMask typemask ) : TypeRefMask	Sets type of local variable in current state.
Visit ( BoundBinaryEx x, ConditionBranch branch ) : void
Visit ( BoundInstanceOfEx x, ConditionBranch branch ) : void
Visit ( BoundUnaryEx x, ConditionBranch branch ) : void
VisitCFGBlockInit ( BoundBlock x ) : void	Called to initialize VisitCFGBlock call. Sets _state to known initial block state.

Приватные методы

Метод	Описание
AnalysisVisitor ( Worklist worklist ) : Pchp.CodeAnalysis.Semantics.Graph	Creates an instance of AnalysisVisitor that can analyse a block.
AssertState ( ) : void	Debug assert the state is initialized therefore we are in the middle on a block analysis.
TraverseToBlock ( FlowState state, BoundBlock target ) : void	Helper method that merges state with the target block and determines whether to continue by visiting the target block. Only for traversing into blocks within the same routine (same type context).
VisitCondition ( BoundExpression condition, ConditionBranch branch ) : void	Visits condition used to branch execution to true or false branch. Because of minimal evaluation there is different FlowState for true and false branches, AND and OR operators have to take this into account. Also some other constructs may have side-effect for known branch, eg. ($x instanceof X) implies ($x is X) in True branch.

Описание методов