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