7 implementations of Top
ILLink.RoslynAnalyzer (7)
DataFlow\FeatureContextLattice.cs (1)
71
public FeatureContext
Top
{ get; } = FeatureContext.All;
DataFlow\InterproceduralState.cs (1)
105
public InterproceduralState<TValue, TValueLattice>
Top
=> new(MethodLattice.Top,
DataFlow\LocalStateAndContextLattice.cs (1)
47
public LocalStateAndContext<TValue, TContext>
Top
{ get; }
DataFlow\LocalStateLattice.cs (1)
95
public LocalState<TValue>
Top
{ get; }
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
19
public DefaultValueDictionary<TKey, TValue>
Top
{ get; }
src\tools\illink\src\ILLink.Shared\DataFlow\MaybeLattice.cs (1)
44
public Maybe<T>
Top
{ get; }
src\tools\illink\src\ILLink.Shared\DataFlow\ValueSetLattice.cs (1)
15
public ValueSet<TValue>
Top
=> default;
13 references to Top
ILLink.RoslynAnalyzer (13)
DataFlow\InterproceduralState.cs (1)
66
HoistedLocals.Set(key, new Maybe<TValue>(lattice.HoistedLocalLattice.ValueLattice.ValueLattice.
Top
));
DataFlow\LocalDataFlowVisitor.cs (1)
47
protected TValue TopValue => LocalStateAndContextLattice.LocalStateLattice.Lattice.ValueLattice.
Top
;
DataFlow\LocalStateAndContextLattice.cs (1)
44
Top = new(LocalStateLattice.Top, ContextLattice.
Top
);
src\tools\illink\src\ILLink.Shared\DataFlow\DictionaryLattice.cs (1)
24
Top = new DefaultValueDictionary<TKey, TValue>(valueLattice.
Top
);
src\tools\illink\src\ILLink.Shared\DataFlow\ForwardDataFlowAnalysis.cs (9)
89
state = new Box<TValue>(lattice.
Top
);
112
state = lattice.
Top
;
134
state = lattice.
Top
;
157
Current = lattice.
Top
,
199
TValue branchState = lattice.Meet(lattice.
Top
, state.Current);
236
Current = lattice.
Top
,
242
Current = lattice.
Top
,
278
TValue currentState = lattice.
Top
;
317
exceptionFinallyState = lattice.
Top
;