public FlowBreakingExpr(SourceLocation location, BreakingType type, Expr returnValue)
: base(location, true, true)
{
if (type == BreakingType.None)
{
throw new ArgumentNullException("type");
}
if ((type == BreakingType.Return || type == BreakingType.Throw) && returnValue == null)
{
throw new ArgumentNullException("returnValue");
}
Type = type;
ReturnedValue = returnValue;
}
/// <summary>
/// Initiallizes a WallBreakerFactory with the given BreakingType
/// </summary>
/// <param name="type">the Algoritm type to be used</param>
public WallBreakerFactory(BreakingType type)
{
this.type = type;
}
