Convert the example of GEOMETRY_OBJECTs given in Section 12.1.5 from the functional notation to the notation given in Figure 12.2 that distinguishes between attributes and operations. Use the keyword INHERIT to show that one class inherits from another class.

Figure 12.2

Transcribed Image Text:

define class EMPLOYEE type tuple ( Fname: string; Minit: char; Lname: string; string; Ssn: Birth_date: DATE; string; char; Address: Sex: Salary: Supervisor: Dept: float; ΕMPLOYEΕ; DEPARTMENT; ); operations integer; age: create_emp: destroy_emp: ΕMPLOYEΕ; boolean; end EMPLOYEE; define class DEPARTMENT type tuple ( Dname: string; Dnumber: integer; tuple ( Manager: Start_date: EMPLOYEE; DATE; ); Mgr: set (string); set (EMPLOYEE); set(PROJECT); ); Locations: Employees: Projects no_of_emps: create_dept: destroy_dept: operations integer; DEPARTMENT; boolean; assign_emp(e: EMPLOYEE): boolean; (* adds an employee to the department *) remove_emp(e: EMPLOYEE): boolean; (* removes an employee from the department *) end DEPARTMENT;