abstract inheritance encapsulation overloading polymorphism