/// <summary>Determines whether this ReturnException came from
/// a given scope</summary>
/// <param name="s">Scope to compare against</param>
/// <returns>True if this ReturnException came from the scope
/// given in <paramref name="s"/>; false otherwise.</returns>
public bool IsFromScope(MethodScope s)
{
return(s == scope);
}
/// <param name="scope">The method body scope from which this
/// return originated</param>
/// <param name="val">The return value</param>
public ReturnException(MethodScope scope, GraceObject val)
{
this.scope = scope;
Value = val;
}
