public InterproceduralStateLattice(
ValueSetLattice <MethodBodyValue> methodBodyLattice,
DictionaryLattice <HoistedLocalKey, MultiValue, ValueSetLattice <SingleValue> > hoistedLocalsLattice)
=> (MethodBodyLattice, HoistedLocalsLattice) = (methodBodyLattice, hoistedLocalsLattice);
public InterproceduralStateLattice(
ILProvider ilProvider,
ValueSetLattice <MethodBodyValue> methodBodyLattice,
DictionaryLattice <HoistedLocalKey, MultiValue, ValueSetLattice <SingleValue> > hoistedLocalsLattice)
=> (_ilProvider, MethodBodyLattice, HoistedLocalsLattice) = (ilProvider, methodBodyLattice, hoistedLocalsLattice);
public LocalStateLattice(TValueLattice valueLattice)
{
Lattice = new DictionaryLattice <LocalKey, TValue, TValueLattice> (valueLattice);
CapturedReferenceLattice = new DictionaryLattice <CaptureId, CapturedReferenceValue, CapturedReferenceLattice> (new CapturedReferenceLattice());
Top = new (Lattice.Top);
}
public LocalStateLattice(TValueLattice valueLattice)
{
Lattice = new DictionaryLattice <LocalKey, TValue, TValueLattice> (valueLattice);
Top = new (Lattice.Top);
}
