operation New is inputs: ; outputs: Map; description: (* New creates a new blank map, does not require input *); end New; operation Open is inputs: FilePathName; outputs: Map; description: (* opens existing saved map. FilePathName is the absolute pathname. *); end Open; operation Close is inputs: Map; outputs: ; description: (* Closes the current map. Does not require output *); end Close; operation Save is inputs: Map; outputs: Map; description: (* Saves the map on the file from which it was opened, or on a different file from which it was opened or most recently saved upon *); end Save; operation SaveAs is inputs: Map; outputs: Map; description: (* Saves map on a different file from which it is opened. *); end SaveAs; operation Import is inputs: UnformattedMap; outputs: Map; description: (* Allows a user to bring in data from file of different format other than Electronic World. Output will be map with data from unformatted map merged with current map. *); end Import; operation Export is inputs: Map; outputs: UnformattedMap; description: (* Allows map to be saved in different format than Electronic World. *); end Export; operation Print is inputs: ; outputs: ; description: (* *); end Print; operation PrintOptions is inputs: ; outputs: ; description: (* *); end PrintOptions; operation Exit is inputs: ; outputs: ; description: (* *); end Exit;