Model里的类的属性是在哪定义的？ [ 新手入门 ]

比如用gii生成的 model下的User.php

/**
 * This is the model class for table "tbl_user".
 *
 * The followings are the available columns in table 'tbl_user':
 * @property integer $id
 * @property string $username
 * @property string $password
 * @property string $salt
 * @property string $email
 * @property string $profile
 *
 */
class User extends CActiveRecord
{
...
}

注释里说的那些可以直接使用的属性是在哪定义的？ 类里没有看到呀。