(* This file defines objects and operation related to setup of the scheduler. See Sections 2.2.1 to 2.2.3 of the requirements. Module * Setup defines the objects and operations related to setting up the Scheduler. *) module Setup; object Settings is components: ServerAddress and UserName and Password and Location; description: (* Settings contains the specified components that specify the setup * of the server. *); end Settings; object ServerAddress is components: string; description: (* The ServerAddress object represents the address in * string format of the server to connect to *); end ServerAddress; object UserName is components: string; description: (* The UserName object * represents the name used by the admin to logon and is a string. *); end UserName; object Password is components: string; description: (* The Password object represents the password used * to logon to the server in string format. *); end Password; object Location is components: string; description: (* The Location object represents the directory used to access and save files related to the Scheduler.*); end Location; end Setup;