void
PushFrameInstr(PushFrameInstr pushframeinstr)
Copyright © 2002-2009 JRuby Team. All Rights Reserved.