class
	COURSE

General
	cluster: registrar
	description: "A Course with its administrative information."
	create: make

Ancestors
	ANY
	DEBUG_OUTPUT*

Queries
	course_time (s: STRING_8): TIME
	debug_output: STRING_8
	is_equal (other: [like Current] COURSE): BOOLEAN
	name: STRING_8
	out: STRING_8
	time: STRING_8
	valid_day (d: INTEGER_32): BOOLEAN
	valid_time (s: STRING_8): BOOLEAN

Commands
	make (n: STRING_8; d: INTEGER_32; s1, s2: STRING_8)

Constraints
	valid day
	finish later than start

Generated by ISE EiffelStudio