/** * Constructs a new frame that is identical to the given frame. * * @param src a frame. */ public Frame(final Frame src) { this(src.locals, src.values.length - src.locals); init(src); }