<?php
// Connection Component Binding
Doctrine_Manager::getInstance()->bindComponent('INFESTIVO', 'doctrine');

/**
 * BaseINFESTIVO
 * 
 * This class has been auto-generated by the Doctrine ORM Framework
 * 
 * @property integer $id_festivo
 * @property timestamp $fecha
 * 
 * @method integer   getIdFestivo()  Returns the current record's "id_festivo" value
 * @method timestamp getFecha()      Returns the current record's "fecha" value
 * @method INFESTIVO setIdFestivo()  Sets the current record's "id_festivo" value
 * @method INFESTIVO setFecha()      Sets the current record's "fecha" value
 * 
 * @package    contratacion
 * @subpackage model
 * @author     Your name here
 * @version    SVN: $Id: Builder.php 7691 2011-02-04 15:43:29Z jwage $
 */
abstract class BaseINFESTIVO extends sfDoctrineRecord
{
    public function setTableDefinition()
    {
        $this->setTableName('INFESTIVO');
        $this->hasColumn('id_festivo', 'integer', 20, array(
             'notnull' => false,
             'type' => 'integer',
             'fixed' => 0,
             'unsigned' => false,
             'primary' => true,
             'length' => 20,
             ));
        $this->hasColumn('fecha', 'timestamp', 7, array(
             'notnull' => true,
             'type' => 'timestamp',
             'fixed' => 0,
             'unsigned' => false,
             'primary' => false,
             'length' => 7,
             ));
    }

    public function setUp()
    {
        parent::setUp();
        
    }
}