C# (CSharp) InterproceduralStateLattice Examples

Example #1

File: InterproceduralState.cs Project: mikem8361/runtime

 public InterproceduralState(ValueSet <MethodBodyValue> methodBodies, HoistedLocalState hoistedLocals, InterproceduralStateLattice lattice)
 => (MethodBodies, HoistedLocals, this.lattice) = (methodBodies, hoistedLocals, lattice);

Example #2

File: InterproceduralState.cs Project: mikem8361/runtime

 public InterproceduralState(ILProvider ilProvider, ValueSet <MethodBodyValue> methodBodies, HoistedLocalState hoistedLocals, InterproceduralStateLattice lattice)
 => (_ilProvider, MethodBodies, HoistedLocals, this.lattice) = (ilProvider, methodBodies, hoistedLocals, lattice);