Record_District.php

<?php
class Record_District extends Doctrine_Record {
    public function setTableDefinition() {
        $this->hasColumn('name', 'string', 200);
    } 
}