Data Property: isConstructor
http://www.ifi.unizh.ch/ddis/evoont/2008/11/isConstructor
Annotations
-
comment: "Is a predicate telling whether the method is a constructor. A constructor is a method that creates an (initialised) instance of the class it is defined on. Thus a method that creates an instance of another class is not considered a constructor. How constructor methods are recognised in source code is a language dependent issue." (en)
Property Characteristics (and other axioms)
-
functional (isConstructor)
Domains
Ranges