file

  class Animal
  {
    private int life;
    public int Life {
      get { return life; } 
      set { life = value; }
    }
  }

  class Dog : Animal
  {
    public void eat()
    {
      this.Life = 5;
    }
  }