     1	void public get_device_property() throws DevFailed
     2	{
     3		String[] prop_names = {"Max","Min"};
     4	
     5		DbDatum[] res_value = db_dev.get_property(prop_names);
     6	
     7		if (res_value[0].is_empty() == false)
     8			min = res_value[0].extractInt();
     9		if (res_value[1].is_empty() == false)
    10			max = res_value[1].extractInt();
    11	}
