Ejemplo n.º 1
0
 public InterproceduralState(ValueSet <MethodBodyValue> methodBodies, HoistedLocalState hoistedLocals, InterproceduralStateLattice lattice)
 => (MethodBodies, HoistedLocals, this.lattice) = (methodBodies, hoistedLocals, lattice);
Ejemplo n.º 2
0
 public InterproceduralState(ILProvider ilProvider, ValueSet <MethodBodyValue> methodBodies, HoistedLocalState hoistedLocals, InterproceduralStateLattice lattice)
 => (_ilProvider, MethodBodies, HoistedLocals, this.lattice) = (ilProvider, methodBodies, hoistedLocals, lattice);