58 references to LocalDataFlowState
ILLink.RoslynAnalyzer (58)
DataFlow\FeatureChecksVisitor.cs (9)
13using StateValue = ILLink.RoslynAnalyzer.DataFlow.LocalDataFlowState< 26internal sealed class FeatureChecksVisitor : OperationVisitor<StateValue, FeatureChecksValue> 35public override FeatureChecksValue DefaultVisit(IOperation operation, StateValue state) 42public override FeatureChecksValue VisitArgument(IArgumentOperation operation, StateValue state) 47public override FeatureChecksValue VisitPropertyReference(IPropertyReferenceOperation operation, StateValue state) 63public override FeatureChecksValue VisitUnaryOperator(IUnaryOperation operation, StateValue state) 72public override FeatureChecksValue VisitLiteral(ILiteralOperation operation, StateValue state) 97public override FeatureChecksValue VisitBinaryOperator(IBinaryOperation operation, StateValue state) 131public override FeatureChecksValue VisitIsPattern(IIsPatternOperation operation, StateValue state)
DataFlow\LocalDataFlowAnalysis.cs (1)
22LocalDataFlowState<TValue, TContext, TLattice, TContextLattice>,
DataFlow\LocalDataFlowVisitor.cs (38)
22OperationWalker<LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice>, TValue>, 26LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice>, 80LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 130LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state); 172public override TValue VisitLocalReference(ILocalReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 177private TValue ProcessBinderCall(IOperation operation, string methodName, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 190public override TValue VisitDynamicInvocation(IDynamicInvocationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 193public override TValue VisitDynamicObjectCreation(IDynamicObjectCreationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 196public override TValue VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 199public override TValue VisitDynamicIndexerAccess(IDynamicIndexerAccessOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 211private TValue GetLocal(ILocalSymbol symbol, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 224private void SetLocal(ILocalSymbol localSymbol, TValue value, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, bool merge = false) 243LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 254LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 417public override TValue VisitSimpleAssignment(ISimpleAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 422public override TValue VisitIsPattern(IIsPatternOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 438public override TValue VisitPropertySubpattern(IPropertySubpatternOperation propPattern, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 453public override TValue VisitCompoundAssignment(ICompoundAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 462private TValue ProcessAssignment(IAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 508public override TValue VisitEventAssignment(IEventAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 531private TValue GetFlowCaptureValue(IFlowCaptureReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 542public override TValue VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 589public override TValue VisitFlowCapture(IFlowCaptureOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 640public override TValue VisitExpressionStatement(IExpressionStatementOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 646public override TValue VisitInvocation(IInvocationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 649public override TValue VisitDelegateCreation(IDelegateCreationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 693public override TValue VisitPropertyReference(IPropertyReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 718public override TValue VisitEventReference(IEventReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 731public override TValue VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 754public override TValue VisitArrayElementReference(IArrayElementReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 769public override TValue VisitInlineArrayAccess(IInlineArrayAccessOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 778public override TValue VisitArgument(IArgumentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 783public override TValue VisitReturn(IReturnOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 796public override TValue VisitConversion(IConversionOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 802public override TValue VisitObjectCreation(IObjectCreationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 810public override TValue VisitFlowAnonymousFunction(IFlowAnonymousFunctionOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 828LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 908LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state)
TrimAnalysis\TrimAnalysisVisitor.cs (10)
19using StateValue = ILLink.RoslynAnalyzer.DataFlow.LocalDataFlowState< 65public override FeatureChecksValue GetConditionValue(IOperation branchValueOperation, StateValue state) 81public override MultiValue DefaultVisit(IOperation operation, StateValue argument) 100public override MultiValue VisitArrayCreation(IArrayCreationOperation operation, StateValue state) 125public override MultiValue VisitConversion(IConversionOperation operation, StateValue state) 138public override MultiValue VisitParameterReference(IParameterReferenceOperation paramRef, StateValue state) 154public override MultiValue VisitInstanceReference(IInstanceReferenceOperation instanceRef, StateValue state) 170public override MultiValue VisitFieldReference(IFieldReferenceOperation fieldRef, StateValue state) 195public override MultiValue VisitTypeOf(ITypeOfOperation typeOfOperation, StateValue state) 200public override MultiValue VisitBinaryOperator(IBinaryOperation operation, StateValue argument)