EDMX code