によって Melany Suarez 4年前.
129
もっと見る
Las POSCONDICIONES se usan para especificar restricciones que el objeto debe asegurar después de la invocación de la operación.
Las PRECONDICIONES se usan para especificar restricciones que debe satisfacer el llamador antes de llamar a una operación.
Los INVARIANTES son restricciones asociadas con clases o interfaces. Los invariantes se usan para especificar restricciones de consistencia entre atributos de clase.
Público: Cualquier clase puede tener acceso a un atributo u operación publico.
Protegido: La clase en la que están definidos y cualquier descendiente de la clase pueden tener acceso a un atributo u operación protegidos.
Privado: Solo puede tener acceso a un atributo privado la clase en la que está definido