object Animation is
   components: FullScreen and Play and Pause and Stop and Beginning and End and Goto and Speed and Increment;
end Animation;

operation FullScreen
   inputs: Map and Layers;
   outputs: Map and Layers;
   description:  (* 
	FullScreen allows the animation of the layers to be shown the full size of the window
*);

end FullScreen;

operation Play
   inputs: Map and Layers;
   outputs: Map and Layers;
   description:  (* 
	Play allows the user to view the animation of a map and layers
*);

end Play;

operation Stop
   inputs: Map and Layers;
   outputs: Map and Layers;
   description:  (* 
	Stop allows the user to pause during an animation to view a specific map and layers
*);

end Stop;

operation Pause
   inputs: Map and Layers;
   outputs: Map and Layers;
   description:  (* 
	Pause allows the user to pause during an animation to view a specific map and layers
*);

end Pause;


operation Beginning
   inputs: Map and Layers;
   outputs: Map and Layers;
   description:  (* 
	Beginning allows the user to go to the first map, or the map of the most earliest date, of the animation
*);

end Beginning;

operation End
   inputs: Map and Layers;
   outputs: Map and Layers;
   description:  (* 
	End allows the user to go to the last map, or the map of the most current date, of the animation
*);

end End;


object Goto
   components: GotoDate;
   description: (*
 	Goto allows the user to jump to a specific time in the animation*);

end Goto;

object GotoDate is a String;

object Speed
   components: Speedvar;
   description: (*
 	Speed allows the user to change how quickly the animation can be viewed*);

end Speed;

object Speedvar is integer;


object Increment
   components: Incrementnum;
   description: (*
 	Increment allows the user to change the increments - year, month, day of the animation*);

end Increment;

object Increment is String;