69 references to LocalDataFlowState
ILLink.RoslynAnalyzer (69)
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 (49)
26OperationWalker<LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice>, TValue>, 30LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice>, 95LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 145LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state); 194public override TValue VisitLocalReference(ILocalReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 199private TValue ProcessBinderCall(IOperation operation, string methodName, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 212public override TValue VisitDynamicInvocation(IDynamicInvocationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 215public override TValue VisitDynamicObjectCreation(IDynamicObjectCreationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 218public override TValue VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 221public override TValue VisitDynamicIndexerAccess(IDynamicIndexerAccessOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 233private TValue GetLocal(ILocalSymbol symbol, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 246private void SetLocal(ILocalSymbol localSymbol, TValue value, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, bool merge = false) 265LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 276LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 287LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 307LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 493public override TValue VisitSimpleAssignment(ISimpleAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 498public override TValue VisitIsPattern(IIsPatternOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 514public override TValue VisitPropertySubpattern(IPropertySubpatternOperation propPattern, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 529public override TValue VisitCompoundAssignment(ICompoundAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 538private TValue ProcessAssignment(IAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 588LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 617LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 719LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 866LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 894LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 907LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 929LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 962LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state, 1043public override TValue VisitEventAssignment(IEventAssignmentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1066private TValue GetFlowCaptureValue(IFlowCaptureReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1077public override TValue VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1125public override TValue VisitFlowCapture(IFlowCaptureOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1193public override TValue VisitExpressionStatement(IExpressionStatementOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1199public override TValue VisitInvocation(IInvocationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1202public override TValue VisitDelegateCreation(IDelegateCreationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1246public override TValue VisitPropertyReference(IPropertyReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1279public override TValue VisitEventReference(IEventReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1292public override TValue VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1315public override TValue VisitArrayElementReference(IArrayElementReferenceOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1330public override TValue VisitInlineArrayAccess(IInlineArrayAccessOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1339public override TValue VisitArgument(IArgumentOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1344public override TValue VisitReturn(IReturnOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1357public override TValue VisitConversion(IConversionOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1363public override TValue VisitObjectCreation(IObjectCreationOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1371public override TValue VisitFlowAnonymousFunction(IFlowAnonymousFunctionOperation operation, LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1389LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1447LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state) 1477LocalDataFlowState<TValue, TContext, TValueLattice, TContextLattice> state)
TrimAnalysis\TrimAnalysisVisitor.cs (10)
19using StateValue = ILLink.RoslynAnalyzer.DataFlow.LocalDataFlowState< 67public override FeatureChecksValue GetConditionValue(IOperation branchValueOperation, StateValue state) 83public override MultiValue DefaultVisit(IOperation operation, StateValue argument) 102public override MultiValue VisitArrayCreation(IArrayCreationOperation operation, StateValue state) 127public override MultiValue VisitConversion(IConversionOperation operation, StateValue state) 140public override MultiValue VisitParameterReference(IParameterReferenceOperation paramRef, StateValue state) 146public override MultiValue VisitInstanceReference(IInstanceReferenceOperation instanceRef, StateValue state) 162public override MultiValue VisitFieldReference(IFieldReferenceOperation fieldRef, StateValue state) 192public override MultiValue VisitTypeOf(ITypeOfOperation typeOfOperation, StateValue state) 197public override MultiValue VisitBinaryOperator(IBinaryOperation operation, StateValue argument)