set_attribute_integer

Description:

public void set_attribute_integer (string attribute, string argument, int value, SourceReference? source_reference = null)

Sets the integer value of the specified attribute argument.