OO - programming in Ada

Programming language Ada 95 provides a safe and secure way of implementing programs using the object-oriented paradigm. One application of this language is in a program dealing with the processing of bank transactions, wherein software objects for individual bank accounts are created. The implementation of the method is hidden from the sender of the message. The state of the object can only be accessed or changed by sending a message to the object. The state of an object is represented by instance attributes or variables. Objects having identical instance attributes and methods belong to the same class. The use of this mechanism enables the implementation detail to be hidden from a programmer who uses the object, thus promoting good software practice.