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