• Home
• Pchp
• CodeAnalysis
• FlowAnalysis
• AnalysisVisitor

C# Class Pchp.CodeAnalysis.FlowAnalysis.AnalysisVisitor

显示文件 Open project: iolevel/peachpie

Private Properties

Property	Type	Description
AnalysisVisitor	Pchp.CodeAnalysis.Semantics.Graph
AssertState	void
TraverseToBlock	void
VisitCondition	void

Public Methods

Method	Description
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

Protected Methods

Method	Description
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.

Private Methods

Method	Description
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.

Method Details