(****
 *
 * This file defines the objs and ops related to the User Interaction Tab.
 *
 *)

object UserInteractionTab is 
    components: ConversationWindow and TextWritingWindow 
	and SlideRecovery Icon and SlideBrowsingWindow
	and SlideEditing Icon and SlideEditingTools 
	and SendIcon and SlideNavigationBar;
end;

object ConversationWindow is
    component: String
    description: used to view the current conversation;
end;

object TextWritingWindow is
    components: String;
    description: used to write the text to be sent;
end;

object SlideRecoveryIcon is
    description: used to bring up the slide browsing window;
end;

object SlideBrowsingWindow is
    description: used to select and open a slide;
end;

object SlideEditingIcon is
    components: Slide;
    description: used to bring the slide editing tools;
end;

object SlideEditingTools is
    description: used to make changes to a slide;
end;

object SendIcon is
    description: used to send text and slides;
end;

object SlideNavigationBar is
    description: used to navigate slides;
end;

operation SendTextMessage is
    inputs: TextWritingWindow and SendIcon;
    outputs: ConversationWindow;
end;

operation RecoverSlide is
    inputs: SlideRecoveryIcon and SlideRecoveryWindow;
    output: ConversationWindow;
end;

operation EditeSlide is
    input: SlideEditingIcon and SlideEditingTools
	and ConversationWindow;
    output: ConversationWindow;
end;

operation ShareSlide is
    input: ConversationWindow and SendIcon;
    output: ConversationWindow;
end;