• Home
• Pchp
• CodeAnalysis
• FlowAnalysis
• ExpressionAnalysis

C# Class Pchp.CodeAnalysis.FlowAnalysis.ExpressionAnalysis

ファイルを表示 Open project: iolevel/peachpie

Public Methods

Method	Description
ExpressionAnalysis ( Worklist worklist, ISemanticModel model ) : Devsense.PHP.Syntax
VisitArgument ( BoundArgument x ) : void
VisitArray ( BoundArrayEx x ) : void
VisitArrayItem ( BoundArrayItemEx x ) : void
VisitAssign ( BoundAssignEx x ) : void
VisitCompoundAssign ( BoundCompoundAssignEx x ) : void
VisitConcat ( BoundConcatEx x ) : void
VisitConditional ( BoundConditionalEx x ) : void
VisitEcho ( BoundEcho x ) : void
VisitExit ( BoundExitEx x ) : void
VisitExpressionStatement ( BoundExpressionStatement x ) : void
VisitFieldRef ( BoundFieldRef x ) : void
VisitGlobalConstUse ( BoundGlobalConst x ) : void
VisitGlobalFunctionCall ( BoundGlobalFunctionCall x ) : void
VisitGlobalStatement ( BoundGlobalVariableStatement x ) : void
VisitIncDec ( BoundIncDecEx x ) : void
VisitInclude ( BoundIncludeEx x ) : void
VisitInstanceFunctionCall ( BoundInstanceFunctionCall x ) : void
VisitIsEmpty ( BoundIsEmptyEx x ) : void
VisitIsSet ( BoundIsSetEx x ) : void
VisitList ( BoundListEx x ) : void
VisitLiteral ( BoundLiteral x ) : void
VisitNew ( BoundNewEx x ) : void
VisitPseudoConstUse ( BoundPseudoConst x ) : void
VisitReturn ( BoundReturnStatement x ) : void
VisitStaticFunctionCall ( BoundStaticFunctionCall x ) : void
VisitStaticStatement ( BoundStaticVariableStatement x ) : void
VisitThrow ( BoundThrowStatement x ) : void
VisitTypeRef ( BoundTypeRef tref ) : void
VisitUnset ( BoundUnset x ) : void
VisitVariableRef ( BoundVariableRef x ) : void

Protected Methods

Method	Description
Visit ( BoundBinaryEx x, ConditionBranch branch ) : void
Visit ( BoundInstanceOfEx x, ConditionBranch branch ) : void
Visit ( BoundUnaryEx x, ConditionBranch branch ) : void
VisitRoutineCall ( BoundRoutineCall x ) : void

Private Methods

Method	Description
AsVariableName ( BoundReferenceExpression r ) : string	In case of a local variable or parameter, gets its name.
BindConstantValue ( BoundExpression target, FieldSymbol symbol ) : bool
CompoundOpToBinaryOp ( Operations op ) : Operations
GetBitOperationType ( TypeRefMask lValType, TypeRefMask rValType ) : TypeRefMask	Gets resulting type of bit operation (bit or, and, xor).
GetPlusOperationType ( BoundExpression left, BoundExpression right ) : TypeRefMask	Gets resulting type of + operation.
IsArrayOnly ( TypeRefMask tmask ) : bool	Gets value indicating the given type represents only array types.
IsClassOnly ( TypeRefMask tmask ) : bool	Gets value indicating the given type represents only class types.
IsDoubleOnly ( BoundExpression x ) : bool	Gets value indicating the given type represents a double and nothing else.
IsDoubleOnly ( TypeRefMask tmask ) : bool	Gets value indicating the given type represents a double and nothing else.
IsLTInt64Max ( BoundReferenceExpression r ) : bool	Determines if given expression represents a variable which value is less than Int64.Max in current state.
IsLongConstant ( BoundExpression expr, long value ) : bool
IsLongOnly ( BoundExpression x ) : bool	Gets value indicating the given type represents a long and nothing else.
IsLongOnly ( TypeRefMask tmask ) : bool	Gets value indicating the given type represents a long and nothing else.
IsNumberOnly ( BoundExpression x ) : bool	Gets value indicating the given type is long or double or both but nothing else.
IsNumberOnly ( TypeRefMask tmask ) : bool	Gets value indicating the given type is long or double or both but nothing else.
LTInt64Max ( BoundReferenceExpression r, bool lt ) : void	In case of a local variable or parameter, sets associated flag determining its value is less than Int64.Max.
ResolveBinaryEx ( BoundBinaryEx x, ConditionBranch branch ) : TypeRefMask
ResolveBitOperation ( object xobj, object yobj, Operations op ) : object	Resolves value of bit operation. TODO: move to **evaluation**.
ResolveType ( INamedTypeRef dtype ) : TypeSymbol
ResolveUnaryOperatorExpression ( BoundUnaryEx x, ConditionBranch branch ) : TypeRefMask
Visit ( BoundExpression x, BoundAccess access ) : void	Updates the expression access and visits it.
VisitRoutineCallEpilogue ( BoundRoutineCall x ) : void
VisitShortCircuitOp ( BoundExpression lExpr, BoundExpression rExpr, bool isAndOp, ConditionBranch branch ) : void

Method Details