Database.cs

using Microsoft.EntityFrameworkCore;
using System;

namespace TRPO_3
{
    public enum TableType
    {
        Client,
        Attorney,
        Case,
        Archive,
        Article
    }

    public class AttorneyContext : DbContext
    {
        public DbSet<Human> Human { get; set; }
        public DbSet<Attorney> Attorney { get; set; }
        public DbSet<Client> Client { get; set; }
        public DbSet<Case> Case { get; set; }
        public DbSet<Article> Article { get; set; }

        public string DbPath { get; }


        public AttorneyContext()
        {
            var folder = Environment.SpecialFolder.MyDocuments;
            var path = Environment.GetFolderPath(folder);
            DbPath = System.IO.Path.Join(path, "database.db");
            Database.EnsureCreated();
        }

        protected override void OnConfiguring(DbContextOptionsBuilder options)
            => options.UseSqlite($"Data Source={DbPath}")
            .LogTo(s => System.Diagnostics.Debug.WriteLine(s));

        protected override void OnModelCreating(ModelBuilder modelBuilder)
        {
            modelBuilder.Entity<Human>()
                .Property(b => b.HumanId)
                .IsRequired();

            modelBuilder.Entity<Human>()
                .Ignore(x => x.FullName);

            modelBuilder.Entity<Attorney>()
                .Property(b => b.AttorneyId)
                .IsRequired();

            modelBuilder.Entity<Client>()
                .Property(b => b.ClientId)
                .IsRequired();

            modelBuilder.Entity<Case>()
                .Property(b => b.CaseId)
                .IsRequired();

            modelBuilder.Entity<Case>()
                .Property(b => b.AttorneyId)
                .IsRequired();

            modelBuilder.Entity<Case>()
                .Property(b => b.ClientId)
                .IsRequired();

            modelBuilder.Entity<Case>()
                .Property(b => b.ArticleId)
                .IsRequired();

            modelBuilder.Entity<Case>()
                .Property(x => x.Archived)
                .HasDefaultValue(false);

            modelBuilder.Entity<Case>()
                .Property(x => x.Pay)
                .HasDefaultValue(0);

            modelBuilder.Entity<Article>()
                .Property(b => b.ArticleId)
                .IsRequired();
        }
    }

    public class Human
    {
        public int HumanId { get; set; }
        public string Name { get; set; }
        public string Surname { get; set; }
        public string Patronymic { get; set; }

        public virtual string FullName => $"{Name} {Patronymic} {Surname}";
    }

    public class Attorney
    {
        public int AttorneyId { get; set; }

        public Attorney()
        {

        }

        public Attorney(Human human)
        {
            Human = human;
            HumanId = human.HumanId;
        }

        public int HumanId { get; set; }
        public virtual Human Human { get; set; }
    }

    public class Client
    {
        public int ClientId { get; set; }
        public Client()
        {
        }

        public Client(Human human)
        {
            Human = human;
            HumanId = human.HumanId;
        }

        public int HumanId { get; set; }
        public virtual Human Human { get; set; }
    }

    public class Article
    {
        public int ArticleId { get; set; }
        public string Name { get; set; }
        public int ExprectedPunishment { get; set; }
    }

    public class Case
    {
        public int CaseId { get; set; }
        public int AttorneyId { get; set; }
        public int ClientId { get; set; }
        public int ArticleId { get; set; }

        public int? FinalPunishment { get; set; }

        public Case()
        {

        }

        public virtual Attorney Attorney { get; set; }
        public virtual Article Article { get; set; }
        public virtual Client Client { get; set; }
        public DateTime StartDate { get; set; }
        public DateTime? EndDate { get; set; }
        public int Pay { get; set; }
        public string Comment { get; set; }
        public bool Archived { get; set; }
    }
}