You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
So in general I think we should be planning for a future where Java 17 records are more broadly adopted.
That means considering accessors for the API (getters getContent() vs content()). The current API is inconsistent in this aspect. For example the Limit class uses record style accessors while Page, Pageable etc, use getters.
Can we have a vote on what we should use? It seems to me with records we should be considering record style accessors.
The text was updated successfully, but these errors were encountered:
Page might not be a good example because it isn't clear if the content is a property of the page. But for Limit and Pageable which more clearly correspond to a collection of properties, consistency with record seems like an excellent fit.
Description
So in general I think we should be planning for a future where Java 17 records are more broadly adopted.
That means considering accessors for the API (getters
getContent()
vscontent()
). The current API is inconsistent in this aspect. For example theLimit
class uses record style accessors whilePage
,Pageable
etc, use getters.Can we have a vote on what we should use? It seems to me with records we should be considering record style accessors.
The text was updated successfully, but these errors were encountered: