PetShop 4.0中研读时时的疑问...

//------------------------------------------------------------------------------
// <auto-generated>
//     此代码由工具生成。
//     运行库版本:2.0.50727.1433
//
//     对此文件的更改可能会导致不正确的行为，并且如果
//     重新生成代码，这些更改将会丢失。
// </auto-generated>
//------------------------------------------------------------------------------using System;
using System.Web;
using System.Web.Profile;public class ProfileCommon : System.Web.Profile.ProfileBase {
    
    public virtual PetShop.BLL.Cart ShoppingCart {
        get {
            return ((PetShop.BLL.Cart)(this.GetPropertyValue("ShoppingCart")));
        }
        set {
            this.SetPropertyValue("ShoppingCart", value);
        }
    }问一下这段代码的生成工具是啥自动代码生成工具? 我点下面的ShoppingCart的引用时定位到上面自动生成代码,有谁知道这个代码的工作方式吗?
 ICollection<CartItemInfo> cart = Profile.ShoppingCart.CartItems;