class STUDENT General cluster: registrar description: "A student with their administrative information." create: make Ancestors DEBUG_OUTPUT* Queries debug_output: STRING_8 is_equal (other: [like Current] STUDENT): BOOLEAN name: STRING_8 out: STRING_8 Commands make (n: STRING_8)
Generated by ISE EiffelStudio