• 홈
• Pchp
• CodeAnalysis
• FlowAnalysis
• AnalysisVisitor

C# 클래스 Pchp.CodeAnalysis.FlowAnalysis.AnalysisVisitor

파일 보기 프로젝트 열기: iolevel/peachpie

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.

메소드 상세