set_attribute_double

Description:

public void set_attribute_double (string attribute, string argument, double value, SourceReference? source_reference = null)

Sets the integer value of the specified attribute argument.