//------------------------------------------------------------------------------
// <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 ETSZemun
{
    using System;
    using System.Data.Entity;
    using System.Data.Entity.Infrastructure;
    
    public partial class STUDENTSKA_EF : DbContext
    {
        public STUDENTSKA_EF()
            : base("name=STUDENTSKA_EF")
        {
        }
    
        protected override void OnModelCreating(DbModelBuilder modelBuilder)
        {
            throw new UnintentionalCodeFirstException();
        }
    
        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<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; }
    }
}
