
            /**
            IMPORTANT !!!
       
            DO NOT EDIT THIS FILE. IT IS GENERATED FROM approriate xml file in xmlresources/gbcommands BY
            THE JavaClassesGenerator.xslt. MODIFY THESE FILES INSTEAD OF THIS ONE.
       
            IMPORTANT END !!!
            */
            package
            cz.cuni.amis.pogamut.ut2004.communication.messages.gbcommands;
	    		import java.util.*;    
    import javax.vecmath.*;    
    import cz.cuni.amis.pogamut.base.communication.messages.*;    
    import cz.cuni.amis.pogamut.base.agent.worldview.*;    
    import cz.cuni.amis.pogamut.base.agent.worldview.objects.*;    
    import cz.cuni.amis.pogamut.base.communication.translator.*;    
    import cz.cuni.amis.pogamut.ut2004.communication.translator.itemdescriptor.*;    
    import cz.cuni.amis.pogamut.ut2004.communication.messages.ItemType.Category;    
    import cz.cuni.amis.pogamut.base.exceptions.*;    
    import cz.cuni.amis.pogamut.base3d.worldview.objects.*;    
    import cz.cuni.amis.pogamut.ut2004.communication.messages.*;    
    import cz.cuni.amis.pogamut.ut2004.agent.worldview.objects.*;    
                
            
            /**
              Causes bot to jump.
                          Corresponding GameBots command is 
                          JUMP.
                      
             */
            
            public class
            Jump extends
        CommandMessage
                        
            {
            
            
            
            /**
              Creates new instance of command Jump.
              Causes bot to jump.Corresponding GameBots message for this command is 
              JUMP.
                  @param DoubleJump 
			If set to True will cause the bot to perform double jump
			(will jump twice as high).
		
              */
             public Jump(
                boolean DoubleJump) {
                    
                    this.DoubleJump = DoubleJump;
                
                }
               
            
            		/**
		             Creates new instance of command Jump.
		             Causes bot to jump.Corresponding GameBots message for this command is 
		             JUMP.
		             <p></p>WARNING: this is empty-command constructor, you have to use setters to fill it up!
		             */
            		public  Jump() {
            		}
            	
            
            /////// Properties BEGIN
            
        /**
        
			If set to True will cause the bot to perform double jump
			(will jump twice as high).
		 */
        protected
         boolean DoubleJump = 
        	false;
        
        
        /**
        
			If set to True will cause the bot to perform double jump
			(will jump twice as high).
		 */
        public
        boolean isDoubleJump() {
            return
         DoubleJump;
        }
        

        
            /**         
        
			If set to True will cause the bot to perform double jump
			(will jump twice as high).
		 */
        public Jump setDoubleJump(boolean DoubleJump) {
            this.DoubleJump = DoubleJump;
            return this;
            }
       
            /////// Properties END
            
            /////// Extra Java code BEGIN
                        	
            	/////// Additional code from xslt BEGIN            	 
            			
            		
            		
            	/////// Additional code from xslt END            
				                    
	            /////// Extra Java from XML BEGIN
            		
            	/////// Extra Java from XML END
            	    
            /////// Extra Java code END
            
            
            
            /**
              * Cloning constructor.
              */
             public Jump(Jump original) {
                
                     this.DoubleJump=original.DoubleJump;
                
             }   
             
             
                
                 
            public String toString() {
                return
                
                    	super.toString();
                     
             }
             
             public String toHtmlString() {
                return super.toString() +
             
            "<b>DoubleJump</b> : " + 
            String.valueOf(DoubleJump) + 
            " <br/> " +
             "";
             }            
             
             
             
                 public String toMessage() {
              		StringBuffer buf = new StringBuffer();
              		buf.append("JUMP");
              		
		    					buf.append(" {DoubleJump " + DoubleJump + "}");
		    				            
            		return buf.toString();
            }
             
             }
                         
        