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)
87
state = new Box<TValue> (lattice.
Top
);
109
state = lattice.
Top
;
130
state = lattice.
Top
;
151
Current = lattice.
Top
,
192
TValue branchState = lattice.Meet (lattice.
Top
, state.Current);
227
Current = lattice.
Top
,
232
Current = lattice.
Top
,
266
TValue currentState = lattice.
Top
;
300
exceptionFinallyState = lattice.
Top
;