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