/* Constructor for cloning */
private ParameterValues(ParameterValues paramVals)
{
method = paramVals.Method;
types = paramVals.types;
parmCount = paramVals.parmCount;
parms = new Location[parmCount];
for (int i = 0; i < parmCount; i++)
{
Value val = paramVals.parms[i].Val;
parms[i] = new Location(paramVals.parms[i].Type);
parms[i].Val = val.MakeCopy();
}
}
// ================================================================
// Methods in subsequent section correspond to CFG nodes
// ----------------------------------------------------------------
/* Duplicates stack top
* (corresponds to CILPE.CFG.DuplicateStackTop class)
*/
public void Perform_DuplicateStackTop()
{
Value top = this[0];
push(top.MakeCopy());
}