//------------------------------------------------------------------------------
// <auto-generated>
//     This code was generated from a template.
//
//     Manual changes to this file may cause unexpected behavior in your application.
//     Manual changes to this file will be overwritten if the code is regenerated.
// </auto-generated>
//------------------------------------------------------------------------------

namespace ETSStariGrad
{
    using System;
    using System.Data.Entity;
    using System.Data.Entity.Infrastructure;
    
    public partial class STUDENTSKAEF : DbContext
    {
        public STUDENTSKAEF()
            : base("name=STUDENTSKAEF")
        {
        }
    
        protected override void OnModelCreating(DbModelBuilder modelBuilder)
        {
            throw new UnintentionalCodeFirstException();
        }
    
        public virtual DbSet<C__EFMigrationsHistory> C__EFMigrationsHistory { get; set; }
        public virtual DbSet<ispit> ispits { get; set; }
        public virtual DbSet<ispitni_rok> ispitni_rok { get; set; }
        public virtual DbSet<predmet> predmets { get; set; }
        public virtual DbSet<Prijava_brojIndeksa> Prijava_brojIndeksa { get; set; }
        public virtual DbSet<PrijavaIspita> PrijavaIspitas { get; set; }
        public virtual DbSet<profesor> profesors { get; set; }
        public virtual DbSet<student> students { get; set; }
        public virtual DbSet<student_predmet> student_predmet { get; set; }
        public virtual DbSet<sysdiagram> sysdiagrams { get; set; }
        public virtual DbSet<zapisnik> zapisniks { get; set; }
    }
}
