<?php

/**
 * XXX detailed description
 *
 * @author    XXX
 * @copyright XXX
 * @abstract
 */
class Base {
    // Attributes
   /**
    *    XXX
    *    @access public
    */
    var $dummy;

   /**
    *    XXX
    *    @access private
    */
    var $x = 0;

    // Associations
    // Operations
   /**
    *    XXX
    *    
    *    @abstract
    *    @access public 
    *    @returns int
    *    @param int $a XXX
    */
    function foo ( $a = 0 ){
    }

   /**
    *    XXX
    *    
    *    @abstract
    *    @access protected 
    *    @returns int
    *    @param int $x XXX
    *    @param int $y XXX
    */
    function bar ( $x = 0, $y = 0 ){
    }

}



?>

<?php

#include( "Base.class.php" );
#include( "PureAbstract.class.php" );
include( "Base.class.php" );
include( "PureAbstract.class.php" );
/**
 * XXX detailed description
 *
 * @author    XXX
 * @copyright XXX
 */
class Derived extends Base extends PureAbstract {
    // Attributes
    // Associations
    // Operations
   /**
    *    XXX
    *    
    *    @access public 
    *    @returns int
    *    @param int $a XXX
    */
    function foo ( $a = 0 ){
    }

   /**
    *    XXX
    *    
    *    @access public 
    *    @returns int
    */
    function newfoo (  ){
    }

   /**
    *    XXX
    *    
    *    @access public 
    *    @returns int
    */
    function otherfoo (  ){
    }

   /**
    *    XXX
    *    
    *    @access protected 
    *    @returns int
    *    @param int $x XXX
    *    @param int $y XXX
    */
    function bar ( $x = 0, $y = 0 ){
    }

}



?>

<?php

/**
 * XXX detailed description
 *
 * @author    XXX
 * @copyright XXX
 * @abstract
 */
class PureAbstract {
    // Attributes
    // Associations
    // Operations
   /**
    *    XXX
    *    
    *    @abstract
    *    @access public 
    *    @returns int
    */
    function otherfoo (  ){
    }

}



?>