internal void DoPutLocal(int num, XType ltype) { int index = cfi.fi.fieldInverseMapping[num]; CCTypeSet cts = Stack.Peek(0); if (ltype != null) { cts.CheckSubTypeOf(ltype); } PropagateNext(Stack.Pop(), Locals.Set(index, cts)); }
internal void DoPutLocalIndexed(int off, int len, XType ltype) { int index = cfi.fi.fieldInverseMapping[off]; Stack.Peek(0).CheckInt(); CCTypeSet cts = Stack.Peek(1); if (ltype != null) { cts.CheckSubTypeOf(ltype); } PropagateNext(Stack.Pop().Pop(), Locals.Set(index, cts)); }