関連ワード:  java record getter methods    java record getter setter    java record class getter setter    java 17 record getter setter    java getter method  
結果 : java record getter methods