On Dec 4, 2019, at 7:59 AM, Maurizio Cimadamore <maurizio.cimadam...@oracle.com> wrote: > > On 04/12/2019 15:53, fo...@univ-mlv.fr <mailto:fo...@univ-mlv.fr> wrote: >> Like getEnumConstants(), this is an argument i can agree upon. > Yes, that is the important precedent here.
+1; getEnumX getRecordX are clearly partial functions (like getComponentType als0), while the others that always return non-null are clearly total functions. I.e., get[Declared][Fields,Methods,Classes,…] apply evenly to all classes, not just some kinds.
