public void EndTypeDef () { typedef_stack_top--; typedef_stack.RemoveAt (typedef_stack_top); if (typedef_stack_top > 0) current_typedef = (TypeDef) typedef_stack [typedef_stack_top-1]; else current_typedef = null; }