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