58 references to LocalDataFlowState
ILLink.RoslynAnalyzer (58)
DataFlow\FeatureChecksVisitor.cs (9)
13
using StateValue = ILLink.RoslynAnalyzer.DataFlow.
LocalDataFlowState
<
26
internal sealed class FeatureChecksVisitor : OperationVisitor<
StateValue
, FeatureChecksValue>
35
public override FeatureChecksValue DefaultVisit(IOperation operation,
StateValue
state)
42
public override FeatureChecksValue VisitArgument(IArgumentOperation operation,
StateValue
state)
47
public override FeatureChecksValue VisitPropertyReference(IPropertyReferenceOperation operation,
StateValue
state)
63
public override FeatureChecksValue VisitUnaryOperator(IUnaryOperation operation,
StateValue
state)
72
public override FeatureChecksValue VisitLiteral(ILiteralOperation operation,
StateValue
state)
97
public override FeatureChecksValue VisitBinaryOperator(IBinaryOperation operation,
StateValue
state)
131
public override FeatureChecksValue VisitIsPattern(IIsPatternOperation operation,
StateValue
state)
DataFlow\LocalDataFlowAnalysis.cs (1)
22
LocalDataFlowState
<TValue, TContext, TLattice, TContextLattice>,
DataFlow\LocalDataFlowVisitor.cs (38)
22
OperationWalker<
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice>, TValue>,
26
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice>,
80
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
130
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state);
172
public override TValue VisitLocalReference(ILocalReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
177
private TValue ProcessBinderCall(IOperation operation, string methodName,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
190
public override TValue VisitDynamicInvocation(IDynamicInvocationOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
193
public override TValue VisitDynamicObjectCreation(IDynamicObjectCreationOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
196
public override TValue VisitDynamicMemberReference(IDynamicMemberReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
199
public override TValue VisitDynamicIndexerAccess(IDynamicIndexerAccessOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
211
private TValue GetLocal(ILocalSymbol symbol,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
224
private void SetLocal(ILocalSymbol localSymbol, TValue value,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state, bool merge = false)
243
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state,
254
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state,
425
public override TValue VisitSimpleAssignment(ISimpleAssignmentOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
430
public override TValue VisitIsPattern(IIsPatternOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
446
public override TValue VisitPropertySubpattern(IPropertySubpatternOperation propPattern,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
461
public override TValue VisitCompoundAssignment(ICompoundAssignmentOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
470
private TValue ProcessAssignment(IAssignmentOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
516
public override TValue VisitEventAssignment(IEventAssignmentOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
539
private TValue GetFlowCaptureValue(IFlowCaptureReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
550
public override TValue VisitFlowCaptureReference(IFlowCaptureReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
597
public override TValue VisitFlowCapture(IFlowCaptureOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
648
public override TValue VisitExpressionStatement(IExpressionStatementOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
654
public override TValue VisitInvocation(IInvocationOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
657
public override TValue VisitDelegateCreation(IDelegateCreationOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
701
public override TValue VisitPropertyReference(IPropertyReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
732
public override TValue VisitEventReference(IEventReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
745
public override TValue VisitImplicitIndexerReference(IImplicitIndexerReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
768
public override TValue VisitArrayElementReference(IArrayElementReferenceOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
783
public override TValue VisitInlineArrayAccess(IInlineArrayAccessOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
792
public override TValue VisitArgument(IArgumentOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
797
public override TValue VisitReturn(IReturnOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
810
public override TValue VisitConversion(IConversionOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
816
public override TValue VisitObjectCreation(IObjectCreationOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
824
public override TValue VisitFlowAnonymousFunction(IFlowAnonymousFunctionOperation operation,
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
842
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
922
LocalDataFlowState
<TValue, TContext, TValueLattice, TContextLattice> state)
TrimAnalysis\TrimAnalysisVisitor.cs (10)
19
using StateValue = ILLink.RoslynAnalyzer.DataFlow.
LocalDataFlowState
<
67
public override FeatureChecksValue GetConditionValue(IOperation branchValueOperation,
StateValue
state)
83
public override MultiValue DefaultVisit(IOperation operation,
StateValue
argument)
102
public override MultiValue VisitArrayCreation(IArrayCreationOperation operation,
StateValue
state)
127
public override MultiValue VisitConversion(IConversionOperation operation,
StateValue
state)
140
public override MultiValue VisitParameterReference(IParameterReferenceOperation paramRef,
StateValue
state)
146
public override MultiValue VisitInstanceReference(IInstanceReferenceOperation instanceRef,
StateValue
state)
162
public override MultiValue VisitFieldReference(IFieldReferenceOperation fieldRef,
StateValue
state)
187
public override MultiValue VisitTypeOf(ITypeOfOperation typeOfOperation,
StateValue
state)
192
public override MultiValue VisitBinaryOperator(IBinaryOperation operation,
StateValue
argument)