Assertion: class's constructor | /r/HasProperty | generated by the compiler
Facets:
value: automatically
type: MANNER
Source sentences:
text: In Java, a "default constructor" refer to a nullary constructor that is automatically generated by the compiler if no constructors have been defined for the class or in the absence of any programmer-defined constructors (e.g. in Java, the default constructor implicitly calls the superclass's nullary constructor, then executes an empty body).