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; }