protected internal Argument(string name, ArgumentDirection direction, bool isReturnValue, StateVariable relatedStateVariable) { if (name == null) throw new ArgumentNullException ("name"); if (isReturnValue && direction == ArgumentDirection.In) throw new ArgumentException ("If the argument is a return value, it must have an 'Out' direction."); if (relatedStateVariable == null) throw new ArgumentNullException ("relatedStateVariable"); this.name = name; this.direction = direction; this.is_return_value = isReturnValue; this.related_state_variable = relatedStateVariable; }
protected internal Argument(string name, ArgumentDirection direction, bool isReturnValue, StateVariable relatedStateVariable) { if (name == null) { throw new ArgumentNullException("name"); } if (isReturnValue && direction == ArgumentDirection.In) { throw new ArgumentException("If the argument is a return value, it must have an 'Out' direction."); } if (relatedStateVariable == null) { throw new ArgumentNullException("relatedStateVariable"); } this.name = name; this.direction = direction; this.is_return_value = isReturnValue; this.related_state_variable = relatedStateVariable; }