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); }