L'objet dont la méthode est un attribut fonctionnel est une instance d'EntitySpec. De façon générale :
- Les constructeurs de base des sous-classes d'EntitySpecMethod affectent un symbole et un nom de classe, ainsi qu'un type, précisés dans la documentation de chaque sous-classe.
- Les constructeurs par copie des sous-classes d'EntitySpecMethod copient le corps, et font appel au constructeur par copie de la classe EntitySpecMethod.