RFR: 8251837: Rename get_safepoint_workers to safepoint_workers

[Stefan Karlsson]

Thanks, Thomas.

StefanK

On 2020-08-14 18:35, Thomas Schatzl wrote:
> Hi,
> 
> On 14.08.20 16:53, Stefan Karlsson wrote:
>> Hi all,
>>
>> Please review this trivial rename to get rid of the get_ prefix in 
>> get_safepoint_workers.
>>
>> https://cr.openjdk.java.net/~stefank/8251837/webrev.01/
>> https://bugs.openjdk.java.net/browse/JDK-8251837
>>
>> We usually don't add get_ prefixes to our getters:
>>
>> https://hg.openjdk.java.net/jdk/jdk/file/1b316786d245/doc/hotspot-style.md 
>>
>>
>> """
>> * Getter accessor names are noun phrases, with no "`get_`" noise
>> word. Boolean getters can also begin with "`is_`" or "`has_`".  Member
>> function for reading data members usually have the same name as the
>> data member, exclusive of the leading underscore.
>> """
>>
>> Thanks,
>> StefanK
> 
>    lgtm.
> 
> Thomas